{"entities":{"Q2576942":{"pageid":2587685,"ns":120,"title":"Item:Q2576942","lastrevid":48620692,"modified":"2026-01-05T10:13:53Z","type":"item","id":"Q2576942","labels":{"en":{"language":"en","value":"Complexity of monodic guarded fragments over linear and real time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2242225"}},"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":"Q2576942$EE95108C-6920-45A4-89CB-0913CE86A3DA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7eac1059c71f90a1d552193a72760a25da5fa8bd","datavalue":{"value":{"text":"Complexity of monodic guarded fragments over linear and real time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2576942$1999DBC8-7E71-475D-91B7-8310E6A0CCA6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"317774e6d8a252c6427ded3d7215a9ad5d4d793c","datavalue":{"value":"1093.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576942$3146AFC3-4F78-436D-83F5-691CBABB8136","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576942$2343BC28-A264-4BFA-BC26-4F65A30F43BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2cf687ba42bee292af8a405799b19faf7dc96007","datavalue":{"value":{"time":"+2005-12-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2576942$110B78F5-798F-4BFB-A98F-2BCE1F5F9886","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"067789a30fdab215c98f8c25bbfafd447c5ac958","datavalue":{"value":"http://hdl.handle.net/10044/1/623","type":"string"},"datatype":"url"},"type":"statement","id":"Q2576942$175F453A-9823-4E74-B5F2-EF7E0878913D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576942$4564064A-6DF3-4CC0-9D61-8B7D5035758E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576942$3808DD73-E06E-4C08-AD3A-B25E9C71D3CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576942$5BE9C2D3-363C-471A-8567-E22FA114511C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"687fe9a827eadf6b4d33da01154ccdf3c96f5485","datavalue":{"value":"2242225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576942$2DD71279-0AD1-46C2-B74C-D2BB59465789","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e625b72a18962a9980e9218e3557c9411a44293","datavalue":{"value":"quasimodel","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576942$AC41035D-0EFB-4B98-A7A3-96602D78A37F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6774bbeaed6ac7f19f9b909ff004d8116cd77960","datavalue":{"value":"mosaic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576942$E7ADB80C-1ED3-4D92-89AF-93440D1AE40D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a1a1b4de2f6601636779c475343b36943870036","datavalue":{"value":"first-order temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576942$BA9673B1-96A4-4291-A055-C9C6D9F4F4A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21099117e9c76307607acda1876d16c3869012ac","datavalue":{"value":"loosely guarded fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576942$D4BB65A6-C04B-4CF5-8D82-818C03B2F298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6334c6f4fada4766a0d513df4ca31d4eaba73462","datavalue":{"value":"packed fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576942$77F4C7FC-B194-40D8-A152-60198BE4CB8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576942$F923DCA1-7487-4B5E-9120-D7FF5CD42627","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dba48006b5c8e496f7eee02dd0edb814c74265c9","datavalue":{"value":{"entity-type":"item","numeric-id":912841,"id":"Q912841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576942$75FFBEF1-ED13-4562-94A5-A9E6601C70B1","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":"Q2576942$89AC1511-6521-4467-B3F4-BCBE993D6A05","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6c4e1f07745358b55dcd089589c68b45c7134c98","datavalue":{"value":"W2099799091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576942$0384FF0A-E4DC-4F9B-9985-B449D151E0F7","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":"Q2576942$78A67C03-BCA0-451E-A3F0-609589A105D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e2b61d07ce433b33417741581dd2de80d2fa28b","datavalue":{"value":{"entity-type":"item","numeric-id":4461349,"id":"Q4461349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576942$D33DAC73-C765-4007-A639-21DFDF1DB13C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"156138aef606bd7a7128a417f2c9b76b54fcbdfd","datavalue":{"value":{"entity-type":"item","numeric-id":1062669,"id":"Q1062669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576942$F5AA3F4F-D02D-476C-9109-B17828E5FFE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8546934d1a971d73166157b270518f6fc63999b","datavalue":{"value":{"entity-type":"item","numeric-id":5900729,"id":"Q5900729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576942$A869ED7B-D369-439C-859E-A152D32003D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"737bbc78d162e25488174522de8ced65cf9e7a2b","datavalue":{"value":{"entity-type":"item","numeric-id":1863826,"id":"Q1863826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576942$06AF959B-52F1-42B1-BD40-9E130FB3021B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f21257d8b20ccfecd3db595afbc8b2e1a0a737","datavalue":{"value":{"entity-type":"item","numeric-id":3835817,"id":"Q3835817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576942$E14D8D9A-DA0F-4650-BD4C-396E99B6C990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047205c489fbc234ded30a0b774835426a93b0e0","datavalue":{"value":{"entity-type":"item","numeric-id":1422049,"id":"Q1422049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576942$3BDC6C9B-3709-43DF-ADAB-5794628E23CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a37d29fb9a13dd0adf7b60fdab02712c4f1fcb7","datavalue":{"value":{"entity-type":"item","numeric-id":4263155,"id":"Q4263155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576942$FBD40C76-33BA-4CDD-9F4B-0FCE83533820","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":"Q2576942$0A0DF40A-76A6-4E82-A47F-29113E559047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576942$5618AC06-359D-4055-B26A-F4C547C2C9DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb39a3356b04054be7de64624339a320ae934335","datavalue":{"value":{"entity-type":"item","numeric-id":1604793,"id":"Q1604793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576942$AD3E1403-131A-4ABE-BD88-93F956B8DD15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b28346939d64d7b059d337185059efec5b3f823","datavalue":{"value":{"entity-type":"item","numeric-id":1863828,"id":"Q1863828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576942$7F1F137A-2C76-4135-B45D-CCAED88E302F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10c92fac15dd2c9297e6d213326151bf965f501d","datavalue":{"value":{"entity-type":"item","numeric-id":4650305,"id":"Q4650305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576942$3811120D-547E-41C3-9671-467062991129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a25c01e8d4be176dddf944065ec7d363ffdadbd","datavalue":{"value":{"entity-type":"item","numeric-id":1591203,"id":"Q1591203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576942$7186EDC3-4326-4D08-9109-F4D94B03E03A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77e227e598b4f65a927b7393a05720ddf79e3793","datavalue":{"value":{"entity-type":"item","numeric-id":2996150,"id":"Q2996150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576942$F5FCE768-8D58-4D82-B7FB-D01CE44FEA85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51eb2f16343f4cf146e8519c84d3ee965035a1ba","datavalue":{"value":{"entity-type":"item","numeric-id":3408140,"id":"Q3408140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576942$C3541389-9695-421D-8AF9-BC3967E56514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b54f7383e1361db9b7d8d635e3974eec1f15734d","datavalue":{"value":{"entity-type":"item","numeric-id":5536269,"id":"Q5536269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576942$CF258922-ADF8-40E7-B49E-A1664C012B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2c4adddfa0642af7ec889dad9b165cd64487515","datavalue":{"value":{"entity-type":"item","numeric-id":5939956,"id":"Q5939956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576942$0BF959BB-99B0-459A-B9E4-01721768A0D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"114b5352846e734e7429f1ae0523e22dbe07fbae","datavalue":{"value":{"entity-type":"item","numeric-id":636345,"id":"Q636345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576942$AD6167F9-9A24-4EE9-A6EF-8B7171FA2B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ef277b9a2ec47c57670800a1036d9bbd4781c4e","datavalue":{"value":{"entity-type":"item","numeric-id":1400578,"id":"Q1400578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576942$C04F1B79-58B3-4166-8507-78D853514547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4773c285e5bc508231c7e79b59e726e8ae5dbc2d","datavalue":{"value":{"entity-type":"item","numeric-id":5569435,"id":"Q5569435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576942$9037C255-4791-4E21-B63D-DB1667EE00CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576942$BF17FBEC-4241-4B15-B656-5B89239D038C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c233490fb1db4447987cc5207b37e3232a6e346","datavalue":{"value":{"entity-type":"item","numeric-id":1849866,"id":"Q1849866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576942$44777716-26A0-4AE7-AEA0-B4AD4E0E73AC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e69d3470d422b2c7a66b8132b3fef71f691a344e","datavalue":{"value":"10.1016/J.APAL.2005.06.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576942$C08CFD60-25B0-4F7A-93BA-EA95B65D9E14","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c493d075083faff0a7bd192dc11dfbb8af6d49b5","datavalue":{"value":{"entity-type":"item","numeric-id":1863828,"id":"Q1863828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b2d169c37b9bb376a2bab58fa5f308170dcdd43","datavalue":{"value":{"amount":"+0.8355746269226074","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":"Q2576942$512AD633-1350-421D-911A-E7A6C81CD12E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"545d1c23e039802d3560269622daef18098c5313","datavalue":{"value":{"entity-type":"item","numeric-id":1849866,"id":"Q1849866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eef28820fca5e815744ff7fb240424d132558767","datavalue":{"value":{"amount":"+0.8127987384796143","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":"Q2576942$19909814-5E55-4A38-A24B-07CBBBE3F724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20502be7dae51c272f2616fd28866b335793fb95","datavalue":{"value":{"entity-type":"item","numeric-id":418122,"id":"Q418122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43e27924ea60a7e20005da284e078051c4521fbe","datavalue":{"value":{"amount":"+0.7995482087135315","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":"Q2576942$E10AE58C-28BF-448D-A685-725CC8A98438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05779f72cc7f94b624374807cd511e7ecb7e22b6","datavalue":{"value":{"entity-type":"item","numeric-id":3584960,"id":"Q3584960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a126e615f59d201f01a23cbe38e89f69de6c7f35","datavalue":{"value":{"amount":"+0.7995478510856628","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":"Q2576942$42275BB5-6328-4417-9519-EC8B7A0C0080","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":"40936ec8be32ff1bde34ff873945a5d4798a3812","datavalue":{"value":{"amount":"+0.7995383143424988","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":"Q2576942$44F2D513-6859-44E1-AEA8-33288760EEA3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2576942","badges":[]}}}}}