{"entities":{"Q6615568":{"pageid":14226725,"ns":120,"title":"Item:Q6615568","lastrevid":42382689,"modified":"2025-06-14T01:49:13Z","type":"item","id":"Q6615568","labels":{"en":{"language":"en","value":"Towards the exact complexity of realizability for safety LTL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7923285"}},"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":"Q6615568$30738BE3-62E3-4A1D-AD21-3B8337CEFE28","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"82a7500c5721212df79e895df1a20a5440d8f674","datavalue":{"value":{"text":"Towards the exact complexity of realizability for safety LTL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6615568$BE2861EA-88AC-433F-B307-5D16129D5D4A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e5fdd8416116a9b1fa62dd2db6902867508ec13","datavalue":{"value":{"entity-type":"item","numeric-id":6615567,"id":"Q6615567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615568$6D33F933-B25D-417E-BDE3-FF22C99308FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb667340cfbcd9cd67a94ffb3784afb72b2034ec","datavalue":{"value":{"entity-type":"item","numeric-id":287085,"id":"Q287085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615568$F9E913CD-BA9A-451F-9DE4-BC1DFB4F0DE8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615568$DA23C4E8-C38D-4E9A-9153-6271436F7768","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"03a16e60c4311202f855d06c07cecd615a7be8ea","datavalue":{"value":{"time":"+2024-10-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":"Q6615568$FC2D7952-E8B1-47AE-99A1-644A8D7A2625","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6615568$ACEA7EFA-8D93-4A30-A016-E4452292B877","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9bef0c37b11ce28a6421670ceb57da396e81feec","datavalue":{"value":"7923285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6615568$CDBDBF98-8DDA-4EA7-A409-053890FA8611","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6615568$2D6D8B73-0D6E-44AA-BCF8-982577894FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11acd2fb6ad6c566c252aa4b6fd795400412f6ca","datavalue":{"value":"complexity theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6615568$F0FE2BD4-0AD4-494E-BF4E-B7D84CAEED3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d61092cbbff856a3b199e03225e42bcac6db78","datavalue":{"value":"realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6615568$0EDDB44D-9EB5-4011-B4E1-44E041890BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66099e696a2c19d271c11a5347ac1363d45c8b06","datavalue":{"value":"synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6615568$86BAE3A8-F6B3-4476-A772-D63459DB6E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5d8cb2f2e6ee53ee30c539d32dc0c74f1463b56","datavalue":{"value":"strong satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6615568$D420A16F-D860-425F-83EB-F536CB8D17C9","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":"Q6615568$53972F0D-D214-4E0C-941C-28FC2BDA50FE","rank":"normal"}],"P223":[{"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":"Q6615568$F5085D8C-3E6E-4306-B0EA-78BFC37EC341","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":"Q6615568$3A0872BD-9979-4D47-94FA-091130CEA225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee375c7bcc9847e2999b97cdff8f98ca7e0a19de","datavalue":{"value":{"entity-type":"item","numeric-id":5898629,"id":"Q5898629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615568$5146B545-AD34-48C8-9E8F-15D0CCEF701E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c3d6be602a1b0a5dac093fa6074dbc06451d085","datavalue":{"value":{"entity-type":"item","numeric-id":4633528,"id":"Q4633528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615568$E7D06512-FA7F-4C3A-B9C4-B077A7CB51EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42933d7d062dbf1ed1777664d7e2dcd6c0f9efbc","datavalue":{"value":{"entity-type":"item","numeric-id":5204340,"id":"Q5204340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615568$764EF888-F6F6-4C22-ADE9-A7248C1BCAA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c975b107162ac74a24f829c2f56a0100515128d","datavalue":{"value":{"entity-type":"item","numeric-id":1343862,"id":"Q1343862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615568$38C3D84F-97E6-42D1-BBF8-2E0EB5F17741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6708a5fbfa58bdf81c00a81175de2360644d0ec3","datavalue":{"value":{"entity-type":"item","numeric-id":6151754,"id":"Q6151754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615568$0060B681-6D0C-46D6-A007-841B0E0148BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13c558a3ced94721aec3cc1045d6226ff124400","datavalue":{"value":{"entity-type":"item","numeric-id":6135783,"id":"Q6135783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615568$FA336102-8AFE-4E11-9C5E-000987EF1FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe06eda54f4cd3e438d9084b4f31164efa247afb","datavalue":{"value":{"entity-type":"item","numeric-id":3569195,"id":"Q3569195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615568$BCC968C2-E042-4425-9344-1273EA4B0BE5","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":"Q6615568$41D33374-0633-4B0A-9927-97DFA5A3F341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"242822ed7e260e0afab7f6fe3f1d238b1a4dfcb6","datavalue":{"value":{"entity-type":"item","numeric-id":6487325,"id":"Q6487325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615568$13317C01-F70A-4DEB-B8C1-ABA6494C5F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8653d2e6f53b17cedec7b9470bcf88609d4f1f","datavalue":{"value":{"entity-type":"item","numeric-id":5320667,"id":"Q5320667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615568$5A91BB7A-2514-4CE7-B8D4-D3EBFFF68209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ed620432d7ddcf233610ef2f2a050010220ed20","datavalue":{"value":{"entity-type":"item","numeric-id":5949490,"id":"Q5949490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615568$898C8D56-3E34-4BCF-BE1A-E3FA3CFAE547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6242e3bb9ae42e7f42565ab98d4f8cd4a7dc19fb","datavalue":{"value":{"entity-type":"item","numeric-id":5756733,"id":"Q5756733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615568$C06E8148-A7CB-4F5E-8BB7-E076C9D2EBF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615568$C41194D6-54D5-493D-994B-97905D4CE543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f667935027a91d887eedfcc3c126d63ce54c15e","datavalue":{"value":{"entity-type":"item","numeric-id":2805273,"id":"Q2805273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615568$56D85D55-9AF0-4D6D-96B9-CD004BA2BCD0","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":"Q6615568$78C5C90F-5CB4-40CE-A9F4-07DF3DFA68EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"667a0ab8458ea69b4acdd17f2c18d22103d89db5","datavalue":{"value":{"entity-type":"item","numeric-id":6536136,"id":"Q6536136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615568$2B88A4AF-7479-4986-A3FD-A94315EA6CE9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c2661409328ba04f8ef51904c58012ed776779d9","datavalue":{"value":"10.1016/J.JLAMP.2024.101002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6615568$12CE6A86-EC12-4DEB-A7D5-5CD962D8135A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6615568","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6615568"}}}}}