{"entities":{"Q5307067":{"pageid":7336641,"ns":120,"title":"Item:Q5307067","lastrevid":50171708,"modified":"2026-01-13T08:53:25Z","type":"item","id":"Q5307067","labels":{"en":{"language":"en","value":"Automated Reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5195159"}},"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":"Q5307067$7D8B079B-520B-4CF8-984A-F378EAC09DE7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee7003f7206c6919a03a135e6ae062ffff5ad19d","datavalue":{"value":{"text":"Automated Reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5307067$828CE1D4-95EE-42DF-8103-4B48FB5572DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"41a87315eb024ebadb4f06476cb05edd25b4eacf","datavalue":{"value":"1126.68581","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307067$75061D03-B3FA-47BD-ACA3-F1970FF82344","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50dfba14eecf8f7e9f64ea004fb9b72dca6eb33f","datavalue":{"value":{"entity-type":"item","numeric-id":1181716,"id":"Q1181716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5307067$082508FD-F01C-4BB9-BCA1-BA087971FB4B","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":"Q5307067$0332E904-EBD5-4402-8CEF-40A7C1ACD6F7","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":"Q5307067$498DD325-D719-4B8C-B44A-0E465A92066E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307067$5243FF31-070B-49BE-A6DE-061FFACEBCC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca8c16691e9ec83d46a3995338b09d48ac9660ac","datavalue":{"value":"68M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307067$68D6CB5A-B2FD-4DE1-9EF5-0B78501353F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03191772c656c18a7e34002754912fdba0f1a949","datavalue":{"value":"5195159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307067$695AEE13-8594-49ED-97BE-64819466B47E","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":"Q5307067$0D478F0A-B2E5-44A7-83FD-91B24B345375","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":"Q5307067$98467A48-5BDB-4673-8E66-A9DE80858D99","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6cb348346dc0cdf3ace0e3b09d24ea275e65f380","datavalue":{"value":"W4239036627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307067$25980DE5-EF14-49A7-A384-C497860D8592","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"34deb55cc48d114486737150022669bcd21a8f20","datavalue":{"value":"10.1007/B98691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307067$17C48349-5F80-4E6C-8959-584D7B20072E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80d826d99d59bf7ee171015815b426428bfe39fa","datavalue":{"value":{"entity-type":"item","numeric-id":3751043,"id":"Q3751043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc20f5e7aab55f810108aacc3817f5899c3c4f6c","datavalue":{"value":{"amount":"+0.7343710064888","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":"Q5307067$A099C1C0-75C5-4FED-98A5-F4610C76D6F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97e3dee283cb7c8f1714e45e58c9aefc2950b646","datavalue":{"value":{"entity-type":"item","numeric-id":4415137,"id":"Q4415137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6621ef3e70864ec69ecd076e92cdbb93d46c1120","datavalue":{"value":{"amount":"+0.7337761521339417","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":"Q5307067$DA2F982F-A554-45FE-8C78-46BD28BDEFA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c296aac39193f9985cf7ada6bb4fd4531154bec","datavalue":{"value":{"entity-type":"item","numeric-id":4218268,"id":"Q4218268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a61c05a4cdfae2da87be57e8e7472bd787225987","datavalue":{"value":{"amount":"+0.7331954836845398","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":"Q5307067$C37AD909-E02C-4521-9B4B-EC71C24EFD2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06043c6808c48bfcca73fa9844278ac22829c043","datavalue":{"value":{"entity-type":"item","numeric-id":5294172,"id":"Q5294172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a61c05a4cdfae2da87be57e8e7472bd787225987","datavalue":{"value":{"amount":"+0.7331954836845398","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":"Q5307067$7BA88370-B4DC-490E-AAA8-7663DCF9C006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"732d5356bac202acbe7183f2c6946a61e0878822","datavalue":{"value":{"entity-type":"item","numeric-id":928657,"id":"Q928657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bc6dd2eb61e9066e276aced118e3ca864fca599","datavalue":{"value":{"amount":"+0.7298677563667297","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":"Q5307067$A8F366A1-B530-459D-BC7D-BABB45D80130","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5307067","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5307067"}}}}}