{"entities":{"Q351736":{"pageid":353503,"ns":120,"title":"Item:Q351736","lastrevid":61170498,"modified":"2026-04-10T21:37:17Z","type":"item","id":"Q351736","labels":{"en":{"language":"en","value":"Conflict-preserving abstraction of discrete event systems using annotated automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6185563"}},"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":"Q351736$2741D301-0141-4F78-9A5E-F83283490CD6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe1bef0ebb86f9bdbfdc3b59fd37f74bf64f9c5e","datavalue":{"value":{"text":"Conflict-preserving abstraction of discrete event systems using annotated automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q351736$43AD01F0-FCD7-4A3A-84BA-06C20D468358","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e705371bc50aee3ee121b6dee4e6976f671e079a","datavalue":{"value":"1267.93111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q351736$95A851FC-DCDC-4730-A9C4-21F8D5A1D88A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a706262969d030d597019b5318adb55bb32c8480","datavalue":{"value":{"entity-type":"item","numeric-id":351735,"id":"Q351735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351736$37604DAD-4942-41C8-9E8D-303949A74C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c1c708370112f81ca20df5b010f847ed2306c40","datavalue":{"value":{"entity-type":"item","numeric-id":262428,"id":"Q262428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351736$53B3C1C4-9879-4EF9-9362-C7C6F9DF17A1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0f7c04b6b94cf13c193d472c226068c28e7c8f04","datavalue":{"value":{"entity-type":"item","numeric-id":169421,"id":"Q169421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351736$089995D5-991B-425E-84D5-E51BB2733561","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c8cabbca9130b549339a6dd53d71f49214bfda6","datavalue":{"value":{"time":"+2013-07-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q351736$2BDDECAD-18A5-4FBD-AF06-08C1453F94DB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f8651ebd4b5a6131b17db05af997a937a442570d","datavalue":{"value":"https://hdl.handle.net/10289/6387","type":"string"},"datatype":"url"},"type":"statement","id":"Q351736$EDED153E-7224-4B32-A484-C3BDAE35DD5D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q351736$3A6304FD-2D27-412A-A745-C53F11CCACD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"007f7f82691f1d7656215e5be329d57b0bfdf5e7","datavalue":{"value":"94C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q351736$43EEA6FF-3C38-4BE3-9CD0-3A9789AA71B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e9b758f8c23e00339f42146d1750fd14823fb8b3","datavalue":{"value":"6185563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q351736$252136D6-13BA-40B8-8ED9-2BD7AEF8C996","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44b66a5f74a9aa5477ccff291192df44a16b994b","datavalue":{"value":"discrete event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q351736$D416BE9F-4807-451E-82C7-61180D6718B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fae05ced63030a229642ca3bdc0f479742289e2d","datavalue":{"value":"finite state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q351736$ED1AC2B4-09A7-405E-ABDB-B063D02CEB66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q351736$6BB0031B-0F05-420E-B269-C33643D38194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4588dabd08163972eef8c79d1133151daf9e8f70","datavalue":{"value":"nonblocking","type":"string"},"datatype":"string"},"type":"statement","id":"Q351736$AE93B8E6-B6B3-4B31-82C5-FF14399E389D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"effde5e7952b6c039193783c2cbc91b00b07031c","datavalue":{"value":{"entity-type":"item","numeric-id":21504,"id":"Q21504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351736$D1FC28F8-7F5D-4A83-A9D9-72ECD6B52183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"80c7c1691b4311a8cc23e8c9cd73656481658885","datavalue":{"value":{"entity-type":"item","numeric-id":30383,"id":"Q30383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351736$E54AFB20-B0DB-43DE-92C9-93754DCDD4DD","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":"Q351736$DC605437-291E-40EE-B11D-065E52097933","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"636cbabed752dd69b655790616a4241f882c8a8b","datavalue":{"value":"W2085821685","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q351736$1DEAE7A1-35DC-4961-89E7-662777B2AD28","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c4b27df433dd681bd3bffea572d668a1d25f01d","datavalue":{"value":{"entity-type":"item","numeric-id":4719062,"id":"Q4719062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351736$C2FBC638-94D0-41A4-939E-9A511406CAE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351736$ED24CA15-294C-4406-B9C2-24895F5C03D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f1862f76bd7973a9b862aca6e56e1276d4a514","datavalue":{"value":{"entity-type":"item","numeric-id":1182610,"id":"Q1182610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351736$A0614CE0-A63C-4F05-A1F4-028DF9A3562D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"709c6ccb0f43edf500a3924e26fd6e95732b2025","datavalue":{"value":{"entity-type":"item","numeric-id":4974263,"id":"Q4974263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351736$87232B05-C028-4191-BF4D-C35E33019325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4db6afd943e626772ac0a36d9cb8f9c2c5e427f","datavalue":{"value":{"entity-type":"item","numeric-id":922711,"id":"Q922711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351736$4023109F-357F-4D3E-9C36-98574D369E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"814223f4bd4da30f448d5d1b2c41b51941fa97b6","datavalue":{"value":{"entity-type":"item","numeric-id":3566992,"id":"Q3566992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351736$86EC92C6-69C0-41F3-B411-C94D643518D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351736$F67D37B8-C2A6-4875-8AD2-083EDE523843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ad1a6cca27b95e332a2f784b23a5cb646393672","datavalue":{"value":{"entity-type":"item","numeric-id":5484903,"id":"Q5484903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351736$13F84E92-585A-4B5B-9E8C-CAE0D5E0F965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351736$2D13B27A-70BB-4D82-B06C-0F82BDF7CF76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cef3a70d5cfa4b15f624f8b18b0fbd806359f7d","datavalue":{"value":{"entity-type":"item","numeric-id":4854001,"id":"Q4854001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351736$6FBCF163-E0FE-456C-BA02-14547E7F5E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"808cf189af5754ef03dc35e25b5f8b08308ea0b9","datavalue":{"value":{"entity-type":"item","numeric-id":1060838,"id":"Q1060838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351736$D0A0C291-DCCB-40D4-8CE6-180BB7A8A8CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe0e23938cf99e37eb42d33a1ece15862b42acce","datavalue":{"value":{"entity-type":"item","numeric-id":4974830,"id":"Q4974830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351736$ED556130-FFB3-4802-8357-8E92FDE568C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6beb7146573df92504a1ce08ee2a606525f7208b","datavalue":{"value":{"entity-type":"item","numeric-id":865623,"id":"Q865623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351736$DFD1FEBE-CE51-4EA8-9F9C-D10CEDA2192C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0c4366277a2fe4e97290661f51304ea6c2e2625","datavalue":{"value":{"entity-type":"item","numeric-id":976261,"id":"Q976261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351736$57A618F5-BD97-4A36-B118-39A1CAA2EC32","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"287c556b375021726e21f1643d6206e53380eb45","datavalue":{"value":"10.1007/S10626-012-0133-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q351736$D63A6459-A652-4176-A06E-84FB5CE9571B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd6162fd6992b1106acd53b8e130c7b0a5f8c0b8","datavalue":{"value":{"entity-type":"item","numeric-id":3566992,"id":"Q3566992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53b67579ea9858f4f081cd22c0f9f0d7e1e5f39f","datavalue":{"value":{"amount":"+0.8085459470748901","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":"Q351736$AE2BF597-7F92-48AA-8600-932A538293A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f6d79ba80c25301b43b7209a8ab9685f8355d45","datavalue":{"value":{"entity-type":"item","numeric-id":262429,"id":"Q262429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"debb021cd130823f3f6d82af2cd981b31eaf210e","datavalue":{"value":{"amount":"+0.7655007839202881","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":"Q351736$13347755-AA1D-4A76-98C2-CA7DBE0B7389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e972c052e22115b157b27f0544381743d683bac","datavalue":{"value":{"entity-type":"item","numeric-id":5168410,"id":"Q5168410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"563702280df5e1537639c3d9fc2d0127ef61b8c7","datavalue":{"value":{"amount":"+0.7630296349525452","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":"Q351736$89D9A4F8-B96A-4D65-BDEC-5A6205DCE23C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93eab72d58e82577ad2baae20b90a21b0fc92e46","datavalue":{"value":{"entity-type":"item","numeric-id":976261,"id":"Q976261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab6cd40fa9285e966eb471437e2a60a37c36a4de","datavalue":{"value":{"amount":"+0.7368937134742737","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":"Q351736$7A1C2234-EAF4-4430-A04D-CF284449660F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39c4a375a1e696676e904b87e8222c55f5cfacf6","datavalue":{"value":{"entity-type":"item","numeric-id":2058570,"id":"Q2058570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99640f18089e4269384bcfb8fecb8a59b68a0e07","datavalue":{"value":{"amount":"+0.7173274159431458","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":"Q351736$44D2623B-E7FD-40FA-B5EF-BE773D39D91D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Conflict-preserving abstraction of discrete event systems using annotated automata","badges":[]}}}}}