{"entities":{"Q4530471":{"pageid":6560063,"ns":120,"title":"Item:Q4530471","lastrevid":41751705,"modified":"2025-05-07T22:58:51Z","type":"item","id":"Q4530471","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1748586"}},"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":"Q4530471$A4514163-5F0C-4740-8918-64B337E4426B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e3f93ceff07df39351866529d2c6ce5ed8edadd","datavalue":{"value":"1008.68120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530471$DC25CDF9-2F2C-427F-978C-E5BA55E1ED83","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8112127c0d8cfe8be19516662fa2ba3c423248b1","datavalue":{"value":{"entity-type":"item","numeric-id":434441,"id":"Q434441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4530471$13E95E65-636F-4F2A-971D-11CF4F433883","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"89979698039692d8b30dd476805176a82a96347c","datavalue":{"value":{"time":"+2002-06-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4530471$9E9BB9C9-27F2-498E-9FAD-C4A1F06CFC7F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530471$4FDB2590-9C03-4463-9908-23E514E468FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530471$B75D35FE-976A-40F5-848E-1D18B1BD6970","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a7fc7ab8e55b27a9046092a79f2b66076847a047","datavalue":{"value":"1748586","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530471$DBB2543E-BCB4-4985-9D70-5216DB6E4BA4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05dbcbd961ca854c749d46a073755163a74b03ca","datavalue":{"value":"first-order automated theorem provers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530471$FC98B1B3-09EB-41D8-B137-3354AAB4B1CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1bd7e818e6e82350180a51ff3f8281eb4393c0f","datavalue":{"value":"high-quality software","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530471$E9155F22-4EA7-4875-9D43-C5F79D82C3A8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c845b927c7c8299e3e10848fbe9373f51ae3559b","datavalue":{"value":{"entity-type":"item","numeric-id":13461,"id":"Q13461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4530471$51CAFC70-8265-4688-9762-ACA0C8E7DD8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aba6550e13a376face49ca2fd7481a4fa118fba1","datavalue":{"value":{"entity-type":"item","numeric-id":21958,"id":"Q21958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4530471$9E89FFE5-3A01-49D5-A7B7-893A77A899B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"227cbd526ea4eef217fd567ef0b89e17137b97b4","datavalue":{"value":{"entity-type":"item","numeric-id":21959,"id":"Q21959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4530471$774F3E43-3D35-4C3C-A3B8-5DDBAABF673C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4530471$B322B341-833F-43F5-9379-CB023583FE52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9e3f84d9812dbe2b9f43d05f4bc1fc3ce47540e4","datavalue":{"value":{"entity-type":"item","numeric-id":18304,"id":"Q18304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4530471$3D021B0A-CDEE-4912-9BCE-FE3AE4724CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4530471$848C3C51-0F05-4339-98E3-0D0937F30279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"200fedd12d618fbde9ee1e4aba160f623dcca79b","datavalue":{"value":{"entity-type":"item","numeric-id":21932,"id":"Q21932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4530471$323DB9F5-FA82-4C91-BD8E-104740CC6770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e2fd07468e322ec457a2a69778b8a5840e951862","datavalue":{"value":{"entity-type":"item","numeric-id":26646,"id":"Q26646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4530471$11C5071E-C11D-42A7-BB18-4453AC93C3EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4530471$19701445-4455-4353-8B1D-DCBE1E3B07CD","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":"Q4530471$2D83ACE8-E048-4114-ABEB-EC6AB5401C14","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e5cee7fe8f932aaaf90ec8e1d707aca3a279ae2","datavalue":{"value":{"entity-type":"item","numeric-id":2701734,"id":"Q2701734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"189fa3f0ab56daddf9e410dc582ccc030557a93f","datavalue":{"value":{"amount":"+0.9010887","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4530471$8E00D245-5841-4B67-8133-0233D3EA2802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdf15563105d4ad85d0501988063639e6a909039","datavalue":{"value":{"entity-type":"item","numeric-id":4028371,"id":"Q4028371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"288ff55d60dfd080a68e6f547a7b0fd18dff99b3","datavalue":{"value":{"amount":"+0.89286286","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4530471$3413927C-9DA0-4468-BF36-991C7C274192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6a1b4c88cf430c4ecc948ec6940e4e4fce7f738","datavalue":{"value":{"entity-type":"item","numeric-id":4452049,"id":"Q4452049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"585eed2a25ed93082e5a0d3502ae72998021f7b1","datavalue":{"value":{"amount":"+0.8889895","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4530471$4D330492-12B6-4F94-95FF-D4C42CCA43AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2cb6bb34055bd7687681718ca2c7bf00c0ca64f","datavalue":{"value":{"entity-type":"item","numeric-id":1057850,"id":"Q1057850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d91b21deb8110f94e1fcb58f7caebec3a7efe8e","datavalue":{"value":{"amount":"+0.88749325","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4530471$8F6A5200-AEEC-4D07-912D-81153756C537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b73f67e85a8f6fae8d616525462a58624976e801","datavalue":{"value":{"entity-type":"item","numeric-id":3750137,"id":"Q3750137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"418d5f7f1563fbd40716889930f35a7a2ec5fb68","datavalue":{"value":{"amount":"+0.8834491","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4530471$8DA7B176-0B03-475C-A1A7-406F2626B50C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df4b0d16db5f218d4ee065f1f1897c47e139fa49","datavalue":{"value":{"entity-type":"item","numeric-id":3998281,"id":"Q3998281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f68ba7af5392c2e193543c6c596d1261a1fc66f","datavalue":{"value":{"amount":"+0.8834041","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4530471$5472BEBE-1791-475B-9F6F-2B5CCCE91CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc22a892f290f6d6ac15b5d1402ac2bb9e5071be","datavalue":{"value":{"entity-type":"item","numeric-id":2810691,"id":"Q2810691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"155be87f8323145f0d66e030a8bc0951914d21ac","datavalue":{"value":{"amount":"+0.88147676","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4530471$C54F1B67-DDFD-4A9B-8389-2C41A3C9EC62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0ec97b8481b3a0b1d3747ab1cfe1014f767440b","datavalue":{"value":{"entity-type":"item","numeric-id":4524794,"id":"Q4524794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba046543ea52dcf41ccba1e4057d6e58f4a08f01","datavalue":{"value":{"amount":"+0.88076484","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4530471$D5783198-B139-47E9-BA30-92A82912F6F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfc908b5a67bc17bd2b3b9d7e3d3d9681aac12d3","datavalue":{"value":{"entity-type":"item","numeric-id":3781734,"id":"Q3781734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c04911b4149e8dacc20f689c8fa4b2f4ed1b3cf","datavalue":{"value":{"amount":"+0.87916553","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4530471$0E533F68-6721-4A2B-8586-37113163EEF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c464355e162bb39742d35675ae4f88b3e02fa0d","datavalue":{"value":{"entity-type":"item","numeric-id":4370791,"id":"Q4370791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e23cea9933bb34e259e26eeed570e4268e462e24","datavalue":{"value":{"amount":"+0.8774916","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4530471$426DE153-ED98-4F93-ADC4-05D60734F43D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4530471","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4530471"}}}}}