{"entities":{"Q5307079":{"pageid":7336653,"ns":120,"title":"Item:Q5307079","lastrevid":40752493,"modified":"2025-04-04T14:03:48Z","type":"item","id":"Q5307079","labels":{"en":{"language":"en","value":"Automated Reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5195171"}},"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":"Q5307079$A80B9C0A-6124-4C93-B914-F2F465A11F88","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee7003f7206c6919a03a135e6ae062ffff5ad19d","datavalue":{"value":{"text":"Automated Reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5307079$6C743481-1758-4573-8BA7-C0E283BFDCB4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93a99ba75b69bfbd04d739a9212c271f37ab045d","datavalue":{"value":"1126.68560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307079$B65B4C88-78E5-42EC-A479-7D24D67C2223","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2e7af4d459380c97226dc66c1f2fa5970ae54d3","datavalue":{"value":{"entity-type":"item","numeric-id":3498462,"id":"Q3498462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5307079$4A2E8FA9-0A8E-4C37-BD10-4714AC1310DF","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":"Q5307079$B623BB14-9E24-4755-B137-1EF5AF897E0E","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":"Q5307079$43E39FD2-DB9D-4D3A-AA95-E2D687E95150","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307079$B0F9DE60-DD7D-4DAB-A325-AC47A7D6BFA4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f1322c83a3659fa715b45ea92d7e9017b80b410","datavalue":{"value":"5195171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307079$D5016096-B418-4719-9219-99EAB262D04B","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":"Q5307079$0F153B50-4DEC-4E72-A7B3-A9609CD38326","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":"Q5307079$58A2255A-CBFA-467C-A38A-680562F9E8A3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6cb348346dc0cdf3ace0e3b09d24ea275e65f380","datavalue":{"value":"W4239036627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307079$8BF6F269-5A41-4D02-8B9E-7BF4323343A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"34deb55cc48d114486737150022669bcd21a8f20","datavalue":{"value":"10.1007/B98691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307079$9A211F53-8B7A-4CBF-9DF1-8CA10DCDF8A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d22b9f82cd9bd048e12fef8e502f52d443ca7e3","datavalue":{"value":{"entity-type":"item","numeric-id":3586040,"id":"Q3586040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"038aad9d15dd3b1c9d106012d0b12f3125e7fba4","datavalue":{"value":{"amount":"+0.8367833","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":"Q5307079$8C87B922-519E-44DF-B2D5-C3452C0F2D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc117c5a2ae76e68481a50d229f4da7bb0a589a0","datavalue":{"value":{"entity-type":"item","numeric-id":3498425,"id":"Q3498425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ee72584f679d62cb5668731d7220f2e4ded960e","datavalue":{"value":{"amount":"+0.8196731","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":"Q5307079$29A92EFC-C288-449A-AC81-543EEC1AA5CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ee590fc7e4e96baf110a09e808de8be714afffc","datavalue":{"value":{"entity-type":"item","numeric-id":1181709,"id":"Q1181709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e5c472b4f33f3bb709cd826a38035a17479ae62","datavalue":{"value":{"amount":"+0.8183243","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":"Q5307079$EB3D2FA6-91F0-4664-BB13-76EDC90E2192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"925afcd37d501359acb17fbde86e53e5f3c5cba9","datavalue":{"value":{"entity-type":"item","numeric-id":2055853,"id":"Q2055853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11037e164ff516dfb435619bfcd195f166620845","datavalue":{"value":{"amount":"+0.81542885","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":"Q5307079$184B8046-39E8-45B2-9F58-4A86934447DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"359a5482ac880ea5d0c42fb9e8118c60ddc8171a","datavalue":{"value":{"entity-type":"item","numeric-id":2753601,"id":"Q2753601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18967ce43fc93bf2c3327d9548d51afa04058ccc","datavalue":{"value":{"amount":"+0.8133106","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":"Q5307079$45ED96FD-12E0-4AE1-9EAE-727D5BA3B1ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a69d0d2d0a68cca1649529e1ab4af048cd4c2cdf","datavalue":{"value":{"entity-type":"item","numeric-id":4893142,"id":"Q4893142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc7dc7a867875b8d4dae979ace965b1172b03a9d","datavalue":{"value":{"amount":"+0.8112507","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":"Q5307079$6365A0F0-D4E7-494E-98FC-FB20989144B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0070f198188188a05d47f95f4d06f1e231693ba5","datavalue":{"value":{"entity-type":"item","numeric-id":4539633,"id":"Q4539633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2486be2488a2d9b787ab64e24b4e9680eb2113b","datavalue":{"value":{"amount":"+0.80602187","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":"Q5307079$C0357138-4EC8-47D4-A84D-7E0DB4500BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0809d9b1dd704b43e96f40cadc787982dd501a12","datavalue":{"value":{"entity-type":"item","numeric-id":2908505,"id":"Q2908505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1f71a39cddb73218d552f4dea9ff557eaa99293","datavalue":{"value":{"amount":"+0.80286366","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":"Q5307079$1CC5BB14-5A5A-432C-89E4-03901BE28FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e5657ef05db95b55c750ecc4436188bea089e73","datavalue":{"value":{"entity-type":"item","numeric-id":1799068,"id":"Q1799068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"831b74bea93767115a5b8016e2fc0b9f62fa1972","datavalue":{"value":{"amount":"+0.80279577","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":"Q5307079$CBF4FF48-CEBF-4A61-AA85-DD7D55D38D1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7d087fac4bcc1ee015080e3663d677c09ee6ac9","datavalue":{"value":{"entity-type":"item","numeric-id":3533155,"id":"Q3533155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"363089cfbab53f2953b3cd4c1287c7faac988b02","datavalue":{"value":{"amount":"+0.802499","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":"Q5307079$89907F0A-6A67-4C24-B88A-A69989452648","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5307079","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5307079"}}}}}