{"entities":{"Q3133154":{"pageid":3143870,"ns":120,"title":"Item:Q3133154","lastrevid":57186303,"modified":"2026-03-27T10:14:45Z","type":"item","id":"Q3133154","labels":{"en":{"language":"en","value":"Equivalence closure in the two-variable guarded fragment"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6837727"}},"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":"Q3133154$10D98FDD-BD48-4E5E-8A92-4F721A773E78","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c9ecb120cc5417975f751e8d21fc3561f8b4d2b4","datavalue":{"value":{"text":"Equivalence closure in the two-variable guarded fragment","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3133154$385D8FB2-C4A3-477B-8DE0-BD6E7A6C6A54","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"90daebb0ff686764cc54ddba6b23ec410164895f","datavalue":{"value":"1444.03116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133154$90ABC440-A6AF-413E-B2E1-7D2B50F0D80A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cd410d92a5a623419be489b4cef5a0bf226c0ee","datavalue":{"value":{"entity-type":"item","numeric-id":859826,"id":"Q859826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3133154$FF0738A4-E44E-409B-8A99-EEF3409906EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8cfac01b20b442a0f2bc5739cafa25fbe3ad63f","datavalue":{"value":{"entity-type":"item","numeric-id":464616,"id":"Q464616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3133154$278DD405-8DBA-4ECF-9266-8032C90E83FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad52f3622bd4915d7c3f60cddd347bada6821c98","datavalue":{"value":{"entity-type":"item","numeric-id":1877097,"id":"Q1877097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3133154$872CB0EC-A01D-401F-AA4A-E3F417862D57","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee53210b31b3a9f4fe71da2550e4c06c4d383198","datavalue":{"value":{"time":"+2018-02-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3133154$F3D31CDB-0BDE-4177-9CBB-92179D3715C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133154$3568EC64-407B-4771-A92F-6F0DA5CC73D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133154$8BE03EC4-CE77-4C43-BA7A-F5A3CA87DECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133154$7AE78424-29F1-405D-891D-5926F9044A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133154$8ACFEEFB-C603-42F3-BE9E-446FD9B23CAF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"526d74c3671af1dcc29e96ef3204397bd3f76bca","datavalue":{"value":"6837727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133154$D22174B1-CC81-4E0C-AA73-51207062AA73","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":"Q3133154$1519F0CC-8266-4A29-B165-CFFA012A0E2A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5210ec363f6a4f81e087960fb32eb19827394c98","datavalue":{"value":"https://doi.org/10.1093/logcom/exv075","type":"string"},"datatype":"url"},"type":"statement","id":"Q3133154$3F514B35-E8D8-4C8D-85F2-C371AF6662F2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"128627f8cc05673b58fc16b1eb4600022128e501","datavalue":{"value":"W2290003855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133154$B9B90CAF-73F7-493B-BA58-AB076E83CB0F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e3ea39d0f5c0c11712b2bc5d1fa050aba3574ee8","datavalue":{"value":"10.1093/LOGCOM/EXV075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133154$8746356A-5F77-4C66-AD40-5E1AA8433983","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3133154$4C48B8FE-8B34-4E51-A747-E791092D0578","rank":"normal"}],"P1643":[{"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":"bfcd50f9f52fc6af175fc33a9695e26417a4003a","datavalue":{"value":{"amount":"+0.8751481","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3133154$BE7DECE1-BFA3-4F63-9E22-09814B1C9B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d9635c25f3b50754bd7a3afe519b0b6ad8c899f","datavalue":{"value":{"entity-type":"item","numeric-id":5111440,"id":"Q5111440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed9ca5497b6d7087093b7c13278f2d08a9d70fa5","datavalue":{"value":{"amount":"+0.87489974","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3133154$01B1AB94-3FBD-43D3-929A-9368B16615B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f3764ce72dddbf30ded9e0e1d7022c0eb744009","datavalue":{"value":{"entity-type":"item","numeric-id":859827,"id":"Q859827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"509692ceb86efcd4ebbe7b296da42be259abf190","datavalue":{"value":{"amount":"+0.8695091","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3133154$51000911-93CA-4E26-A9CE-60CFADDEB468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfff814db920018e3510bb2ea304c35890b23bad","datavalue":{"value":{"entity-type":"item","numeric-id":3498476,"id":"Q3498476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63990f154d1257161a2a4ec00711ba69e06e68f1","datavalue":{"value":{"amount":"+0.86759114","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3133154$0A6D5106-2D1D-458C-8938-C2203682A05F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f77491896a3cc64e9bab3085033bf204e59b583c","datavalue":{"value":{"entity-type":"item","numeric-id":4608732,"id":"Q4608732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2c622f18dc6ed2df5649bf6e0ef90ab9f8a2271","datavalue":{"value":{"amount":"+0.8649733","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3133154$C1E42A52-254B-4D71-B0DA-E1DF76B0B396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f6315eb165d5e38eb8f5c3409cc596707ab9b88","datavalue":{"value":{"entity-type":"item","numeric-id":3638100,"id":"Q3638100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40e93f674cc30b5f46e454c69a5c29e8cc876d36","datavalue":{"value":{"amount":"+0.8627814","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3133154$EC16697A-9929-46FC-8DC6-CBFD0D7A47D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0436e0186119e6953d54df46a05a201803de620","datavalue":{"value":{"entity-type":"item","numeric-id":3437261,"id":"Q3437261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"374ecce4fc4f29133a5e936937ff43d4837df5e6","datavalue":{"value":{"amount":"+0.84468186","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3133154$B684C2E6-AF9E-4EE9-B2C1-7A393BEB6D6F","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":"98a539a42b3fd3effad20769ef4476363cb5d426","datavalue":{"value":{"amount":"+0.84186375","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3133154$18FC26BB-B5A3-4815-8512-4AEA6F78DC10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a56dd684016184938d6ac97cae8cac93f07a7b9b","datavalue":{"value":{"entity-type":"item","numeric-id":5895185,"id":"Q5895185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d660b79820eb5d1b2d8c4a902d41d43e4032d47f","datavalue":{"value":{"amount":"+0.83893263","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3133154$C4DCDE8A-1CA6-4170-AEDF-30276C96C9AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bb91c7c455bd925b700a558521cf05483beb60e","datavalue":{"value":{"entity-type":"item","numeric-id":5892437,"id":"Q5892437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d660b79820eb5d1b2d8c4a902d41d43e4032d47f","datavalue":{"value":{"amount":"+0.83893263","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3133154$62274F42-5DC7-43FF-8A2D-7CBB4B5500D1","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3133154$09822F39-3A1B-4A0D-8808-881DB885EDD8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3133154","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3133154"}}}}}