{"entities":{"Q5307065":{"pageid":7336639,"ns":120,"title":"Item:Q5307065","lastrevid":50171702,"modified":"2026-01-13T08:53:25Z","type":"item","id":"Q5307065","labels":{"en":{"language":"en","value":"Automated Reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5195157"}},"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":"Q5307065$BB30DC01-5993-4C2B-8CE3-BBF92C7D761D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee7003f7206c6919a03a135e6ae062ffff5ad19d","datavalue":{"value":{"text":"Automated Reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5307065$20533122-A12B-415C-BFBA-B20F3723BAA0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f71200a0fb88f80f719a81eb2e5d409a61109dd","datavalue":{"value":"1126.03304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307065$A23491C6-2448-4F42-B474-2A5F8F72E094","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa467ab0fb5921a8aef55b984db7a2882bc4957f","datavalue":{"value":{"entity-type":"item","numeric-id":877885,"id":"Q877885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5307065$49A85058-21E9-4B5E-BDC1-3DDD68F8B175","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5307065$066B62FB-2648-4E6C-A5E6-7FB7FDE6B6ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e1fa8a744de31aab5e0066db3d2fb556fbdf6da","datavalue":{"value":{"time":"+2007-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5307065$F68D3BED-DA3B-4EB5-9BB0-1D1115B7DA4B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307065$76984023-7B9F-4869-8D4C-2EBD98CCFEE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307065$AD0A0AE0-FF42-4438-AF6A-28CD59E2B098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a5e47548ef139717b317f83801cfef606a623d","datavalue":{"value":"05C38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307065$3B29CDD0-28F4-473B-8DD5-74D263164407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"749b7137f279a66a306e75e15f613231b281c1c5","datavalue":{"value":"05C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307065$8D830129-3AAF-41C2-83E1-CAB01A6ADD6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307065$DDAB4767-9413-4298-B2BD-0181B2E749F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1501449f9ec34d79fff3b902d03f5366f35d2f86","datavalue":{"value":"5195157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307065$67322FDE-DE91-4D3F-AD6D-308A37AB4759","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":"Q5307065$93949276-08EA-4CEE-8F48-6A51E6B89344","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da687b8d72dd2f5ab38e00c50bffc670fa7530e6","datavalue":{"value":"https://doi.org/10.1007/b98691","type":"string"},"datatype":"url"},"type":"statement","id":"Q5307065$4ED65ADA-CF72-4CF1-9455-6C8F1F0EF874","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6cb348346dc0cdf3ace0e3b09d24ea275e65f380","datavalue":{"value":"W4239036627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307065$ED427F19-4861-45A4-BD83-DAD1EAC7DF05","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"34deb55cc48d114486737150022669bcd21a8f20","datavalue":{"value":"10.1007/B98691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307065$839E2171-D67F-4CAA-9589-81E702476847","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55bda332e8bfd225176dff41f74045bd03a9e41f","datavalue":{"value":{"entity-type":"item","numeric-id":2848063,"id":"Q2848063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ed0d068bf60a64fabe4939638a0a89a5f060fe0","datavalue":{"value":{"amount":"+0.9083790183067322","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":"Q5307065$A706A792-BDC8-48F6-AB33-B22E164BCC6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fba480213d6f38c0533147683a28309cc1ad0366","datavalue":{"value":{"entity-type":"item","numeric-id":877886,"id":"Q877886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2392f8e32f99cf38563732833525972fa784e6f1","datavalue":{"value":{"amount":"+0.9043914675712584","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":"Q5307065$2B84FC12-12B9-40C3-8E99-C801B62B870D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4170c4d5c1837b22a74ff9624bf56a3249eaf1cd","datavalue":{"value":{"entity-type":"item","numeric-id":4809045,"id":"Q4809045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e80e8c7814ed63a5da7fc38571cc6607f8395fa4","datavalue":{"value":{"amount":"+0.8744499683380127","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":"Q5307065$13A3C4A3-4255-4039-BF80-1E17FEE41D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"664a0ee14635908bc683f255f912037569321d0a","datavalue":{"value":{"entity-type":"item","numeric-id":5292654,"id":"Q5292654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d43382655c7db3fb95b492f7d85cbe24f5dda316","datavalue":{"value":{"amount":"+0.806389331817627","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":"Q5307065$EB28DE90-D11E-468F-8BBE-3B71CF5C8FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32172d5b0fd562ee6c87aba9e59cf108f60e47f1","datavalue":{"value":{"entity-type":"item","numeric-id":4255973,"id":"Q4255973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41dc6cf9be9346f039eacc033279a987b508f6b6","datavalue":{"value":{"amount":"+0.7988079786300659","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":"Q5307065$8B666342-6732-4490-A656-62783A3BD4CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5307065","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5307065"}}}}}