{"entities":{"Q6178458":{"pageid":13313346,"ns":120,"title":"Item:Q6178458","lastrevid":58742598,"modified":"2026-04-06T13:36:10Z","type":"item","id":"Q6178458","labels":{"en":{"language":"en","value":"Realizability problem for constraint LTL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7790920"}},"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":"Q6178458$D5C57DC5-E99C-42F2-B147-B30DB105E815","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de7f5807d62d1dd5e691517a28d16fe01e4153fe","datavalue":{"value":{"text":"Realizability problem for constraint LTL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6178458$0312FF9C-9A5D-44B0-8838-0AA65993C9D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6146cbbaccd9f5766397fa4e6edf16e9e1ec5269","datavalue":{"value":{"entity-type":"item","numeric-id":6178457,"id":"Q6178457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178458$E26419DF-CA36-4BA5-997D-7A75FA34D4D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"36974ca48c1ff3caa1463aa00972066da924c035","datavalue":{"value":{"entity-type":"item","numeric-id":1949743,"id":"Q1949743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178458$8BB94065-2B49-4297-9B64-730F5DBB5AED","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":"Q6178458$C751700B-E46B-48C7-B809-C47BEB58564D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ff89536e38dd1dcc6e3cce47bb2f12bcf1912f8","datavalue":{"value":{"time":"+2024-01-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6178458$003F551D-0185-4E0F-A3AF-90691A14CFDF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7b01c3e91a671ba4f88b128bc32c4b489ec565c3","datavalue":{"value":"https://arxiv.org/abs/2207.06708","type":"string"},"datatype":"url"},"type":"statement","id":"Q6178458$E58E8CD8-D57C-477F-A36C-A7CB50A940E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6178458$4956FEA1-FD53-4DAA-92B6-878171C6D447","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a64f8dfe32809666ffa920a68851af13b191dbe","datavalue":{"value":"7790920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6178458$F85A6E3E-751C-4067-919D-E57AD4B30D06","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d61092cbbff856a3b199e03225e42bcac6db78","datavalue":{"value":"realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6178458$9EE9F79A-F0B3-4F57-A307-095E97AC67D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00952d8c02be0f5091bdba500fb22728efaf99f0","datavalue":{"value":"constraint LTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q6178458$AD171787-2052-423C-AE43-7BF4CDDEFAB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23497b8042cc696bfd20ece0e9a08bacbb6a144c","datavalue":{"value":"strategy trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q6178458$7F36C7ED-AF82-4374-A4FA-D46C43659C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6178458$B97240B5-4F7B-4645-98CC-42104494A79E","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":"Q6178458$DD4EDD28-89FB-44B0-98F2-5E9B6424042C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5b512d7314ab4a73f6ab3b64eeaddeb90e00ca36","datavalue":{"value":"W4388968637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6178458$C0BFF154-116C-4203-BF22-245A7C8CE0C0","rank":"normal"}],"P223":[{"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":"Q6178458$4192F481-234F-4088-A957-DC11EEA17CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d713119ce499c7aa6060f9ba74dfee79edde132","datavalue":{"value":{"entity-type":"item","numeric-id":870361,"id":"Q870361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178458$14B61B25-39AA-4B32-9BDB-B9AE5A01BC25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bd9f617f964b140076535652ec49e453f6eeae6","datavalue":{"value":{"entity-type":"item","numeric-id":2946574,"id":"Q2946574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178458$F299DB6B-13C0-4A08-9E1A-D3550B77E83E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e59f555f08573896fd1f0b1d6b858e2fab51ca6","datavalue":{"value":{"entity-type":"item","numeric-id":3165752,"id":"Q3165752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178458$7E460973-4483-42E2-8A50-5B2171ABD860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33f9355127352c8f0cd3da3e207d3b8225d8e994","datavalue":{"value":{"entity-type":"item","numeric-id":2818761,"id":"Q2818761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178458$7304335D-604D-4CA1-874A-9D582B2C3904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceda0c87bb63c8028473ee4ed8dfdc1d3b9f3f99","datavalue":{"value":{"entity-type":"item","numeric-id":1341718,"id":"Q1341718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178458$A84EC6C5-49C9-4C05-8D1A-BA8F46F42AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bb4a91e9cc7eca8e9ff5f00e4ce6d5e415cf749","datavalue":{"value":{"entity-type":"item","numeric-id":2946646,"id":"Q2946646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178458$53CF2101-937C-4329-833D-F3A71B0F1C3E","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":"Q6178458$B5DA8C29-0B7B-471F-8EFE-D09DD34CB3B3","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":"Q6178458$47FD8558-5330-484C-9511-BC046E2C2854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d72c4a2c3f47e29311b1ae0e2b3b056023f80190","datavalue":{"value":{"entity-type":"item","numeric-id":5856426,"id":"Q5856426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178458$AB8EF82E-3DFD-443F-8778-A75EF748173D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caea5d684a4342534acdecae4739c319c9c74674","datavalue":{"value":{"entity-type":"item","numeric-id":2842100,"id":"Q2842100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178458$FA758B5A-39DB-4C60-B695-20A76E8EF0AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e822a873729bf12734fd9be5e030d817ec104b38","datavalue":{"value":{"entity-type":"item","numeric-id":2200816,"id":"Q2200816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178458$1D480024-0E57-4E34-9CE1-238EEAAAAA97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9067048aa9b72a7d5953969018564d4cb8d52360","datavalue":{"value":{"entity-type":"item","numeric-id":3644764,"id":"Q3644764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178458$89BBC68E-3D44-4D1B-A27B-D42663F8B074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc64de87278ee5332a2129c0722bd9b715d53987","datavalue":{"value":{"entity-type":"item","numeric-id":2062122,"id":"Q2062122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178458$38A9BA48-C462-4696-A8D6-17067D60B760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab26d2d5bd656a6de935920340980c3af045c0ae","datavalue":{"value":{"entity-type":"item","numeric-id":2334595,"id":"Q2334595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178458$8C0CA785-3B42-4E7C-A70A-49FE8925F6E3","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":"Q6178458$8FCAAFED-EBD3-413F-B372-635D7D117AD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f4f3ec7f409d59dd76c842992bd7c51e96cbfb6","datavalue":{"value":{"entity-type":"item","numeric-id":5292620,"id":"Q5292620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178458$A85E02C3-3034-4806-AF7B-3AF1572E3BB2","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":"Q6178458$8D29A5D4-892C-48E1-9E5C-5AAC4C09F2D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99ac5c09f5d8340ff75896f976c408f38ef05401","datavalue":{"value":{"entity-type":"item","numeric-id":4412825,"id":"Q4412825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178458$59F88256-2745-464F-BDE1-ED2D2786CABD","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":"Q6178458$69B98EB1-9E30-4A1F-96C1-EE0A4A8BDC2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22776ab6df6d965eee7a85c38c01c6d8ff808663","datavalue":{"value":{"entity-type":"item","numeric-id":5426071,"id":"Q5426071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178458$5DEBCF4A-AC8E-470F-9399-87671E0F683C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8575d1d14f1795c7b3fbdd811dd82c9638962512","datavalue":{"value":{"entity-type":"item","numeric-id":5073521,"id":"Q5073521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178458$8138D48F-94E8-4662-8EC1-BD0AC872A52E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d079b47cf1ba2d598f964b28ddec583cafa7821","datavalue":{"value":{"entity-type":"item","numeric-id":1088653,"id":"Q1088653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178458$A9B66C90-C701-4A53-B464-D4C41BE1EFF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfe91ba3ccb29e7b4aacdc84003e21bb60c91c4b","datavalue":{"value":{"entity-type":"item","numeric-id":4412831,"id":"Q4412831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178458$9C52107F-7531-48E7-BF5D-27C3B218139C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b873fe9ceb3add2ac3890a00b16c67a56b6aec9d","datavalue":{"value":"10.1016/J.IC.2023.105126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6178458$C6365619-6947-4230-B7F8-1BED64CAB5B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6178458","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6178458"}}}}}