{"entities":{"Q5168511":{"pageid":7198083,"ns":120,"title":"Item:Q5168511","lastrevid":91463972,"modified":"2026-06-04T23:14:06Z","type":"item","id":"Q5168511","labels":{"en":{"language":"en","value":"Reachability modulo theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6313945"}},"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":"Q5168511$ECDD2CFE-09BB-499A-9981-0A3A526FB411","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa2f986b4e6723fbc0ed66ea6f0a5e04f655f9b8","datavalue":{"value":{"text":"Reachability Modulo Theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5168511$D192C3D2-71B0-4ABE-95BF-91D9802403C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"389320c79e9e74aca0551517289ed15cc2822272","datavalue":{"value":"1407.68294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168511$9653C5D9-B854-4EEC-86E8-81F256739244","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f0c28c67d16b79c61048b7aa440a212901550b0","datavalue":{"value":"10.1007/978-3-642-41036-9_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168511$63EB7BD4-7365-4219-98D2-3ABDC9CC0CB2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"45e6b5181b5906f6b9ceccc1a8d8587cc76491c9","datavalue":{"value":{"entity-type":"item","numeric-id":1039851,"id":"Q1039851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168511$B46D685F-A228-4946-A107-51D993AF8D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e61e1c15131a00734d19fb57dbeb828f0f9aa5db","datavalue":{"value":{"entity-type":"item","numeric-id":557793,"id":"Q557793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168511$552FC1EC-7287-4674-8EE0-E018F71B8728","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":"Q5168511$92F46CCA-0D99-4469-B1A9-C5AF0F37DF7D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"57d603758fe5a0b1a306672087901c5802a7cd9a","datavalue":{"value":{"time":"+2014-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5168511$24627F6F-0CFF-473A-9FAF-34265FF0295E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168511$021C8CDC-0BF3-4DFF-8E55-24C456107CB6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56a140e78aac051ee197516031a8afed1b2da5f3","datavalue":{"value":"6313945","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168511$4F6E9FE0-2059-46DE-8FB4-CD37E3A1AE70","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":"Q5168511$27D19392-8FFE-4CEF-A968-AF3C33B5BF64","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"61513df387cdb78a27f2db16ec6728584f4d659c","datavalue":{"value":"https://doi.org/10.1007/978-3-642-41036-9_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q5168511$F7BC6598-80E7-45B9-9297-3B7AF0DB6E54","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a025aa45dd40933129bbcdd3a66cca80944d6e10","datavalue":{"value":"W147625861","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168511$6921AF5F-0309-4062-A7F1-760E54B3CB95","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee785b8bf0751d66abea2867edda087f6ad28a43","datavalue":{"value":{"entity-type":"item","numeric-id":1680264,"id":"Q1680264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98e1b9aed5713f91d30355d0a81bb4139084c525","datavalue":{"value":{"amount":"+0.7506375312805176","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":"Q5168511$5A77BA83-171E-4947-A5DC-A2F160961046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12f99f5038c2994757504732f87e7e7cf296885a","datavalue":{"value":{"entity-type":"item","numeric-id":3066108,"id":"Q3066108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23efd22315a7ba3ab9912c32d8a6d8147b1c0531","datavalue":{"value":{"amount":"+0.7466919422149658","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":"Q5168511$A83ABD5A-4E62-4279-A345-C9D021FBC555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"683ca5eca8d618e2eabea04ebb5892d4cf48e090","datavalue":{"value":{"entity-type":"item","numeric-id":2814384,"id":"Q2814384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e69127487f86ffff1231b2e62fd1fa8254739d78","datavalue":{"value":{"amount":"+0.737350583076477","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":"Q5168511$2F5CD745-4820-4A44-A70A-0868C8AEA983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f24451847ad4eb0ec48494a5ae1d33727204ae0","datavalue":{"value":{"entity-type":"item","numeric-id":5408433,"id":"Q5408433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16e90c801ae0e2b4f05a79761fe2c99a1abd5fb1","datavalue":{"value":{"amount":"+0.7304839491844177","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":"Q5168511$EB060706-14AB-432A-AE9C-D312DD3E0D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"322fa62bfc4b0e41dd5293214d1197d5378a96b6","datavalue":{"value":{"entity-type":"item","numeric-id":5505562,"id":"Q5505562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ac213c6708f56fe7ce50f029b519471f7a82569","datavalue":{"value":{"amount":"+0.7264783978462219","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":"Q5168511$F2E0F8C1-E28E-4B23-BDA5-113B479774E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reachability modulo theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reachability_modulo_theories"}}}}}