{"entities":{"Q1758157":{"pageid":1768899,"ns":120,"title":"Item:Q1758157","lastrevid":74242551,"modified":"2026-04-14T19:08:24Z","type":"item","id":"Q1758157","labels":{"en":{"language":"en","value":"Finite and infinite implementation of transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6103617"}},"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":"Q1758157$ED54B216-6282-4BBF-93E9-7B314B689AE6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"120f3a30cc449941fbe6652f43fcbea3597ef2bc","datavalue":{"value":{"text":"Finite and infinite implementation of transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1758157$B960C014-6EA8-4035-8A9D-7CCC50F571CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"545fdfc3767508aac5e2374f087703962f89126f","datavalue":{"value":"1250.68209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758157$895EB603-92E4-4DDB-997A-18F1A1A43CFD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d19214d6ab96c1b95faaaf223b83bab4e859315a","datavalue":{"value":{"entity-type":"item","numeric-id":216155,"id":"Q216155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758157$C8D3082F-30BD-4EE9-BE1B-80F0C522CBD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"27a40f3e393f328cd4730fcb61457b79095ca391","datavalue":{"value":{"entity-type":"item","numeric-id":753808,"id":"Q753808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758157$6DB43C31-7494-433E-BDFD-93E48AC39770","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758157$26F2CBDF-140F-4495-93EE-09EC9D955E17","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1fd40b453552197bf6992e0512f747c68abfc621","datavalue":{"value":{"time":"+2012-11-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":"Q1758157$CB57255B-3016-4677-A3FF-5592EFBB0F0B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758157$64BF2FE2-749A-4FC2-AC44-4C2D5B75527F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758157$47952842-9D75-4E5F-9A89-F456D75FB8D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"075b26aff8536f2ec308e0e10f2f0c135cf5c7a4","datavalue":{"value":"6103617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758157$F33D2F5C-8C9A-4BDB-9F80-1F6BA0737D2E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9408546ecb33d5fe54dbb1dbe82b7a513b60f62","datavalue":{"value":"transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758157$125ED08F-456C-485D-9278-8CEEF4E871C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef359d59e74cb9142903f0e8e9f4e9a6db893b78","datavalue":{"value":"implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758157$CAB571A6-93AD-410B-8E30-6ECBDC81CC63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b037cde32a17a81d11a4f81a1000c2226890ce50","datavalue":{"value":"stuttering","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758157$57A249F0-8973-4D09-9F6C-43F356D6FC72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06787681169b06aa6ebc24a622e3c68f2767c214","datavalue":{"value":"K\u00f6nig's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758157$8CE62563-5632-4E92-85D2-210680872737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758157$C99EC36B-2438-4843-AB9B-DC073A134AF5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758157$E0D90E51-C228-4FC3-A715-91BE2631BD9E","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":"Q1758157$6B726055-530E-4A99-B0EE-A535D383707D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"413c8dedfce77c9c43e3c473f3def9c8bbb3cda8","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2012.08.014","type":"string"},"datatype":"url"},"type":"statement","id":"Q1758157$CE25DC48-CBC7-4138-913D-41A87025CD30","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"06e5bc3c68b148fc279213a6d19a06b37a507d33","datavalue":{"value":"W2003749264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758157$60385F5C-4152-4CA0-BD94-C9748F0B4876","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d5978f4bdf14ef5fd8b71ce390dbec5034a1e6","datavalue":{"value":{"entity-type":"item","numeric-id":805251,"id":"Q805251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758157$F1167829-FD02-4FB5-87B1-0C94C22CBDB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a735ec939b05a13b9d5b1c6aa87eda0dd6bd7d","datavalue":{"value":{"entity-type":"item","numeric-id":5277719,"id":"Q5277719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758157$9ADBAC4F-5395-486F-8294-963D2D28F389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e279107c1bf5c9d2930df902614801cf2fa8b4c3","datavalue":{"value":{"entity-type":"item","numeric-id":1899913,"id":"Q1899913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758157$09CAE5A6-4D0A-494E-841C-6A2DAD67AF85","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3195a7b0928aef13fd12eb79aaa4a5bb4701e3c1","datavalue":{"value":"10.1016/J.TCS.2012.08.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758157$3EEA1A6A-F784-4DDF-8268-3F9034BA7E43","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6584f520c12742dc39a7f9b94f6d24901053c2db","datavalue":{"value":{"entity-type":"item","numeric-id":2914682,"id":"Q2914682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cfc8339da7d329370e6c6ffa320cd2508bcf9d5","datavalue":{"value":{"amount":"+0.6982905268669128","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":"Q1758157$4C43ABD9-B1C4-4F57-89D1-499B21FF10B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b03246e3b9d51db625692a4e298f4cd5d3968334","datavalue":{"value":{"entity-type":"item","numeric-id":2576578,"id":"Q2576578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b8a82009a869b01efaee68996155544a1597df0","datavalue":{"value":{"amount":"+0.6970217823982239","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":"Q1758157$81B7DBBE-2C9D-4069-B23A-F80E53353CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92203812c86bdb674fbb41fa141aa4d621a7b8c3","datavalue":{"value":{"entity-type":"item","numeric-id":2763981,"id":"Q2763981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbf0808e88956e3c41bc6c4232146df4dc508a0c","datavalue":{"value":{"amount":"+0.6955534815788269","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":"Q1758157$2272D76F-1C52-450D-ACB5-2CFABA918B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf5b43b408b2da4a683dba83631a428854b25f1e","datavalue":{"value":{"entity-type":"item","numeric-id":5491850,"id":"Q5491850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55a38e8f750b223f378d4e26bfd16d89daaf49b6","datavalue":{"value":{"amount":"+0.6882951259613037","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":"Q1758157$16F1059F-98DB-4212-9837-FAE4EC5D6515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d4d7fde564486c6ccde9a3cf2d6afade6863141","datavalue":{"value":{"entity-type":"item","numeric-id":4289659,"id":"Q4289659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f41e46b0b7dd960a54f3746f7726403b7ac4d1b","datavalue":{"value":{"amount":"+0.6872700452804565","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":"Q1758157$0047C915-5FE9-4B7D-B819-97EE5CFFBF3B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite and infinite implementation of transition systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finite_and_infinite_implementation_of_transition_systems"}}}}}