{"entities":{"Q976261":{"pageid":978109,"ns":120,"title":"Item:Q976261","lastrevid":65794854,"modified":"2026-04-12T05:24:53Z","type":"item","id":"Q976261","labels":{"en":{"language":"en","value":"Nonconflict check by using sequential automaton abstractions based on weak observation equivalence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5722120"}},"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":"Q976261$E0CADBAE-499F-4CAE-A9D6-C41ABD30B414","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ad0150cac9aaac0fa93e96ee8d350108715e64b","datavalue":{"value":{"text":"Nonconflict check by using sequential automaton abstractions based on weak observation equivalence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q976261$4FFB3D1A-CED2-4C26-BA02-06462F738524","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f1523de2018b1c5676376b5aa930301510a2388","datavalue":{"value":"1192.93078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q976261$DA8A7E98-92C6-430B-A305-CFFC66674D4E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc740a195117ac458645e1990babb8ab50209912","datavalue":{"value":{"entity-type":"item","numeric-id":259428,"id":"Q259428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q976261$4A0308A2-5C20-49AB-B1CC-C216ADABE18E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc7b4e18466a688e3afd33ebdd99ae4041b25c95","datavalue":{"value":{"entity-type":"item","numeric-id":417569,"id":"Q417569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q976261$064F41A3-645A-4014-9E3B-31E928529A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7c0b8eda5df87fed1e881da856836b7c0f8feed","datavalue":{"value":{"entity-type":"item","numeric-id":351742,"id":"Q351742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q976261$30673EF6-B232-4CFA-978E-79C6240E110C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db0d903c36be200e735bcaf06d25299d9cc73970","datavalue":{"value":{"entity-type":"item","numeric-id":976260,"id":"Q976260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q976261$2194361E-3F9D-4055-BC58-D09213A434C0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"69a11602bb4f474f716dc259849d1837f4cd9e2e","datavalue":{"value":{"entity-type":"item","numeric-id":161901,"id":"Q161901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q976261$E76E415E-55AD-45B6-B1C6-D95BB7E1DA1B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1f3ce47aa4f0dc34b47bc79e3d35b38da1ee5e5f","datavalue":{"value":{"time":"+2010-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q976261$4BC6181E-2CAE-4584-9626-64D700146F2D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q976261$131173F9-E876-4EC3-86E1-1EEACF2C54A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1d1ec306e6072f89861e74f12dba9e600d6764c","datavalue":{"value":"93A13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q976261$44D1EC22-2AA2-4EEB-9639-A9F85F804BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a8ad18899f7daee4ed2b96373381fb2ababe12b4","datavalue":{"value":"68Q80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q976261$A6117D08-A80A-4B8D-9CC9-3F020C9568C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04be55a0c218b17b6c2f04dc99d0de2305e0afbe","datavalue":{"value":"5722120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q976261$C9D654E5-4B29-4A0C-9469-EBCADBAD432B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1760212da73e27b886ddacff18ea1d33e2f31fe5","datavalue":{"value":"discrete-event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q976261$99F9373C-B9C3-42E6-A040-D6E172BE8397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e9b637858c9ea1cf2410a6782dbdb802e723abb","datavalue":{"value":"nondeterministic finite-state automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q976261$140134D2-6396-41A2-80D2-D06233E8FE40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff95e4dbd32725ab2550baec29b8e3edaea05f04","datavalue":{"value":"automaton abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q976261$C554778C-5364-4536-A9C3-5506BBDF3D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86ff745acb23f5367c57220f7e82e4f14d8336ae","datavalue":{"value":"nonconflict check","type":"string"},"datatype":"string"},"type":"statement","id":"Q976261$6C697B09-55B1-4F8D-89F0-7EE082953E47","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":"Q976261$6B399F8A-A2D6-462F-BEA9-5B4B50FF6CF2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"79a02b8d290d56962573db7c50274a9584ea16ac","datavalue":{"value":"https://doi.org/10.1016/j.automatica.2010.02.025","type":"string"},"datatype":"url"},"type":"statement","id":"Q976261$E3E5AA41-BBAA-4167-8ACA-A540B9124612","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c7c71e0a527d85f3891698e9943cccee0dd20766","datavalue":{"value":"W2081177528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q976261$2D2B0982-4A1C-44D5-BB9F-D09767D484D5","rank":"normal"}],"P223":[{"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":"Q976261$90F75D73-7C3F-48B4-8E84-4C71C4F85B38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03a6186695a29cba794fe7e31dc9786c869f0ba4","datavalue":{"value":{"entity-type":"item","numeric-id":2465421,"id":"Q2465421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q976261$789474FF-79A6-4C47-AB7E-0F19C28D36F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aff915519e5873b3276e30e59df6a6b8cc65f40","datavalue":{"value":{"entity-type":"item","numeric-id":5274143,"id":"Q5274143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q976261$FF3E60D0-8FB8-4F46-B912-168CA546A165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e615632ea08fe7f0a323e35cb632d59ded1f542","datavalue":{"value":{"entity-type":"item","numeric-id":4385545,"id":"Q4385545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q976261$3422CDBF-E84C-4555-B5FC-5B87F0053882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ba21b180eb792c3fcdee8844aaf2cc94635fd2d","datavalue":{"value":{"entity-type":"item","numeric-id":3755310,"id":"Q3755310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q976261$097E5875-CCE9-48DB-AEEE-B92D96F375C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"290f48b0a9799a6a88eaf936bd2e9dddc89c78b4","datavalue":{"value":{"entity-type":"item","numeric-id":4978997,"id":"Q4978997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q976261$E95FAF68-9075-4175-994A-6D9D11F41058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9ad9a12288037035b29068d66caa22d1b35acd1","datavalue":{"value":{"entity-type":"item","numeric-id":5274234,"id":"Q5274234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q976261$18584B13-282A-4D84-AA9A-4CF5829C59ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0806fb681496566fad655db0a40418d191770ea","datavalue":{"value":{"entity-type":"item","numeric-id":1113863,"id":"Q1113863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q976261$02800FE7-CEDC-4B2E-844B-DF14A4C661D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a8150e0d8da6536f918e23d60fcfd7248e201fc","datavalue":{"value":{"entity-type":"item","numeric-id":1424973,"id":"Q1424973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q976261$61524E47-943B-4280-8B14-E76329FBC583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c30c928c5466779eee6d415e0675ea165098d5a","datavalue":{"value":{"entity-type":"item","numeric-id":1822944,"id":"Q1822944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q976261$7CC3F47E-655F-4E65-8C30-2B427B280213","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7b5b45b87d37fd26ed22c5429acc518f31a6bf3c","datavalue":{"value":"10.1016/J.AUTOMATICA.2010.02.025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q976261$3038D513-19E0-4302-AB97-B609514B6241","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8546b35387d57ba8b11eaf97a141178726bac87c","datavalue":{"value":{"entity-type":"item","numeric-id":529370,"id":"Q529370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7ded4a5c9f5a676eb7ebc894ddcfad88aa6e50f","datavalue":{"value":{"amount":"+0.7832215428352356","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":"Q976261$80988BF0-984F-420A-947F-9D32058D581C","rank":"normal"},{"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":"b6de3accf563d4ce0d801878097fc2d0629b2ba9","datavalue":{"value":{"amount":"+0.7690314054489136","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":"Q976261$8B5FFA64-C314-44D0-B0C6-FBB8864D79AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ae18fa8a6dc97fb2ee1b872715ae7db13c1078b","datavalue":{"value":{"entity-type":"item","numeric-id":1186853,"id":"Q1186853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f15fbf7ce31a2bda2e894c48d85edc8b3fe0f487","datavalue":{"value":{"amount":"+0.749710202217102","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":"Q976261$775127A8-EC24-417F-AD68-4CB9E6D46FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77f3fcf3ddd52feccb4ba9a43bd3b394c8d30caf","datavalue":{"value":{"entity-type":"item","numeric-id":351736,"id":"Q351736"},"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":"Q976261$72E7A58D-E90D-4FA1-9460-F4E84AFCE41C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f631fc725c3e7503863246f42e9cfabd53d8bb6b","datavalue":{"value":{"entity-type":"item","numeric-id":4763560,"id":"Q4763560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a6d519d1b174b75c98b02cd137abcdc0f6b2559","datavalue":{"value":{"amount":"+0.7227537035942078","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":"Q976261$BB1A92B2-02D9-4F4D-B741-BBF0CBBCA151","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Nonconflict check by using sequential automaton abstractions based on weak observation equivalence","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Nonconflict_check_by_using_sequential_automaton_abstractions_based_on_weak_observation_equivalence"}}}}}