{"entities":{"Q5307051":{"pageid":7336625,"ns":120,"title":"Item:Q5307051","lastrevid":50171663,"modified":"2026-01-13T08:53:22Z","type":"item","id":"Q5307051","labels":{"en":{"language":"en","value":"Automated Reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5195143"}},"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":"Q5307051$4559B620-D67C-4C08-A752-016FB8290A49","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee7003f7206c6919a03a135e6ae062ffff5ad19d","datavalue":{"value":{"text":"Automated Reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5307051$B1A47B7D-53DA-4CA1-9BB4-D22E596F3CB9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3e692e8a09a1d7017a7aa48dc41fbdcf4a568b71","datavalue":{"value":"1126.68566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307051$59052D25-EBD6-43C2-A233-8AE7C7681DE5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"957322e0e65309e69a1881e776e7b58b540ff033","datavalue":{"value":{"entity-type":"item","numeric-id":734040,"id":"Q734040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5307051$375969BD-E3BB-4890-B3AD-BCFCD0BF8308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78912daa4c2f606a86d62c664c42ea944a74fc3b","datavalue":{"value":{"entity-type":"item","numeric-id":1611409,"id":"Q1611409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5307051$3D9A0DA4-4AAF-4942-94DC-EF5EBDD528C1","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":"Q5307051$6CF280E9-1C87-4ABA-A08E-A3C86D62475F","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":"Q5307051$C62A1BBF-CB30-4495-B2C6-D069ABA026F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307051$F55445A9-8299-4A13-8F8E-2F26EBA95ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307051$B4B3D7BC-EA60-4706-948D-EA366F74177F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20c6a039aecd10db40b386cf336a77337134aa51","datavalue":{"value":"5195143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307051$419FE61B-D9C6-4636-9C45-459FF6B1A7B7","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":"Q5307051$5EDAD194-529E-4F99-B460-360BC5DD9530","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":"Q5307051$6017FBCC-0FF7-4570-9D70-A3E14AC8C16E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6cb348346dc0cdf3ace0e3b09d24ea275e65f380","datavalue":{"value":"W4239036627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307051$905163D8-CAAB-486D-A46B-0BC2CEC2F5E8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"34deb55cc48d114486737150022669bcd21a8f20","datavalue":{"value":"10.1007/B98691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307051$08DDA808-1458-400B-AAC8-2C46128F4AD9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"692247192426e4b9b6a513226bb5e3e966c58e9e","datavalue":{"value":{"entity-type":"item","numeric-id":1885352,"id":"Q1885352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8df1aa6092f8806ea1c80d432f1d799526d39696","datavalue":{"value":{"amount":"+0.8372751474380493","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":"Q5307051$EBA1B1E7-0157-457B-B871-231FCACC219D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e9b55795bacf7086e52e3f4c698fc080c9a03b5","datavalue":{"value":{"entity-type":"item","numeric-id":5705906,"id":"Q5705906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de5722a8d74fc2ac0a8380d99c2f360ad39e6838","datavalue":{"value":{"amount":"+0.8021441698074341","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":"Q5307051$9E1DCD94-6C08-4561-A462-54165A5AE133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db094843ea98b4a9b385866750d4aa5ba46f8524","datavalue":{"value":{"entity-type":"item","numeric-id":2351264,"id":"Q2351264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14e93684970856a37defcb2d43bb6ca7202df76b","datavalue":{"value":{"amount":"+0.7892115712165833","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":"Q5307051$22E613B0-5553-4FD2-9F70-642A41CBAFB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b8b1e4af45c6abca0f8445efcd001520a6103c9","datavalue":{"value":{"entity-type":"item","numeric-id":5394612,"id":"Q5394612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7a53d6d8798b78ce86a8db50f1f59ea5fda0832","datavalue":{"value":{"amount":"+0.784869909286499","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":"Q5307051$06A87031-21B4-4BCA-81E6-8582E5A0280B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0940618d49c132337300de670c9f665db3b062e","datavalue":{"value":{"entity-type":"item","numeric-id":5394600,"id":"Q5394600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c37c492cd68f165545910d49d275af9636d29c21","datavalue":{"value":{"amount":"+0.7842077612876892","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":"Q5307051$AEF995B8-24D9-4688-9828-10468070BFC7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5307051","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5307051"}}}}}