{"entities":{"Q5092374":{"pageid":7121950,"ns":120,"title":"Item:Q5092374","lastrevid":94332929,"modified":"2026-06-05T06:32:31Z","type":"item","id":"Q5092374","labels":{"en":{"language":"en","value":"One-dimensional guarded fragments"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7561660"}},"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":"Q5092374$821DFD84-6F3F-4883-A7B9-E08F8C7F6D08","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":"Q5092374$3CE9C824-A814-46DC-B8F3-65BF050915F5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ae3e014d42c3e727189349ca8167d2ae32144d1","datavalue":{"value":{"time":"+2022-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5092374$8CE122C4-3D58-43DB-8965-2C1CFF3C2764","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"957a124081a878366bb56835f35353e69e581c70","datavalue":{"value":"https://arxiv.org/abs/1904.04572","type":"string"},"datatype":"url"},"type":"statement","id":"Q5092374$E81528E6-500C-42A6-B8D6-900FDD7B92B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092374$9E7DC74D-271B-4621-8EC7-950297E486D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3cfc0e2721b12fa9b08f7e2b81c0caaaeb00a094","datavalue":{"value":"7561660","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092374$D193FBD8-ABC3-4B26-9D37-7A6CA2C23BE3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46cacea7dcf4d7bc803743d9b6041adf255334bb","datavalue":{"value":"guarded fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092374$0B37FCC3-7B11-4748-8F72-E75CE5F90133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac43e38197c00c12815316fcad46c4ba80680515","datavalue":{"value":"two-variable logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092374$4297C57F-0E4D-4446-881D-55F1226F8D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092374$72B542B9-2C6D-4F0E-B192-D4399F86608E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092374$DD308B33-3A45-40D9-AC94-975A4A324CE4","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":"Q5092374$EB85AF4D-7703-4ACA-91B0-7EF4B31B0BEE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a49b20b1506647b1c87e6ed6310fb943dc6407f8","datavalue":{"value":{"entity-type":"item","numeric-id":1267082,"id":"Q1267082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092374$5CE8DCBF-3FA0-4D98-B073-360090767B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dfd99f7406911f4e1a2982cc954412d01cd0ae6","datavalue":{"value":{"entity-type":"item","numeric-id":5417742,"id":"Q5417742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092374$26B76FF2-D11C-424E-9FC9-BD550A22D357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdaae28851795a558e4c2a6375c70d9103384c68","datavalue":{"value":{"entity-type":"item","numeric-id":5890544,"id":"Q5890544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092374$E584D390-7590-4604-9AD4-BEF39AFB1E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092374$3989EA83-EEDA-4F20-8966-010E06943CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc87ad8b718d652fb612db8e727345bcdad12278","datavalue":{"value":{"entity-type":"item","numeric-id":3695253,"id":"Q3695253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092374$72486A46-AC0F-4E2F-A0EB-D664F6262050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c81c210aa51b53d004ca3564c20b46519be31e0","datavalue":{"value":{"entity-type":"item","numeric-id":4948538,"id":"Q4948538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092374$C776B4DE-856D-4225-A33A-E005075C2DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19d4c961176e9452dd55fdddf2406cd05d35f5f","datavalue":{"value":{"entity-type":"item","numeric-id":4338040,"id":"Q4338040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092374$C378A03A-F760-479D-8F38-CB09DDA66E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a30f9226d075a014d29ada2c1344a894704fce2","datavalue":{"value":{"entity-type":"item","numeric-id":4636298,"id":"Q4636298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092374$67AC225A-E0BE-4C27-B15C-E38D9DD1C228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eda2db14c950cfacb2d9bab387b35d1aadfc67b0","datavalue":{"value":{"entity-type":"item","numeric-id":3284606,"id":"Q3284606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092374$14C4A8BE-4701-4C75-ACA1-264B44EC9F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64b325ce1a576881b11260db294d6b2b694a76ea","datavalue":{"value":{"entity-type":"item","numeric-id":5394585,"id":"Q5394585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092374$F487DB71-2DD5-42BF-AB1E-31117DACF984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57051d75714f24389c768017d9959a9ec3341024","datavalue":{"value":{"entity-type":"item","numeric-id":2922030,"id":"Q2922030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092374$1CA389EC-D66B-4F04-84CB-D160FE9BD760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edf96fd313efea8fcdd4baf3f82e7012dac99f22","datavalue":{"value":{"entity-type":"item","numeric-id":4110975,"id":"Q4110975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092374$6ECF35BF-2086-46FC-9EB6-BB0458E9963F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61e88bd544aac0a525f64e894c53ef71e6aeac48","datavalue":{"value":{"entity-type":"item","numeric-id":5222982,"id":"Q5222982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092374$CB8960AB-85EB-431D-A74B-ECC2E67C4125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6be2bed4a9592ec6a2729b97e265dcf368f6612","datavalue":{"value":{"entity-type":"item","numeric-id":2848370,"id":"Q2848370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092374$DE452E08-8171-428A-8242-308433BBD317","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bebf710fbb63eae70083776e800c748af65603bb","datavalue":{"value":"10.4230/LIPICS.MFCS.2019.16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092374$B1CB4BEA-1C61-47BB-AD2F-AFB1A168DC0D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c85e1b87d96d4ccd55799bf027b89a88d428de7","datavalue":{"value":{"entity-type":"item","numeric-id":6651967,"id":"Q6651967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1261ffc70338cdd2d494f768a99e804d47283b67","datavalue":{"value":{"amount":"+0.8152891397476196","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":"Q5092374$775F5E61-2CCE-4B54-B25E-7084F0508D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3d2416fc2ceca0f964f37ff1fb1650f890ce9e5","datavalue":{"value":{"entity-type":"item","numeric-id":5222982,"id":"Q5222982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edc98de56d997876faa191aee1bf61fde4120993","datavalue":{"value":{"amount":"+0.8148641586303711","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":"Q5092374$D4CB953F-4BA7-4016-AEDC-DC4EED1348E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42032f9745ace7a92b4dc862f9bd66ff8bf36262","datavalue":{"value":{"entity-type":"item","numeric-id":5278427,"id":"Q5278427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45fc52736673dcf9d34a00267d85bb02f8b9de32","datavalue":{"value":{"amount":"+0.8055957555770874","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":"Q5092374$9250DCA1-F473-40C5-B720-374F7B8FC68C","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":"1955ba87a8b8a5aad04153979c586e5b9539d73a","datavalue":{"value":{"amount":"+0.8044610619544983","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":"Q5092374$E73B1608-04B8-4567-B183-C178CB915398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f2e72473c9f2dca4ac3351decae52bb919266e6","datavalue":{"value":{"entity-type":"item","numeric-id":5866478,"id":"Q5866478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e32b1e515b8dc2fb6c7dd719741421ba66d15e36","datavalue":{"value":{"amount":"+0.7993783354759216","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":"Q5092374$E5B2CEED-C664-480D-92AF-430796C33145","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"One-dimensional guarded fragments","badges":[]}}}}}