{"entities":{"Q5307052":{"pageid":7336626,"ns":120,"title":"Item:Q5307052","lastrevid":50171666,"modified":"2026-01-13T08:53:23Z","type":"item","id":"Q5307052","labels":{"en":{"language":"en","value":"Automated Reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5195144"}},"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":"Q5307052$44F2535B-6CFD-42C3-A97F-F237AB287A40","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee7003f7206c6919a03a135e6ae062ffff5ad19d","datavalue":{"value":{"text":"Automated Reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5307052$0BF40F07-47F4-41C3-B534-C15060A3401D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c2bd32934f201c887d725cafd0fd6271b60f621a","datavalue":{"value":"1126.68559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307052$B7288CB4-B792-462C-95CD-CA359D8C6C2D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ce8850632b90b69a6c289735cc288ece6fb9e1a","datavalue":{"value":{"entity-type":"item","numeric-id":352975,"id":"Q352975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5307052$93299A59-D231-4E5B-A76F-9FFF1395C45A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"076f42ceb107ac95ece0987fd254ab37feda8487","datavalue":{"value":{"entity-type":"item","numeric-id":352976,"id":"Q352976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5307052$2D28C85A-D2B8-4409-B171-60BFF168A854","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":"Q5307052$7F001C15-0EBC-4D85-AD09-1A52BEF0F153","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":"Q5307052$8AF0BEC9-C91A-4A6E-BB8F-1E84FE411DFD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307052$B51621F7-3674-4390-B0EA-BE04354F3740","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"07ca8cbfa7cfda31d06febdef3d874e9631b7b0e","datavalue":{"value":"5195144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307052$9BA60B2E-5874-4CE2-B7CE-81C61AFD95D6","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":"Q5307052$3DA52187-CB86-43F1-9393-0706E1ACFE59","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":"Q5307052$6303EE51-D05B-4974-92F9-B9304BACEE43","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6cb348346dc0cdf3ace0e3b09d24ea275e65f380","datavalue":{"value":"W4239036627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307052$F6DEE00E-7B91-4261-8B78-F18C209C93DF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"34deb55cc48d114486737150022669bcd21a8f20","datavalue":{"value":"10.1007/B98691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307052$FF3A9EEB-DC89-47B6-A92E-AB24C0A2EE38","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"120ded7ca9b5be707cf214aebb611fbbcf30f99b","datavalue":{"value":{"entity-type":"item","numeric-id":352977,"id":"Q352977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82320d1ee6b7bb79170f19bedc5b72c1a788b148","datavalue":{"value":{"amount":"+0.9400429129600524","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":"Q5307052$397A0765-A7B0-499B-95DA-C93BEE833AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f88a4c8426548476533bf257c9703ab16bb53b0f","datavalue":{"value":{"entity-type":"item","numeric-id":1810859,"id":"Q1810859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4588418269be3a8f171479323f5d341ebd00fa46","datavalue":{"value":{"amount":"+0.8874079585075378","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":"Q5307052$BE36C919-4B7C-4BC5-B59C-D786A084E40C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4defb7ead268e5c9bb9c7fb8b19389cafc7d4e1f","datavalue":{"value":{"entity-type":"item","numeric-id":3309805,"id":"Q3309805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4588418269be3a8f171479323f5d341ebd00fa46","datavalue":{"value":{"amount":"+0.8874079585075378","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":"Q5307052$42F52F47-7B22-49C1-8ACC-73F3DE36A930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"678f52d20cbd1ed66863391105aef6e91c97f013","datavalue":{"value":{"entity-type":"item","numeric-id":3623219,"id":"Q3623219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ae66aae4e07c11fb844dcb60499e237e38f6dcf","datavalue":{"value":{"amount":"+0.8287930488586426","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":"Q5307052$AC9D6C63-2782-4766-98EA-CDF366463A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"694aa61f99a25afa5a211a0321445f30285ce091","datavalue":{"value":{"entity-type":"item","numeric-id":6488549,"id":"Q6488549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55aa9719a7696a6f389cecbd4016ca0c66a9b363","datavalue":{"value":{"amount":"+0.8078349828720093","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":"Q5307052$70078861-B538-4891-A4DB-631E66D1892C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5307052","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5307052"}}}}}