{"entities":{"Q5222982":{"pageid":7252552,"ns":120,"title":"Item:Q5222982","lastrevid":53469752,"modified":"2026-01-25T00:29:12Z","type":"item","id":"Q5222982","labels":{"en":{"language":"en","value":"The triguarded fragment of first-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7076890"}},"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":"Q5222982$F4C06DFF-E8C8-4B94-8F32-11CE6F9B0A07","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"70d4d8dc9e18809e80b4377759c47a74ad5fe40d","datavalue":{"value":{"text":"The Triguarded Fragment of First-Order Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5222982$90A3C6BD-415F-4330-AB34-D8D7AC12BAB5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a6ef5ad64d181945f37d25ca86d844f26b2da77","datavalue":{"value":"1416.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222982$DB103B83-DAD8-4274-9816-765CA0E4180F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc7d042de70826f8d8f173da27538961fba30026","datavalue":{"value":{"entity-type":"item","numeric-id":507521,"id":"Q507521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222982$D3FDAA5F-BE32-4973-86B3-C713BAD40C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"318ecb6a51d305f5b595ef01f7d0fec8d6fc0d2a","datavalue":{"value":{"entity-type":"item","numeric-id":414847,"id":"Q414847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222982$D24E04A5-1618-42E5-9FF3-40B71233E2C5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"eae4601ff702bcaa610b94b3434abd8165930c5d","datavalue":{"value":{"entity-type":"item","numeric-id":4645721,"id":"Q4645721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222982$C83E4DE7-268D-4185-BD04-2CDD4BE4106F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"311afef0a4b95245df7f6c2908ad6e9d40f3f2be","datavalue":{"value":{"time":"+2019-07-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5222982$8241AC0B-FBAA-49C4-8F08-FA6BE41B8236","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222982$3354289D-D65A-480E-9B59-F8E8D848C2A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222982$5E7E5908-2187-4338-AA32-174F84B9A26A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222982$9FF65C5F-13D0-4551-B756-94103A64A3D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222982$C939C505-7CA8-4DC0-A972-9AE03B3144D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222982$9EC61C83-00FE-4E0E-A8A6-604A013BD607","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4cad135c66ee4e7ce2ae823fc3831970238c49c2","datavalue":{"value":"7076890","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222982$72FACF5B-E7F3-4793-8314-CEB2B922824F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222982$C0CDE00B-60A0-4045-ACE7-AF3EC1D5CC5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222982$7C7C62F3-AAE7-40FA-9C69-8126A624AC99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ffcd6fd1b69e2ba55e26f146b61c6b3304d32d0","datavalue":{"value":"description logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222982$8C9E97AD-2073-4015-8289-D4313726A0A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd8ade5162d9fb4539001699f2af72f49a9542aa","datavalue":{"value":"fragments of first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222982$D83F9881-646B-47A2-8C33-DCE0E717DFB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222982$F1264776-98CD-4ACA-AF86-F9E8089EC452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46cacea7dcf4d7bc803743d9b6041adf255334bb","datavalue":{"value":"guarded fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222982$7F13BE0D-1843-4BF4-82B2-889EB1838D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"345322a68f316eeb67f12479d9590fb4579fea96","datavalue":{"value":"two-variable fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222982$1264C14C-2CCA-4172-86F5-51FA81812A06","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":"Q5222982$3AE083D4-056B-418A-A755-C97EF37AAB54","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ecc2491fa3f29d3231e034254d429a0613e95260","datavalue":{"value":"https://doi.org/10.29007/m8ts","type":"string"},"datatype":"url"},"type":"statement","id":"Q5222982$A676746B-55D2-488B-95BF-496106B39F46","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9d4835bd55d09a192f10188acf13863b9b835d0f","datavalue":{"value":"W2908208955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222982$6C5FA9BC-95A4-40F6-B2DD-3F70682E92E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f943b4a10e9e6992117daa6f1e4bb0263ad23d4","datavalue":{"value":"10.29007/M8TS","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222982$733DFDF8-B473-405C-A079-E089A04E75D5","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":"7fcd6acb7ff52399efc18f96325f51a3c432715d","datavalue":{"value":{"amount":"+0.841425359249115","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":"Q5222982$83052BB8-9831-49F1-A738-925F07CF2DF3","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":"3aa26069c94bb6d2178085a892fd402b5ad18da5","datavalue":{"value":{"amount":"+0.8137387633323669","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":"Q5222982$65A68E86-D64A-4EB5-9FBC-53FFE1F4846C","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":"7b15272cbe5d2544b6ca00f676eb8f9b01c9f4a0","datavalue":{"value":{"amount":"+0.8113346695899963","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":"Q5222982$0DAD8332-9454-42AC-BF19-44FBAE97A0AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3701d79943fc0924f0b20184354686f01463779","datavalue":{"value":{"entity-type":"item","numeric-id":4948538,"id":"Q4948538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11c2dcddb4c8aea06d3f29f0c14bbb0d457b7f2f","datavalue":{"value":{"amount":"+0.8095215559005737","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":"Q5222982$58ADB161-0E50-43D3-9ACC-BB89BD160214","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":"4581e2164216f7b9ced982df20b375be4e38da2d","datavalue":{"value":{"amount":"+0.8092408180236816","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":"Q5222982$95BB1456-5C8C-43E3-9A10-D818E2D5442B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5222982","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5222982"}}}}}