{"entities":{"Q3817655":{"pageid":5847561,"ns":120,"title":"Item:Q3817655","lastrevid":53869934,"modified":"2026-01-25T20:48:30Z","type":"item","id":"Q3817655","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4090850"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3817655$1CA9B53F-E98C-42EB-BE5C-5A8D09AA0908","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d9f737904068c97d6273eb1260ebbfcd9057672","datavalue":{"value":"0666.68096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3817655$07F9063A-3F18-40D5-8A7B-34FB9E05894C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3817655$DC5D00DA-CA49-4B5F-B38D-6B25A6E029A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3817655$139201E9-B420-4BBA-9A85-E3CB69479844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3817655$EE81AD85-C516-4C1B-AA98-A58AAF56CCEA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ed1cdacb12f02f1c0d1693501b1b6dcfe5e65ce1","datavalue":{"value":"4090850","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3817655$3696A95D-4915-48E6-AA05-8999066683D6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3817655$24422472-651A-4C22-8908-29B309F7A8EF","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3817655$DC20E5CB-E22A-4418-8721-E3D971C01966","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31ef04229fe5b87a8f06fd4e0326e4847ef09985","datavalue":{"value":{"entity-type":"item","numeric-id":1283199,"id":"Q1283199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c4dfd46ffd3066f60db9fd140b58fb31608ec83","datavalue":{"value":{"amount":"+0.8014719486236572","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3817655$F11927E1-AE4D-4192-AB9C-7FF9458174D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af8daebb386f5b0811f7c17763d9beb7f6aeb15c","datavalue":{"value":{"entity-type":"item","numeric-id":5234724,"id":"Q5234724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8993825db06804f77ef25b6138036d99143f847b","datavalue":{"value":{"amount":"+0.7853220105171204","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3817655$54182981-5C1D-4DC4-BFAF-5DF5C0E4AC08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d522b00b16d13bca0bfa49cecc364d2347e296d","datavalue":{"value":{"entity-type":"item","numeric-id":4370349,"id":"Q4370349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecd4ecb6b6192fbcc38605f4f84baf606dc3175d","datavalue":{"value":{"amount":"+0.7849518060684204","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3817655$5EBED65C-7577-42B9-A439-2CE5925ADDE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47108393db8ff14712020915fc68ed167a46adfc","datavalue":{"value":{"entity-type":"item","numeric-id":1382153,"id":"Q1382153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f703735baea4f360549cb36487c46cf45a2a1104","datavalue":{"value":{"amount":"+0.7791111469268799","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3817655$B31BD931-2689-4298-83C7-09942BF25203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7334020c30173115a8fb2673f1d4e7ebbc6d3d21","datavalue":{"value":{"entity-type":"item","numeric-id":5235252,"id":"Q5235252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f534385c5286e64d8a3797da5fdd1aa5e00b32c9","datavalue":{"value":{"amount":"+0.7708338499069214","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3817655$CE97118A-3752-42C7-A449-B087DC17B00D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3817655","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3817655"}}}}}