{"entities":{"Q5307048":{"pageid":7336622,"ns":120,"title":"Item:Q5307048","lastrevid":50171657,"modified":"2026-01-13T08:53:22Z","type":"item","id":"Q5307048","labels":{"en":{"language":"en","value":"Automated Reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5195140"}},"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":"Q5307048$EDBC797D-F20D-48F1-9F80-D9CD5D8339A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee7003f7206c6919a03a135e6ae062ffff5ad19d","datavalue":{"value":{"text":"Automated Reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5307048$1A831F88-7BE8-414D-85A2-AF9359566B24","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2bdd4c906442ac2e98806138cecd078ea8cb4b34","datavalue":{"value":"1126.68571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307048$1F404FDE-81CC-4899-8F94-755B8B1DFEAF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"07161db1e8f2e19f8cd9751578ad00734a1fc394","datavalue":{"value":{"entity-type":"item","numeric-id":844196,"id":"Q844196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5307048$7CA61C1A-1C20-406F-98F1-BD63EEFBF2D6","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":"Q5307048$CB1B0EDE-E056-4D14-B6F6-0CA24C120AF7","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":"Q5307048$B5E6BF15-D6E1-4CF4-99B1-10D29CE83F60","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307048$9DB1454A-9CE6-4CE2-81F1-7E70D6AD77E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307048$CDA59B4E-DB12-4651-8961-694F9A52BAA3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c8f227a449dd70680190af32ff05d871eb03eb5","datavalue":{"value":"5195140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307048$93F48823-F3AD-4B5E-B594-9F6B617CC718","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5307048$31F07323-2997-4BE8-9870-FDFEAD590126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1017108dce3983431546a14c274f65bc4aaae70b","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5307048$29B8CDF7-290D-470B-8E8D-802C5C1E923D","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":"Q5307048$36EEC6A7-A99B-4B7C-90AC-2C597B6E8BC9","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":"Q5307048$E6C3A2EA-A45D-49F5-93A8-F8ADA20CBF97","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6cb348346dc0cdf3ace0e3b09d24ea275e65f380","datavalue":{"value":"W4239036627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307048$1137E12A-2B02-4CD6-8DE5-E4D6DCC37A1D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"34deb55cc48d114486737150022669bcd21a8f20","datavalue":{"value":"10.1007/B98691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307048$0633A619-A48C-42AA-BB95-E2D9D5B9A3D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b62c0f0608394c3bc113053600196ae1d217216e","datavalue":{"value":{"entity-type":"item","numeric-id":1404987,"id":"Q1404987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64ad196944ca8f39bbe533e8d1d5bf0d0a45cb3c","datavalue":{"value":{"amount":"+0.7877071499824524","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":"Q5307048$E2CA5989-B2EA-4479-A136-BABF3ACF5787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2823e044ef7641729cfb7ecc24a90fa85b184018","datavalue":{"value":{"entity-type":"item","numeric-id":4539648,"id":"Q4539648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b2caf37ba3de132c58f2111004beb61d93cf466","datavalue":{"value":{"amount":"+0.770163357257843","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":"Q5307048$84A60E9A-304F-4ACB-9CCA-33156EC6455D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d26f64c64a1efb67e6812e0a9b7179deaf094799","datavalue":{"value":{"entity-type":"item","numeric-id":4304492,"id":"Q4304492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f918fd0c6e5521c8c6315c96f9f63540861a28f7","datavalue":{"value":{"amount":"+0.7630713582038879","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":"Q5307048$1F63AA3A-A2D6-4569-AC3C-97174CC58D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da8eec3b2eb2f14a810b8765fecb18b385855f8d","datavalue":{"value":{"entity-type":"item","numeric-id":4916077,"id":"Q4916077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c9525aa7dd001012b5ad179686ed5a8a42cb2f4","datavalue":{"value":{"amount":"+0.7629247903823853","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":"Q5307048$FC748C1E-7680-4BF0-87C6-3BF6E29134D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d582c47db025a6123aaae80c75a5257dcd8ab7ab","datavalue":{"value":{"entity-type":"item","numeric-id":5055781,"id":"Q5055781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b553621673fffe3c7da1911c7681117b40132e8","datavalue":{"value":{"amount":"+0.7589789032936096","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":"Q5307048$8BF8E5F2-A4EB-4922-B5FA-2A588035460B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5307048","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5307048"}}}}}