{"entities":{"Q4608732":{"pageid":6638315,"ns":120,"title":"Item:Q4608732","lastrevid":58304985,"modified":"2026-04-04T15:47:56Z","type":"item","id":"Q4608732","labels":{"en":{"language":"en","value":"Finite satisfiability of the two-variable guarded fragment with transitive guards and related variants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6852244"}},"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":"Q4608732$31092D83-89D8-45CC-AA45-DB56E78DC78C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b7729bf3058f86e58aae92ca134d865706cfaed7","datavalue":{"value":{"text":"Finite Satisfiability of the Two-Variable Guarded Fragment with Transitive Guards and Related Variants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4608732$425620A5-F116-4DB3-8DD8-D6DD6B0E6532","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"77ba6fb86961555dd0a3f9de65a3518d8afba6ee","datavalue":{"value":"1407.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608732$5DBB8BC3-CB7A-470A-9721-5C7377C6B9DA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e6c6a8f615bf51c70cd3b175cfdfa3e5840cfc14","datavalue":{"value":"10.1145/3174805","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608732$6879077A-0D70-4542-891D-89511FD9545F","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":"Q4608732$29C08A8F-F198-45EB-9C0C-2175CEA1AA76","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":"Q4608732$45441923-F096-4C67-8563-669D3431F22E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608732$1DA11BC7-BF1E-4882-9C13-83F2F1037184","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c08c0cb5adcb87dcdf141312d287850a8313671b","datavalue":{"value":{"time":"+2018-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4608732$D9BCD46F-E8AA-4BCF-A104-E0520792814A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6c53a9df7a3a6746e14eb224f13f44368e9bb7e9","datavalue":{"value":"https://arxiv.org/abs/1611.03267","type":"string"},"datatype":"url"},"type":"statement","id":"Q4608732$9838D751-52DC-4B07-A657-BD872864D427","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608732$216FE487-1F99-4720-9A50-355442946C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608732$C058C00E-AA55-43F6-B65A-06C7A96C7B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608732$3D40E9C8-2344-4F50-BEE1-2A39646D550D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d43c670e4507e4310c7c962c9253d775de28787b","datavalue":{"value":"6852244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608732$A0487F5A-3DF1-4489-AF51-C85B79AEEA83","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac43e38197c00c12815316fcad46c4ba80680515","datavalue":{"value":"two-variable logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608732$6C13845D-CBBE-4E87-A901-A43226C5605D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608732$FC9D961C-A2E2-4F84-B2AC-8611F00989F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd7884f20c8f87422bbc52076fab6a08675c0a24","datavalue":{"value":"equivalence relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608732$5CBD6FAF-3DAC-408E-860A-0D6AD1D43623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e93622205cb37079ab6aa5dce1cb85a01f3f04f1","datavalue":{"value":"finite satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608732$53EEC8B2-353E-478E-A136-7BFFF92F4DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46cacea7dcf4d7bc803743d9b6041adf255334bb","datavalue":{"value":"guarded fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608732$72882ECF-4AE5-4CE3-9344-131B4E09CB52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f850e3e406ae14040daa3068337596d977a9102d","datavalue":{"value":"transitive relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608732$5EC6D336-CC8F-4731-AEF5-6FEEE8E56E81","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":"Q4608732$6D259E5C-5A65-431E-873F-A07F4ECD5A79","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3ff1c05808e99b60a554b9c35e8fd1330d36b9f4","datavalue":{"value":"W2571435091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608732$283506F9-6F38-44E8-8B72-07DF0526CD64","rank":"normal"}],"P1643":[{"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":"0b719281db03941ec3f48f2ba1d15c953803a55c","datavalue":{"value":{"amount":"+0.955750584602356","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":"Q4608732$3F5676FE-A33D-4849-8DE7-6A7D16F6A4B1","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":"a5deea2cb0079551e3debba06307c5309de5b57b","datavalue":{"value":{"amount":"+0.8771950602531433","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":"Q4608732$44BD794B-DE3B-4F62-A2EF-0D45F0DACCE2","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":"4f3661057bc8c8b0029eaa124d3314053e797ac4","datavalue":{"value":{"amount":"+0.8685312271118164","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":"Q4608732$C2981252-B56D-4764-A0AD-A60A08379415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a2df8fc644dc9b502943a6ca664ead660e75bbf","datavalue":{"value":{"entity-type":"item","numeric-id":4417866,"id":"Q4417866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35c15aa4850b41d2caf4d7a9018b78eac6bb1610","datavalue":{"value":{"amount":"+0.8641718626022339","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":"Q4608732$18323819-B337-4889-AA0C-D6E83563FEC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfb64258c1a89a09229b67be528775b0e162af7b","datavalue":{"value":{"entity-type":"item","numeric-id":3133154,"id":"Q3133154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35c15aa4850b41d2caf4d7a9018b78eac6bb1610","datavalue":{"value":{"amount":"+0.8641718626022339","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":"Q4608732$78681F99-38DA-4FAF-BDD1-00DF8482A43B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4608732","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4608732"}}}}}