{"entities":{"Q5387847":{"pageid":7417421,"ns":120,"title":"Item:Q5387847","lastrevid":101151299,"modified":"2026-06-06T00:00:23Z","type":"item","id":"Q5387847","labels":{"en":{"language":"en","value":"On the Finite Satisfiability Problem for the Guarded Fragment with Transitivity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5279532"}},"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":"Q5387847$87CCF3A1-A101-4B33-85BC-FEFB184E9BAF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1fae936188665453c55915ecf00a7db598f4db58","datavalue":{"value":{"text":"On the Finite Satisfiability Problem for the Guarded Fragment with Transitivity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5387847$F9BD21C3-C9EF-44B2-9426-D84E4955F8FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d48f83b5af0f27b99d50836a4fea316699ba4fb","datavalue":{"value":"1143.03331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387847$663CCA77-2983-44BE-AD47-698D6466E5BF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7b44b244fcca2c059a5742674fbc3abe64b1abc8","datavalue":{"value":"10.1007/11591191_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387847$E461A61B-F893-4874-A923-527E8B5AC3A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5dc81f9560041386f0dfc580bd85b6eb41aa045","datavalue":{"value":{"entity-type":"item","numeric-id":757355,"id":"Q757355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387847$8A366A91-01BB-48BC-893D-8A97B9B6915E","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":"Q5387847$ECF05B67-48C5-4AB8-A494-CD5EECB107B6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387847$2FEA7395-E1DC-4B75-AF5C-476AE360D10D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6183386ae8366a240584c653ce5ca2494433aedb","datavalue":{"value":{"time":"+2008-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5387847$01F8EF41-3839-4221-8F4B-15C3DE91B49D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387847$AF081DEC-0C37-426A-B435-14B3BBAFA301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387847$26383C71-B1A2-4D31-96D1-369F72E5D49F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387847$0BCDFF79-1352-4CAB-A54C-7F4BF306675E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387847$426E453E-DD47-4627-9EBB-D66236E6E4F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387847$53A520A1-4A02-4709-BE7C-2C4A99E8DD76","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f9385ba8f6ebf83382e632fb13cd28b4e1836e3","datavalue":{"value":"5279532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387847$F183148C-D185-41C5-8535-41579942F02C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83798e1bbc00101714db436c991cc16b2064467d","datavalue":{"value":"finite model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5387847$06FA1B31-016B-4CA0-B75E-369C70DCF7D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46cacea7dcf4d7bc803743d9b6041adf255334bb","datavalue":{"value":"guarded fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q5387847$89E2C4EF-AC46-40E8-8FD7-5FC127E8D21D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49388e046339f86e6623a972cf68b5665500aba7","datavalue":{"value":"transitivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5387847$2003521C-8373-4F3C-8881-A302E011F4C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ab14670fd645ceec284d741b18aecb5f5131180","datavalue":{"value":"decision problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5387847$0A2A3926-7134-44F4-B1A0-3F0799C8D360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5387847$B52762A8-5600-4DAE-9572-31F2A6D3ACEB","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":"Q5387847$04D94451-3BC9-4B3B-AF11-0BFF7516DCD1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b8cfccc22b7ac156c640ac8e28a943bbe768f8b4","datavalue":{"value":"https://doi.org/10.1007/11591191_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q5387847$8739EA09-C04C-47A1-9AD8-692E219F5186","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5b2a722d21dd6f501cbf6007d8ddb5285700e6d5","datavalue":{"value":"W1552185231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387847$1CFC0C4C-6A4C-42B2-A113-A26C17A25604","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":"ee64bfffa927a8f570893027c86b3482caaf6992","datavalue":{"value":{"amount":"+0.97773755","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":"Q5387847$422A6F1F-DA32-4C00-AB9D-A8D542D08316","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":"e254b3bfd4496fc57dbf15acf11ea1ca12ab169c","datavalue":{"value":{"amount":"+0.95912135","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":"Q5387847$29B2E673-F170-4E7C-BBFF-3F5CACD765BB","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":"cd35a766f47fc0ae8b8921f74983f80214c0a0a3","datavalue":{"value":{"amount":"+0.92893577","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":"Q5387847$E5362C05-141F-435C-AC41-AE8E5930E240","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":"4e5f42e2ca5d941c821690ab805bae5b4cee627c","datavalue":{"value":{"amount":"+0.91760206","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":"Q5387847$CACB63C2-6E26-416B-B810-0599900D523D","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":"92f48b7aa8debead8069680c893187bef8add722","datavalue":{"value":{"amount":"+0.91618264","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":"Q5387847$8E50B759-CAED-4F35-A77B-002AD9E28461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faccb31b3e3dd4aaeb404ca7e3b35fc3c6a45690","datavalue":{"value":{"entity-type":"item","numeric-id":436331,"id":"Q436331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a16eeae6f4a2a102a98d3cab88b0bcb6b767dc4","datavalue":{"value":{"amount":"+0.91590714","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":"Q5387847$DFABE866-076D-44A5-BA74-C0B6C899DB20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b6312db91b7d31aac91f5b41943dc962d102bea","datavalue":{"value":{"entity-type":"item","numeric-id":5307053,"id":"Q5307053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55449de7024b87040f018894e0e193363718e139","datavalue":{"value":{"amount":"+0.9044613","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":"Q5387847$547BAE0C-CB11-4AEC-B777-704713E778FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5969bc6c5fe1250fbf83d65e1667a061c17e1b02","datavalue":{"value":{"entity-type":"item","numeric-id":2055791,"id":"Q2055791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5f4cdca6b35b4c58268c5eac60c3e939fb6d8e5","datavalue":{"value":{"amount":"+0.8830575","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":"Q5387847$3E45B207-C10C-4B2E-9996-81A5B76536B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9577de63a82711088442928b38a8d0d6c54658cc","datavalue":{"value":{"entity-type":"item","numeric-id":5212557,"id":"Q5212557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6027acdadb8baf70dd625767a8682892772312d4","datavalue":{"value":{"amount":"+0.8827721","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":"Q5387847$4D1826AD-AE07-492A-BC6F-E74887CA0C9B","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":"8b686930237f46dd5a1d0f7ea1780ca496bda911","datavalue":{"value":{"amount":"+0.8780038","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":"Q5387847$BA87D606-C6C4-4381-8DAE-5A18A52B82D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the Finite Satisfiability Problem for the Guarded Fragment with Transitivity","badges":[]}}}}}