{"entities":{"Q4825544":{"pageid":6855124,"ns":120,"title":"Item:Q4825544","lastrevid":40743052,"modified":"2025-04-04T13:22:13Z","type":"item","id":"Q4825544","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2111735"}},"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":"Q4825544$BCB46980-1B82-4869-B3CE-B28CAC889286","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"19c758ab1fbda4b4be1d0aaf31955f9d838fd577","datavalue":{"value":"1094.68635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4825544$A3B943E3-CD84-437D-B5B6-09F7BA9BBC8E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"766a7b4a0daa5b8547ebae773097f31bce780235","datavalue":{"value":{"entity-type":"item","numeric-id":444464,"id":"Q444464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4825544$FA92E01B-9ED3-48A8-B74A-A62DBEE42C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce00bf932e8d4142816bb1d3b66ef3457d10b848","datavalue":{"value":{"entity-type":"item","numeric-id":626932,"id":"Q626932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4825544$4342842B-7A2D-48FD-A44C-3CA2546294A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"537531571b4f861519c1304a6e93493bd9f1a450","datavalue":{"value":{"time":"+2004-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4825544$09169258-7A5F-47D8-8F4B-381AA9AC4D76","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4825544$4D969F9E-34EB-4349-B471-8B49B383EA3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4825544$660DE633-7579-46ED-BE3A-40977248D2AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e16cc2f8d7ea4fc53db5c7c5ae98459c6f6f7e40","datavalue":{"value":"2111735","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4825544$AEC49B96-39AD-432B-A6EC-F1CE57F5F7A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e04a9b6f29796c4d02ff2b937276cb784681560","datavalue":{"value":"program refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q4825544$A13047CF-8E79-4CA8-8981-471AC2BFA31A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b36661f0a3390102be2be05796702400601b738","datavalue":{"value":"theorem provers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4825544$1A5BAEEE-6EBC-422B-985F-F5E58BD8D366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"debc1a7decd93e19a2dd0ca968e424e5ba0618ef","datavalue":{"value":"proof reuse","type":"string"},"datatype":"string"},"type":"statement","id":"Q4825544$E2B1AD34-CB35-4DD1-9BC9-67E1FFA5B56A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"99e87bd3628666ae4ab034c6ef4dffb80dd2f85a","datavalue":{"value":{"entity-type":"item","numeric-id":13712,"id":"Q13712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4825544$84C7F59D-4458-419D-88D7-DDEE00DCE799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"01712194c207617871fd4fb99ad1e9fcc6e71eb8","datavalue":{"value":{"entity-type":"item","numeric-id":15955,"id":"Q15955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4825544$18E5D7EC-2EFC-4D99-97EC-D1AE3DB4A698","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":"Q4825544$4242AAC9-BFC2-4FC3-8923-B0E5F597185B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"290d83f76ebd14af519c120653ec32c64b4658aa","datavalue":{"value":{"entity-type":"item","numeric-id":5394168,"id":"Q5394168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f9b9141f5b3dd2c75d5267012d35d095a775a98","datavalue":{"value":{"amount":"+0.89226615","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4825544$4DBA3F57-22B1-4086-9F33-82DA94BA0323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c11f0772c1208fd7ddf51ce4038b8f781a7ad79f","datavalue":{"value":{"entity-type":"item","numeric-id":3176371,"id":"Q3176371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddba797aa7d922dc6ca4c04826b060a23b112684","datavalue":{"value":{"amount":"+0.8688774","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4825544$22200E08-5B64-4AE8-B5A2-00F2B9C90C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fa6c7f3e0606fbad2d4c243560c0449705cbea6","datavalue":{"value":{"entity-type":"item","numeric-id":4427890,"id":"Q4427890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c276d73044578bf3fe8b86a768d5eb8497279ba","datavalue":{"value":{"amount":"+0.8559141","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4825544$F572909F-43EB-476C-AF38-B2319B7E53A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5054922c102f074fde97b40b21ad13143df2b2e","datavalue":{"value":{"entity-type":"item","numeric-id":2844832,"id":"Q2844832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2891a781b2dd6a8eded8875121aea7f324471b44","datavalue":{"value":{"amount":"+0.85467976","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4825544$F249F653-55D8-4985-A534-00CDEDE5747B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d00651bf759d19ea59d81693e43e7c8aa8b9c90","datavalue":{"value":{"entity-type":"item","numeric-id":5326287,"id":"Q5326287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8570fee48eb761b71218f1bae1d134f1fb5dc017","datavalue":{"value":{"amount":"+0.849971","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4825544$22BCB339-7891-49EB-BFF9-F79FA1E4B945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ff5a3a02891211b28f5b21ef6b501d8bbaa68f1","datavalue":{"value":{"entity-type":"item","numeric-id":557807,"id":"Q557807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fec4536de309a25a1173f1e30a4ccac17f04f9b","datavalue":{"value":{"amount":"+0.844631","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4825544$7AD7A7AC-E034-4B65-B679-CF4801552830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90830764c4a87b18fd30587bda6793c6ea9e6bbf","datavalue":{"value":{"entity-type":"item","numeric-id":2852078,"id":"Q2852078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7832515c19753e205633471dd2d940e304caacb9","datavalue":{"value":{"amount":"+0.83548117","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4825544$9812AF19-385C-4C4E-8604-116BE8B56588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7da185214f069911bfc5b36c03f9143f1040c424","datavalue":{"value":{"entity-type":"item","numeric-id":5493259,"id":"Q5493259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"992284ca43a551ba7c00fbe0e5fe3a18b92c2e30","datavalue":{"value":{"amount":"+0.8349172","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4825544$C4D7107B-D381-44C2-9D49-C6F01C2F4A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41f84f54c5ef54086f3503350ebf9aa95663c268","datavalue":{"value":{"entity-type":"item","numeric-id":784122,"id":"Q784122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b3edeb4e438d0219f49a7cca24e5b34bae7d8cd","datavalue":{"value":{"amount":"+0.8341166","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4825544$E9F154E6-17D8-4E47-B8C6-6E9AB210985E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4825544","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4825544"}}}}}