{"entities":{"Q5187865":{"pageid":7217437,"ns":120,"title":"Item:Q5187865","lastrevid":50923979,"modified":"2026-01-15T18:48:45Z","type":"item","id":"Q5187865","labels":{"en":{"language":"en","value":"XPath and modal logics of finite DAG's"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5679143"}},"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":"Q5187865$7F81CFA5-0FD0-42F9-91D7-1E68A4F5B007","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ea95ac5e332a6cd55937643eddcdbf2a87f63c3d","datavalue":{"value":{"text":"Automated Reasoning with Analytic Tableaux and Related Methods","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5187865$41472199-54D5-43BF-AA6A-62DDED648062","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"546dc31a070e9584f6c29f9c1ef286abacc2dc60","datavalue":{"value":"1274.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187865$0B84898E-0ACE-4BB3-9822-7FDC4874CC20","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eda46022a2dfa23ca54f42f27aec1d9c70ca91fd","datavalue":{"value":{"entity-type":"item","numeric-id":190281,"id":"Q190281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5187865$97CC6117-040C-4B7E-9742-AC83CC6E740E","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":"Q5187865$699F8568-A504-4023-A518-F900CA8B06C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"10dcb20d02ba2b80ffd27851e30b5d754f8113d8","datavalue":{"value":{"time":"+2010-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5187865$6041394C-106D-4082-A9B4-C277C07EDD5D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187865$83107A9F-DAA5-48ED-B4B2-BF5B1A19E406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187865$1FFD1EA5-725B-4EB9-8AA0-566CC5B89E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187865$670E3F1D-02A7-4215-A427-BE4EBF1A20FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187865$9D98742F-196E-4B2B-A952-85E14FE2BF30","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ebb0d28475478af8e82c9d658d8ea182bb5fed17","datavalue":{"value":"5679143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187865$3CAC1A86-3C8F-4E71-B2EA-E10D281C2E63","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb1fca4ee5c1238a4c8891e4fb1e1d7c9da30b5e","datavalue":{"value":{"entity-type":"item","numeric-id":27652,"id":"Q27652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5187865$3B773671-FCB2-4030-8A65-7993F6D416BC","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":"Q5187865$01D0F18A-BFF6-478E-B35A-6E34DAFA6A8D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"606862b47cbcc322f08ef663651c3131d0332675","datavalue":{"value":"https://doi.org/10.1007/b12030","type":"string"},"datatype":"url"},"type":"statement","id":"Q5187865$4AAC0345-CAD3-477C-924E-A1A81CEA7D7D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5b99a32ae23bc1fe15be315156d2dbee79ab0437","datavalue":{"value":"W4302076531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187865$B7DCFAF8-388D-4269-8173-893677EB27F4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a73b1d98a3e71a2a07d6ed394188ffd66acb12b2","datavalue":{"value":"10.1007/B12030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187865$17E133F4-3E3B-40A8-8C92-5CEC0C71D341","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12372540e8fa30b3f4a2892b9290c5409bd800ba","datavalue":{"value":{"entity-type":"item","numeric-id":2901192,"id":"Q2901192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86b8f76e891fc1dcee7b9e22b1b7c124c813d0a0","datavalue":{"value":{"amount":"+0.8228511214256287","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":"Q5187865$4DA92BF9-368F-4E36-81D7-225E185CD05E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60a234ccd42f2c13db4e262453cf7a075423b5de","datavalue":{"value":{"entity-type":"item","numeric-id":5310660,"id":"Q5310660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b76fb7a565de1907af2b0af72d0fd60d86746bc","datavalue":{"value":{"amount":"+0.8016977310180664","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":"Q5187865$ECB1C6DA-456D-4FBB-AE8E-0F3A251C689C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c95e61a5ac8db2696a139e815c0a9c6181eb75b1","datavalue":{"value":{"entity-type":"item","numeric-id":4414544,"id":"Q4414544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2010128bbc5a47d18f670507c25a13191db7865f","datavalue":{"value":{"amount":"+0.801681637763977","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":"Q5187865$6E4A8AFE-081F-4B33-BAF0-41361773863B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f7eae53b6878bc2daa0a3028ff04b32dacf6cb9","datavalue":{"value":{"entity-type":"item","numeric-id":4414543,"id":"Q4414543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee296178412a7c2e42821d748536be72b56b89bc","datavalue":{"value":{"amount":"+0.7928832173347473","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":"Q5187865$1B817A50-5C65-48A5-A2E2-E0035B4FD99B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"879201a3c5b8f15e6d6c498a400d4ba83068d291","datavalue":{"value":{"entity-type":"item","numeric-id":3452211,"id":"Q3452211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee296178412a7c2e42821d748536be72b56b89bc","datavalue":{"value":{"amount":"+0.7928832173347473","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":"Q5187865$27AF1516-E521-45A5-855B-C971708E4A12","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5187865","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5187865"}}}}}