{"entities":{"Q1774566":{"pageid":1785308,"ns":120,"title":"Item:Q1774566","lastrevid":78292172,"modified":"2026-05-06T11:14:48Z","type":"item","id":"Q1774566","labels":{"en":{"language":"en","value":"Difficult configurations -- on the complexity of LTrL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2168293"}},"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":"Q1774566$AF2A7B23-5550-41A5-AB0F-81A0735C8E53","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b6fc81746f8f0095997ba90cad6644c9ac92df6","datavalue":{"value":{"text":"Difficult configurations -- on the complexity of LTrL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1774566$67719CD0-2A94-4F72-A2F2-4CB8644ABD27","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc4a9ed77a4eb3a36fadead9395fb129af3b3a82","datavalue":{"value":"1075.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774566$5F95F1C4-F2D3-4E3A-A560-61814F22FEC6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"775a644844a555d1fdaddfac8fec302da0d27d3f","datavalue":{"value":{"entity-type":"item","numeric-id":342706,"id":"Q342706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774566$6B186F42-FBB5-4B73-B4EA-3AC08DD04F62","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774566$237D874A-5CF4-4369-8FF6-6AB295CD751F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ee0106d888569bdcc9b3d8e1252f7ed63c68c81","datavalue":{"value":{"time":"+2005-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1774566$42A01356-D7E9-4B59-A7A7-92B257A6BF45","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774566$33A2562F-659D-4971-8B60-0B65F711F075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774566$86827EC0-0A15-423D-944F-B0395979E6FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774566$3243F672-969E-4769-A37D-218BF0321155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774566$30576826-383A-49F5-B0FD-625E985212F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba5a7703e95cc7a8bbe4fd4f849a456ad02f7553","datavalue":{"value":"2168293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774566$8E873256-FD89-45DB-A662-1FC12D033695","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"263add0f723f260ee9423f91cba4fe325b1e0192","datavalue":{"value":"global linear time temporal logic over traces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1774566$A295BB03-8C9D-4F21-BE69-762C0FAA6C16","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":"Q1774566$68F1E78A-D06C-48B7-AE96-E614960A5885","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"837e124258bb10075febb31a37f3a53bd6467cf4","datavalue":{"value":"https://doi.org/10.1007/s10703-005-4593-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q1774566$BF330983-91D1-4F71-8CF1-352539F095D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bacff91549d1a84d6e35c642f6e1ecccdeed4213","datavalue":{"value":"W2027415891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774566$51BBF10D-D18E-4AFC-88B4-13ABE19A5354","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bba6020fe5fe17ee55d2feb9d42dbbba53ae9ebb","datavalue":{"value":{"entity-type":"item","numeric-id":2754145,"id":"Q2754145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774566$5CC20B56-650B-411E-9C94-08BDE127BE01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4cb6e9c0b46157901d6782f85c0164bfbf3d86","datavalue":{"value":{"entity-type":"item","numeric-id":1910794,"id":"Q1910794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774566$5485963E-908A-4181-8EAF-DF5C921EB0DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bad5eed05a3662ff994c6164b09408bcc912340","datavalue":{"value":{"entity-type":"item","numeric-id":1893730,"id":"Q1893730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774566$6050FC8F-7F75-4EA2-94C1-C485AC7016E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e89746956d217860016a766c2127e6c1ab5916e","datavalue":{"value":{"entity-type":"item","numeric-id":1322161,"id":"Q1322161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774566$5CD37196-8E95-4AAB-9699-B86DA55E64E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce3eb892649e381348859e24a44cfd45b9cfc886","datavalue":{"value":{"entity-type":"item","numeric-id":1199555,"id":"Q1199555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774566$ABCCC427-48F1-4171-A58E-9713359C652B","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":"Q1774566$5F79DBF2-B5B0-4B87-9AA2-FA04214F3AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a091fa96805ee8cc47c29cf15da844810699fe3","datavalue":{"value":{"entity-type":"item","numeric-id":2506491,"id":"Q2506491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774566$7265D3C8-35CC-490B-AABC-81D1238D2335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4fdb8e4a2fdf5458b7800cfcdabf92018c2fe43","datavalue":{"value":{"entity-type":"item","numeric-id":685106,"id":"Q685106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774566$D96D6021-EB4F-419A-A917-FC1F9400B7AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9d8fbcb60461926596646d10e457e80159cd74","datavalue":{"value":{"entity-type":"item","numeric-id":4807834,"id":"Q4807834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774566$08E435F6-6A89-47AA-9DF1-59A9C8080B52","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"49032fc93ecc87ef3be1ea3a7b691a4987825d39","datavalue":{"value":"10.1007/S10703-005-4593-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774566$EFB2A91B-D9B6-4DE2-9984-7E9BC9D547D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af546c4d6ac5d51c63c85c011944e3a38e264a97","datavalue":{"value":{"entity-type":"item","numeric-id":4219025,"id":"Q4219025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1857c144c91b1c9a3ccc48b0f1f978830491327c","datavalue":{"value":{"amount":"+0.9715911","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":"Q1774566$B1D781BC-4F5B-4A48-B63F-975CE5159EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed4b5620daa4cf706db620c00c00300ae2a1fecf","datavalue":{"value":{"entity-type":"item","numeric-id":3596704,"id":"Q3596704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"335f5c5eb57686a2ea044ceb6c49e27d10207c33","datavalue":{"value":{"amount":"+0.8341888","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":"Q1774566$0264A87D-3AF7-4AD9-9E92-55CDE8DEBE2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4d20ccec648a3bb92cf91a71374ace5e7f3afa5","datavalue":{"value":{"entity-type":"item","numeric-id":631762,"id":"Q631762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"335f5c5eb57686a2ea044ceb6c49e27d10207c33","datavalue":{"value":{"amount":"+0.8341888","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":"Q1774566$FB9CD7C3-2DD8-448B-B75F-8F239D0CF45E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c82e6ecd64cffd27e20579283dd42f239e866f7","datavalue":{"value":{"entity-type":"item","numeric-id":4657574,"id":"Q4657574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f93446dc634dd9e765a7882bc01bbe36e2b1f1e9","datavalue":{"value":{"amount":"+0.8204347","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":"Q1774566$71FC5736-448A-4DC0-96B2-71592068D5B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b3a553b62a3c27868d99f6be9eda412ce9504e5","datavalue":{"value":{"entity-type":"item","numeric-id":5496194,"id":"Q5496194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54c3a5427b7de83c39bc78c699532dc964917420","datavalue":{"value":{"amount":"+0.81907064","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":"Q1774566$DE029CD3-F642-46AE-A41E-0CB26C3AA4DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e10daf4a2f969c91a9a69c446122704635e5c5ab","datavalue":{"value":{"entity-type":"item","numeric-id":4976380,"id":"Q4976380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eef93e2ff80e3ef6a4bde2d9c82b8218d7b9d41f","datavalue":{"value":{"amount":"+0.8190706","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":"Q1774566$B2CA36F2-A441-4703-966D-E5FE5BCB11F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5418e6a410461f15a128f56c72b20a2bfdc86276","datavalue":{"value":{"entity-type":"item","numeric-id":2739433,"id":"Q2739433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88f63266d100f23e33024f495c91dfbc867960a1","datavalue":{"value":{"amount":"+0.8098345","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":"Q1774566$82F00291-0C55-4793-BD79-C7C5AD5F8ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64d11b739abf30c82edd7497ae70ba0228ada87b","datavalue":{"value":{"entity-type":"item","numeric-id":3506958,"id":"Q3506958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12b1a5d45557002233acb0693190a7c1913ffa5b","datavalue":{"value":{"amount":"+0.80899787","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":"Q1774566$D08C6299-7D24-4F2C-AF65-B7406D9AE46A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Difficult configurations -- on the complexity of LTrL","badges":[]}}}}}