{"entities":{"Q2672232":{"pageid":2682975,"ns":120,"title":"Item:Q2672232","lastrevid":55410973,"modified":"2026-02-17T15:49:25Z","type":"item","id":"Q2672232","labels":{"en":{"language":"en","value":"Robust, expressive, and quantitative linear temporal logics: pick any two for free"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7538307"}},"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":"Q2672232$8AB56A3C-7522-47E9-B943-30E13B56FC7B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7d5089f3576681e19354f30bb5fc8c67909e6a5f","datavalue":{"value":{"text":"Robust, expressive, and quantitative linear temporal logics: pick any two for free","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2672232$38406219-EA3B-4100-9101-EAA8B5B1B73D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"985ba93433527f6d082a450a60d069993898369d","datavalue":{"value":{"entity-type":"item","numeric-id":477196,"id":"Q477196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672232$7463BD5C-1559-497A-9AC3-7E96500C9B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7567a872b0a03cf45b9a24331f1f97ee1ad2d9ce","datavalue":{"value":{"entity-type":"item","numeric-id":1786615,"id":"Q1786615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672232$C5E54FB4-2EC5-406D-B6D9-8CF7BDD8FF65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"55747a80f3ab2fd6b2d6e1010dc381d0b7b1832a","datavalue":{"value":{"entity-type":"item","numeric-id":218365,"id":"Q218365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672232$E6CE52F7-8373-4AF0-9B20-9138F29230D5","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":"Q2672232$63FD0FEA-1001-4CDC-9AC3-98B571A81FE3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3cf5dcd0a1b4e1ab96661cdd555a0d486e901de","datavalue":{"value":{"time":"+2022-06-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2672232$4C3DC9D0-9AC7-4397-8917-11AF5BA6B508","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"274ed225d2d4319639c28a36e8b35f38e82bc94d","datavalue":{"value":"https://elib.dlr.de/144975/1/main.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2672232$C7BB87C3-7858-462B-A16F-CFAFC407DFF4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2672232$B56CF91F-F188-45D0-BE3D-740A0EE54AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2672232$721B4B10-7E2C-44EA-86EF-3F08461435BD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a9252d982817d1745f7419d451f89f9e4bf59ff","datavalue":{"value":"7538307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2672232$E13CBDEF-5116-4F27-96B1-A2711AC67116","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":"Q2672232$A73EBA1D-2A03-459C-9DFC-7A99302606E8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b06dac41e36549c784fd5fd3057dc5a7c8cac84f","datavalue":{"value":"W3209560691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2672232$29FE3ED8-ACDB-4640-8110-A6CA2CE7CC59","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7109874b11e121d3e99b359a1175cee32b09388","datavalue":{"value":{"entity-type":"item","numeric-id":5020519,"id":"Q5020519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672232$2BF5676D-0A40-4BBD-99EF-24EE2FE84E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15d6bf8834e6341a7817a82324dbf57191e84de4","datavalue":{"value":{"entity-type":"item","numeric-id":3512437,"id":"Q3512437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672232$B59533C4-E3DE-449F-A6D9-76949A4FF682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672232$D6CF6BF9-D951-45F8-97CA-09732121271C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"813fff4a50327a56d55d510380ed2e072fd352b1","datavalue":{"value":{"entity-type":"item","numeric-id":515660,"id":"Q515660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672232$CA112243-9729-46EE-B1E8-785B407CA2F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01840145b645722449aa29d23c00ba5f807150","datavalue":{"value":{"entity-type":"item","numeric-id":3525092,"id":"Q3525092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672232$00695684-FBCC-4DE9-8A44-2BF3038BD18A","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":"Q2672232$05EBC1EE-C316-4A16-8595-5D3D322DDC92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89d86939d9b9794f52fb929a0479751d9d0f6b81","datavalue":{"value":{"entity-type":"item","numeric-id":3549124,"id":"Q3549124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672232$BC9A6FE4-0B70-42F9-95CD-2B737522B546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9316a3640aaf5447f69f5de485a7845644f32cb4","datavalue":{"value":{"entity-type":"item","numeric-id":1039845,"id":"Q1039845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672232$E780CCA5-536B-4677-BBE5-81716BE859B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"251400266117686745d3f882c4375a2a71694b36","datavalue":{"value":{"entity-type":"item","numeric-id":2413483,"id":"Q2413483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672232$47344D4B-A904-4912-BCE3-14416A5AD147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f7dd1fd20704a5d11302e1d4bcf8fe3429246b7","datavalue":{"value":{"entity-type":"item","numeric-id":3588086,"id":"Q3588086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672232$4167B78A-05F9-4DBD-A925-873485BD9B0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"207f1de1845b07de215059ac6a3493b148a1bf87","datavalue":{"value":{"entity-type":"item","numeric-id":732015,"id":"Q732015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672232$8EB9DDC0-F982-4408-BACB-92B752134EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"086cea8523ed1174345784fc14ca4c7750412bde","datavalue":{"value":{"entity-type":"item","numeric-id":5079759,"id":"Q5079759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672232$46DC8B16-D5DD-45C3-BC72-AAE05A8397CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb3b9666e250b87c729eb1facbed102a95f53662","datavalue":{"value":{"entity-type":"item","numeric-id":2982916,"id":"Q2982916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672232$56A42BFB-CEF6-472B-AFFA-70B743909F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e2be1205f152dec80bff80cbf0be145193cfe5e","datavalue":{"value":{"entity-type":"item","numeric-id":5278396,"id":"Q5278396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672232$622585C6-E363-4308-9DAD-C6867612738F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"349e414e5aac94116fe6139ace827000b4e4726a","datavalue":{"value":{"entity-type":"item","numeric-id":5239240,"id":"Q5239240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672232$81BE21F3-8641-48DC-9101-973E1F683634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5c772f38628c7ad325401f5459cc5ad0de41724","datavalue":{"value":{"entity-type":"item","numeric-id":5146368,"id":"Q5146368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672232$7BA02E82-8A0A-4199-BD59-6A804BB9FBEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fecbe8498bea9dfe933ee3e08ca9d63d4f901531","datavalue":{"value":{"entity-type":"item","numeric-id":5900562,"id":"Q5900562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672232$BA3882BC-CE91-4DCD-8C2A-3C10A3836622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b11f5746ea4bacdd7b399439ead75c0b127d95cd","datavalue":{"value":{"entity-type":"item","numeric-id":5277690,"id":"Q5277690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672232$E6B21BCF-110C-4370-A798-4BB2794CF74B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6140a42fad55028ab35be908c58d4b6964b7180","datavalue":{"value":{"entity-type":"item","numeric-id":391106,"id":"Q391106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672232$2FF9CA30-ECE8-463A-8FDD-5C79D1DA82F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a346b0d1d8d58eca29ba3d568dd9754ed71fd2e5","datavalue":{"value":{"entity-type":"item","numeric-id":1866725,"id":"Q1866725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672232$5C0FAD29-3616-49F7-84FD-800AAD0C87A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672232$930EB0AC-CDC8-4154-B4DB-FC85935091C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"277c213e67dfede245e758c3f82c84c76591df43","datavalue":{"value":{"entity-type":"item","numeric-id":4995359,"id":"Q4995359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672232$0E76AF44-E6C3-4057-8A8E-12463DF63596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e9159e9095f8ca510d538d7e9904c6f3ff891ad","datavalue":{"value":{"entity-type":"item","numeric-id":796990,"id":"Q796990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672232$39790C93-E60C-4AED-BD70-9D3CFCD44C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acfbb86f652e01890434b94fbb49e1c97c375169","datavalue":{"value":{"entity-type":"item","numeric-id":4636575,"id":"Q4636575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672232$98FE64BC-FF3D-4AAF-A5C7-4D7B846A171F","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":"Q2672232$939B2616-50F8-473B-8CD5-A65A1CD1E2E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2cc99a8d71da1c5a6110884877d19a97e5ebc24","datavalue":{"value":{"entity-type":"item","numeric-id":4977976,"id":"Q4977976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672232$E52D0FB9-71AE-4AA7-A032-40729CCFCE66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0100b938aa02592e3dcec5a016d883a9d79cc50a","datavalue":{"value":{"entity-type":"item","numeric-id":4205072,"id":"Q4205072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672232$47CDFBFF-8829-4193-93C5-B44243CC2574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d5214b688b20c085ca517a35ba494bf283ee476","datavalue":{"value":{"entity-type":"item","numeric-id":3698787,"id":"Q3698787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672232$F1D384E6-428D-42F0-A433-750B07701F31","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d8f98701b03de0aec1000b31b32e208883bdc83d","datavalue":{"value":"10.1016/J.IC.2021.104810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2672232$FABEC78B-5BC3-42E6-AAF8-1354DA0A24C8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af5b3f1d8a80f4b29f7f7bb570b7a3baa4d437a3","datavalue":{"value":{"entity-type":"item","numeric-id":5020519,"id":"Q5020519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3aaf9895328fd92068588127e3d2ee8d09f16fd6","datavalue":{"value":{"amount":"+0.9914552569389344","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":"Q2672232$B0D18F0D-8046-4D5C-A7B1-2F844A90CDA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70e2fe6104df3343b854e489aa765fe082425704","datavalue":{"value":{"entity-type":"item","numeric-id":5034230,"id":"Q5034230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"220a8f1de782de61578dc2b7c139c85c7e036dab","datavalue":{"value":{"amount":"+0.7924768328666687","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":"Q2672232$6DC89510-1E92-479F-AB2A-F5A75065F336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56c1267fc9e25c0842e7cc91cf17982f671b43c3","datavalue":{"value":{"entity-type":"item","numeric-id":5278396,"id":"Q5278396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ec903d28848c44986ed18be9fbe37b3277f5fa8","datavalue":{"value":{"amount":"+0.7873485088348389","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":"Q2672232$B97C6BB1-B1EF-4996-87D9-F73992EB612C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa606853d64dbd06a1a39c12eaf1887f1356cbeb","datavalue":{"value":{"entity-type":"item","numeric-id":4221300,"id":"Q4221300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36199f871ca8b5710f5a2b4ec2401a5c6dffa287","datavalue":{"value":{"amount":"+0.7576132416725159","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":"Q2672232$F918D695-C26B-4367-88DB-AF852A07D81F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afacaae153a5515f538c9563d5360219e4dcd238","datavalue":{"value":{"entity-type":"item","numeric-id":2418645,"id":"Q2418645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"606e113e3124874163f89854bb77809077842cd4","datavalue":{"value":{"amount":"+0.7488718628883362","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":"Q2672232$5DD01A0C-8C8B-417D-9348-A8A8378FBEB7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2672232","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2672232"}}}}}