{"entities":{"Q868025":{"pageid":869873,"ns":120,"title":"Item:Q868025","lastrevid":64956042,"modified":"2026-04-11T23:20:46Z","type":"item","id":"Q868025","labels":{"en":{"language":"en","value":"On the freeze quantifier in Constraint LTL: Decidability and complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5128121"}},"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":"Q868025$9A287278-E6E2-4870-80A3-52B06CDF6B62","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"33a88c24a219d86e9b17cfb25e18dac456704011","datavalue":{"value":{"text":"On the freeze quantifier in Constraint LTL: Decidability and complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q868025$73BCB7E5-AF26-4AAF-AECC-26037209A9FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"144c6b19a3af41dc462aa488543ff194d5d30b56","datavalue":{"value":"1116.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q868025$ED71E8AE-A405-422A-8EEB-A9542808080B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eacacbbe6e051b16df56b4d3a50a13e6712a6099","datavalue":{"value":{"entity-type":"item","numeric-id":407524,"id":"Q407524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868025$99971DA1-7967-4427-AF7C-AD5D9067EA94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"487657d41a3727080d9cf416d12bed060ca6cc64","datavalue":{"value":{"entity-type":"item","numeric-id":213235,"id":"Q213235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868025$B3188C70-0BE6-4668-A9FF-68C074CCC143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1278b7772ff04d9a7882941c345e2fa92d6375ea","datavalue":{"value":{"entity-type":"item","numeric-id":781248,"id":"Q781248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868025$5BA24E13-9850-41B1-8BA5-C46AFDC4CDCA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868025$C47D74FD-2C32-45AF-B45E-6E2FB6483645","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"97b507c351932721346fb052e20f9e8975c84342","datavalue":{"value":{"time":"+2007-02-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q868025$91A94AFB-FE42-4684-B698-3D127754DCF9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q868025$42B2CC55-002E-4BA6-B448-54EDCB8D3594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q868025$5E2E6E91-2978-4C1F-96BA-FA7EAB818766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q868025$2AA68CD2-CE8D-4167-846E-EC3989A35B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q868025$0CC8B505-ABA8-4CCD-BEC6-018D7505BD52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q868025$A03351CD-80EB-4752-95CA-0AD73807104C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3b830ed71018870b838282e787f7c7413a0b2871","datavalue":{"value":"5128121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q868025$A566152B-2203-40F8-9571-520135D04936","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8655b9be840caa9be702e31cd5e062f5735bc60a","datavalue":{"value":"linear-time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q868025$86B843E4-05A2-4C02-A85D-FD3B7750C3FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc84523e41a1c93f98d4ea541c8bba23fa54716d","datavalue":{"value":"constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q868025$A0912F97-2E7B-4E98-B7BE-D1256596014B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31dee33a56187cc81bc4473168c4a5b1d6784860","datavalue":{"value":"freeze quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q868025$51F8163A-DA07-4D8B-9ECF-147413E6AE7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q868025$3C280D86-E844-41C3-81D4-893B83CA6B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q868025$77C50D90-D3D3-4CD1-9BA7-D1FB58C210E5","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":"Q868025$DE7E4174-A356-4A0C-A703-A122EF68E523","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6fc4d0251313c9e81ad5cf0cbb21d762f1c34793","datavalue":{"value":"https://doi.org/10.1016/j.ic.2006.08.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q868025$BFC91D44-FE1B-4B2D-9B55-AA8070C3E19B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b64ced3008c044a2ac45b324237651c5a539b771","datavalue":{"value":"W4256476220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q868025$5FD78A9D-7478-49DF-850D-10910C927A85","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2f06c9b4f503b85bf56091ba53ba463c1b0657","datavalue":{"value":{"entity-type":"item","numeric-id":5311048,"id":"Q5311048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868025$323C5D3E-C17D-4D2A-BC97-4FBDAFDF8F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21137ab7a471f67814fe16d1e705bff9ccd4bbd0","datavalue":{"value":{"entity-type":"item","numeric-id":5925716,"id":"Q5925716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868025$A7E430B4-D2E8-42BC-A2C8-B94AE2D2D582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868025$BFAB0108-1358-40DA-96B1-FFAC661E503A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"182981e0e770b39d22d2da0fccd0d6dd8798182f","datavalue":{"value":{"entity-type":"item","numeric-id":4140393,"id":"Q4140393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868025$A1B694F1-3592-479F-B280-5F07AE638B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8c2a20598003049952d3358bc03d221f8c30dee","datavalue":{"value":{"entity-type":"item","numeric-id":4809151,"id":"Q4809151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868025$8D5BB3D6-B716-4FD2-9244-BD1D3BC21F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ded7338003111b779d67dbf9487475aef44bb91","datavalue":{"value":{"entity-type":"item","numeric-id":4415251,"id":"Q4415251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868025$38B0C8D9-43CA-4732-8D8A-75F202259E4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a29614989836674f45bb886f19d75545ab86967","datavalue":{"value":{"entity-type":"item","numeric-id":5491889,"id":"Q5491889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868025$AFEF1B8F-7739-408E-9B46-E780EFA871F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ee9246f6d31df8e6ef9a2a4d199037289def53c","datavalue":{"value":{"entity-type":"item","numeric-id":2753678,"id":"Q2753678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868025$C777A160-FA5B-4450-8E69-A19BC74FF545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be00c63685f57348b9e88ace758aea96980b1481","datavalue":{"value":{"entity-type":"item","numeric-id":4299300,"id":"Q4299300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868025$7A73A73E-147D-4CE2-9514-0D09C3646796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a83536a5cfb6ee546411bcb1c865e683c42fdda","datavalue":{"value":{"entity-type":"item","numeric-id":4737132,"id":"Q4737132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868025$7061DC8F-6E37-430A-81A2-7428D7318151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8280aaa780c3cf7d95f0d867169f4c1e1bc3f64b","datavalue":{"value":{"entity-type":"item","numeric-id":5715695,"id":"Q5715695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868025$7B8A18E3-E760-4C3D-A34F-8641D76B0D6B","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":"Q868025$C8F35549-6225-4AA6-8059-3D99FECC6C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"346cfae30d02b7b28a3e2869b4809985cea930ac","datavalue":{"value":{"entity-type":"item","numeric-id":4238500,"id":"Q4238500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868025$09693B57-B9B6-48EF-8BA0-468ED5A17E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b28c6dfaed0ffb5f0168326c686b61cbafc56b3","datavalue":{"value":{"entity-type":"item","numeric-id":4474093,"id":"Q4474093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868025$467B1D45-9C38-4AC0-820B-39257C78B3F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"833c500a528c9d138c07be282d8c9aa8f5d7df13","datavalue":{"value":{"entity-type":"item","numeric-id":6162100,"id":"Q6162100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868025$32EC373D-18FA-4669-BF04-220CC18650B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bc0406600f6effcdb4c13b35f1faeb033950873","datavalue":{"value":{"entity-type":"item","numeric-id":5394587,"id":"Q5394587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868025$62E4318E-C64E-4A9F-87A2-BA1D0B6E48FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6a31e0cf3ff6a73ad4ee5a92d1ed62572bdd89","datavalue":{"value":{"entity-type":"item","numeric-id":3317085,"id":"Q3317085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868025$3A113338-24D5-494C-91F9-0BFE61323104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96cc75d0170c0f77a05c577bd0244d258a28e193","datavalue":{"value":{"entity-type":"item","numeric-id":4348133,"id":"Q4348133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868025$EDC27F7A-6567-4D77-BEB0-C029082727CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00c407e8408217374fb8f198b3ae179ea4f82e42","datavalue":{"value":{"entity-type":"item","numeric-id":4736875,"id":"Q4736875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868025$42E0D7A2-43DF-413A-B39B-E73ECA4A2309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868025$ED763A19-CA6C-441A-9345-11129CE4DAFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"654f4a51f2a304a8e489f6f3a4791f119c360160","datavalue":{"value":{"entity-type":"item","numeric-id":5897505,"id":"Q5897505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868025$3B9255D4-BC31-4C58-8970-319A6ACE2A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868025$C08F5175-C03C-4E61-B524-941500526E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5eb94b2716a07126d41fc2bb3cd6ba2610e9015","datavalue":{"value":{"entity-type":"item","numeric-id":5277703,"id":"Q5277703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868025$8C895217-EFF1-4CE3-97FD-DD29AE398FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cbccbb9b9788f4a33945ee539b10b52d6047d1e","datavalue":{"value":{"entity-type":"item","numeric-id":5277711,"id":"Q5277711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868025$44B760C2-3EF8-4A91-97E4-0B59C715BDE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ea1cca5805b0cd78664cf35a1eb9a2408c930a5","datavalue":{"value":{"entity-type":"item","numeric-id":5464753,"id":"Q5464753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868025$427445E4-B9AE-415D-B16E-FC1D62E7667F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e019e14c862ddaf7bcd66cd64d6515bc5dc195","datavalue":{"value":{"entity-type":"item","numeric-id":4371517,"id":"Q4371517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868025$3EB04210-D227-455D-BB5C-1219E9888DCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e5fe7a89f7f67f2bcf836fe38b4eb4e332645b1","datavalue":{"value":{"entity-type":"item","numeric-id":1919987,"id":"Q1919987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868025$FCC6846D-D7A1-4A4C-988F-3974B6D69FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01b7a24cb858348231a677fafe8ef0c5a37418cf","datavalue":{"value":{"entity-type":"item","numeric-id":4945233,"id":"Q4945233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868025$D152BDAF-F4B3-449D-9D80-375B687318E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38e090e26001efbd308a794cfcf3df70c79ca5f7","datavalue":{"value":{"entity-type":"item","numeric-id":4783316,"id":"Q4783316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868025$AB8B7C4F-6112-4995-BFFB-D323762B69D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e02f7032d8d33b7fff1a45aeab3bf34a39e34eba","datavalue":{"value":{"entity-type":"item","numeric-id":1853122,"id":"Q1853122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868025$2296A94B-7498-4A6B-A6D9-C51ACE9621F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5445f7af0f9161d03fe0b5ba44e8232112c0ee60","datavalue":{"value":{"entity-type":"item","numeric-id":4796461,"id":"Q4796461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868025$4E4A5B75-B220-4CE2-8BC8-E620A7BA7FB7","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":"Q868025$ECECEA2A-B590-424B-A23F-124FE297E181","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":"Q868025$52E82ABF-C5E3-4AC6-8A6A-33895937C024","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":"Q868025$A7D9E82A-C26B-44DA-A961-E74DDD20B50E","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":"Q868025$264BEFD0-2098-4495-BE5F-256AAC9D4493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4af107d22a521538fff2713d649f3149030f189b","datavalue":{"value":{"entity-type":"item","numeric-id":1398367,"id":"Q1398367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868025$2B680FE5-5D12-4612-B429-D767A4B02A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82e9b6ac0f143dd7c1191dad03a825f46bf156da","datavalue":{"value":{"entity-type":"item","numeric-id":1853115,"id":"Q1853115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868025$F08BB4B5-F8E2-432E-8CBC-4BE0AA6B24F4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"10e545095c6734bdcea5f1efef52175890b7cd68","datavalue":{"value":"10.1016/J.IC.2006.08.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q868025$D55D3DFB-8FA5-43EB-BF29-2EBFCCA52892","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b232b0c6858756f2d4c0c3d4d97129ff5e42078a","datavalue":{"value":{"entity-type":"item","numeric-id":870361,"id":"Q870361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"618b987df3f48dbfd930258f24319241d756ab93","datavalue":{"value":{"amount":"+0.795932948589325","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":"Q868025$C38AABCA-226D-4EC1-91BA-7B4A74EF6355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4f4010920bd191f8a291c27d1d67c30e4dc1c69","datavalue":{"value":{"entity-type":"item","numeric-id":4415249,"id":"Q4415249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bcf5217227bce49f4a3f91dd4c79fba5fad848f","datavalue":{"value":{"amount":"+0.7867873311042786","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":"Q868025$306D008D-AF25-4C4A-AA1E-0BF5EFE84752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be8cbf928feffb76cc44ea7b95f610896e92008d","datavalue":{"value":{"entity-type":"item","numeric-id":4608681,"id":"Q4608681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bcf5217227bce49f4a3f91dd4c79fba5fad848f","datavalue":{"value":{"amount":"+0.7867873311042786","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":"Q868025$4024E0A5-CE90-4B3E-9C8B-E6ACD2793A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d565c72247ad5a56d38206a6e1db40562b58f495","datavalue":{"value":{"entity-type":"item","numeric-id":5386001,"id":"Q5386001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1680e073d9a271abad81fcb78350ddad318b2d4f","datavalue":{"value":{"amount":"+0.785213053226471","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":"Q868025$68C32612-CA3A-4460-82E1-5496F3724A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39a76d343dea9ac18eca9ab0f6101093d5a9b7c2","datavalue":{"value":{"entity-type":"item","numeric-id":4611376,"id":"Q4611376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a856b697e34907bb6ac240dc7ed23f6d77bad37","datavalue":{"value":{"amount":"+0.7811337113380432","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":"Q868025$EC6EA0FE-EB02-4641-9C72-0AE90B834EF3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the freeze quantifier in Constraint LTL: Decidability and complexity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_freeze_quantifier_in_Constraint_LTL:_Decidability_and_complexity"}}}}}