{"entities":{"Q3638100":{"pageid":5668006,"ns":120,"title":"Item:Q3638100","lastrevid":87538253,"modified":"2026-06-04T11:55:59Z","type":"item","id":"Q3638100","labels":{"en":{"language":"en","value":"Decidability of the Guarded Fragment with the Transitive Closure"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5578411"}},"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":"Q3638100$DE83916E-F9FC-4A4E-9DBE-52F4EB2E05C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c21cff158071d1db524e72b9052490e4501973e6","datavalue":{"value":{"text":"Decidability of the Guarded Fragment with the Transitive Closure","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3638100$672BF483-A008-4EFF-9FF7-1C2D4E5A806A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bce4bf97a72ab9a09d6fafa5c5cc66ab3da01ede","datavalue":{"value":"1248.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638100$D191ADA7-EF98-4B97-8525-24BCD4A48A82","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"94407c9397b997da4808fa6cd71b242d749c9ff5","datavalue":{"value":"10.1007/978-3-642-02930-1_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638100$5E9ABAA7-D194-453E-BCF9-8D3B33B568CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"602031367905da417140a473efe6714bfd2f9fda","datavalue":{"value":{"entity-type":"item","numeric-id":2009650,"id":"Q2009650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638100$7DC6D98C-90B8-4DCA-8B2B-DE743D7685AA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638100$3D744116-EAFA-4AA6-9A7F-3D3C8A488106","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f84a43ca09dfc89bd40b6e05ccc6fc3b6ab38d41","datavalue":{"value":{"time":"+2009-07-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3638100$601221B7-6AFA-40B7-8C83-A02AB6E13DC0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638100$5C8C4F65-6EE6-49B0-815A-5A0B62211BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638100$7152A25F-72C1-4148-87AA-87EECEECE00E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638100$F466A0A9-21E3-4253-B554-DEACA6139F0A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f0ac2babe179509f67f698c37e57f5633d502353","datavalue":{"value":"5578411","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638100$4194B32A-B0EC-49AA-8F5E-40A4E9C29CBC","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":"Q3638100$DF5A0F74-0FE3-4E95-AD06-8ABFF80CEBFA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c432c6f282f671011768297480ec2399c9df5b5","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02930-1_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q3638100$3543CBB4-8FBF-44ED-A64E-93AFABBFAF5B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c7785a9745c9a5bdfd4394392c60698de9fdde89","datavalue":{"value":"W1580817032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638100$E3C26765-F329-4415-A520-A5F7EB767A13","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73248f8ca2b31c8bea463bcc40cc29f9c8d11c74","datavalue":{"value":{"entity-type":"item","numeric-id":1877098,"id":"Q1877098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a224bab0854c0e9b88c42a669fb052719a5d3f9","datavalue":{"value":{"amount":"+0.9140084981918336","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":"Q3638100$0C5EC2AF-DF82-4A9E-BB7C-B6B6F4B37A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b4a14426ac6b7b8f739f1c1c2b1a563fd18abba","datavalue":{"value":{"entity-type":"item","numeric-id":5387847,"id":"Q5387847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5644b14332d8a75c9bf7ca08e4b4cea07a8a2bbe","datavalue":{"value":{"amount":"+0.8689461350440979","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":"Q3638100$3C80FBA6-6525-466A-9A98-EF2536856CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07bf010591ff2238b13343fff39d18ee416fc0c5","datavalue":{"value":{"entity-type":"item","numeric-id":5710721,"id":"Q5710721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"092dd2c304d349e5c737cb43e7bca7c8b3064f2e","datavalue":{"value":{"amount":"+0.8508806824684143","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":"Q3638100$065DB689-B720-48CA-889F-FB97CC44873E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87c03b79209577b2c94f45c64f215ad1f3e86f7a","datavalue":{"value":{"entity-type":"item","numeric-id":5394585,"id":"Q5394585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22657670916aca3506e6bf9812a0608e27844f2a","datavalue":{"value":{"amount":"+0.8470174074172974","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":"Q3638100$D0165F42-A671-47A5-A980-BD0B0076903A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"084e1d98a7c2767c6608ecca592610ac5b889fe3","datavalue":{"value":{"entity-type":"item","numeric-id":4736875,"id":"Q4736875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e24907138321c08bb1853c164e441c4c7916c55","datavalue":{"value":{"amount":"+0.833224356174469","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":"Q3638100$07064D83-BD20-4627-BFED-219D8C94DA64","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidability of the Guarded Fragment with the Transitive Closure","badges":[]}}}}}