{"entities":{"Q529370":{"pageid":531137,"ns":120,"title":"Item:Q529370","lastrevid":62558760,"modified":"2026-04-11T06:54:33Z","type":"item","id":"Q529370","labels":{"en":{"language":"en","value":"Nonblocking check in fuzzy discrete event systems based on observation equivalence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6720554"}},"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":"Q529370$E21BA0C0-8F51-4581-856B-9FF5ED38B584","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dbab3fe8af434468b24c7da408cb2999e89a6a3f","datavalue":{"value":{"text":"Nonblocking check in fuzzy discrete event systems based on observation equivalence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q529370$4EE562EE-EA51-4F40-94EF-8AA87534D97E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c1bdaffe600fe26424de4fe29d927d7558ee6ec","datavalue":{"value":"1360.68547","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q529370$A25DD792-016C-4E37-A34C-4DB310F157C2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"69d19259dacd2d0f478f5add200bc3fc279d630a","datavalue":{"value":{"entity-type":"item","numeric-id":529369,"id":"Q529369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q529370$6216FBAD-6B9A-46CE-B8CF-A732B1AF7114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c891eccf89f9dba63c3c6a086fc5ddb453c9694","datavalue":{"value":{"entity-type":"item","numeric-id":508594,"id":"Q508594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q529370$6DCDF965-D57E-4382-92FC-1F0BD269197D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"784d2dc06e2a3bb008e6a3a15801a0f0231d6262","datavalue":{"value":{"entity-type":"item","numeric-id":65161,"id":"Q65161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q529370$072B1137-A8C8-454F-A911-FC6B1789D7E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"46a30028c10f94c4944c801c86f2de5dd37da0f3","datavalue":{"value":{"time":"+2017-05-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":"Q529370$D04DE703-86AA-4A29-ADE3-2244BCE75E3F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q529370$D08335A4-FFF9-4C1A-BDA8-796BA928AD3E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9bdba0760fc7810ea4f4e0073782fd4b8ebad597","datavalue":{"value":"6720554","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q529370$70AA9B1E-FC1D-40DF-AA4A-F1600EE80028","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b0413c51983bae0aece1e3fbbd260b94e7b3985","datavalue":{"value":"nonblocking check","type":"string"},"datatype":"string"},"type":"statement","id":"Q529370$CCC14F99-F80D-4098-9E90-17ED6E876EE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e03afcf99b97377fb1d7953ee4b4c8b9c7863f5","datavalue":{"value":"fuzzy discrete-event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q529370$C3C88B20-C7B8-47E1-B990-666BBE912C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b08741fed28bd87c37fa83b771ed5a7269ca6172","datavalue":{"value":"automaton abstractions","type":"string"},"datatype":"string"},"type":"statement","id":"Q529370$49FBCCDB-ECB2-46B5-A76D-5D891CD778E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b8b00b3a23da6bd1f1e4eb057095a3ec54f5c0d","datavalue":{"value":"observation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q529370$C4F5B569-08C5-4F70-A019-C59C18580CF8","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":"Q529370$040165E9-A5D7-4FA7-925A-A1621379AEFF","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":"Q529370$923AA76B-DAF2-4986-BB3E-F8B39FB0F1A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"86e0adee0add28b4eba31752024ca32d44bd32a0","datavalue":{"value":"https://doi.org/10.1016/j.fss.2014.11.013","type":"string"},"datatype":"url"},"type":"statement","id":"Q529370$4FA104CF-9993-4D8C-BC32-B9CCA9CFB748","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"be6f22d6c3d2f49e73ee0d5cb423f325ea8628a6","datavalue":{"value":"W1971762305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q529370$901FF1D8-3388-49F4-9D6D-0EB3764629FE","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":"Q529370$60609615-6092-4380-9A53-02FD427726CA","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":"Q529370$9330615D-1F9F-4AEC-8034-CE85146E891D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f850ff4198e30943295d63b6b343cc063b2d362f","datavalue":{"value":{"entity-type":"item","numeric-id":4395809,"id":"Q4395809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q529370$5E61C8C4-9ED3-46A0-BA21-3C0287905253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd7526f0233d9ff546dd4983fba3da7c526a0912","datavalue":{"value":{"entity-type":"item","numeric-id":5267073,"id":"Q5267073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q529370$9197891A-A273-4D23-AEC4-3EF654A19129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a6f7bcb6602fc1f899b2f8d354cbca1f48d8a51","datavalue":{"value":{"entity-type":"item","numeric-id":2466085,"id":"Q2466085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q529370$9D3F1631-6F67-43DD-86DE-6D5BA3A97143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5410396923941310fceaa2db2b72dc6b468bb12","datavalue":{"value":{"entity-type":"item","numeric-id":2730277,"id":"Q2730277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q529370$EA8D72D7-CD11-42F5-9935-9BC4846F43F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c5be4688412a461313c80a64935f1365654bfd","datavalue":{"value":{"entity-type":"item","numeric-id":4337410,"id":"Q4337410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q529370$5A4C9A80-23DB-4433-9B4D-363D0B967D3D","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":"Q529370$8E330203-1632-4296-A3E4-69B885CDAB83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a6734883d75433b893dc35e0b3c7dc3b07fa254","datavalue":{"value":{"entity-type":"item","numeric-id":2290547,"id":"Q2290547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q529370$8DE7684D-3065-4DAE-9279-E041ADFA719C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dfd089fc85660618ae3a83ae1cd9bc94001d93f","datavalue":{"value":{"entity-type":"item","numeric-id":522738,"id":"Q522738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q529370$FFB61B45-4E53-4E7D-B93B-8BFD4E19510D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04014f6930091bf17e51024cc42f3ef11a27bee2","datavalue":{"value":{"entity-type":"item","numeric-id":4974152,"id":"Q4974152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q529370$1A7E0FDD-23EF-4B98-BCFD-BC3A9E6031A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb6047601974a744b53879e83222ebfbb0e9acc","datavalue":{"value":{"entity-type":"item","numeric-id":5928253,"id":"Q5928253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q529370$3D088CF0-CD58-4A4A-99F5-83639FEA6902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37cc968b4d7eceb6240743bb6ac8a7d125858523","datavalue":{"value":{"entity-type":"item","numeric-id":4791753,"id":"Q4791753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q529370$D27540B3-7C18-4A49-9CB1-2F94463738B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73fc9e90c5ee3972a410dc4276a1a88eef0dada4","datavalue":{"value":{"entity-type":"item","numeric-id":4852346,"id":"Q4852346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q529370$4ECB60D2-28D4-4627-967D-84FFBD1F441B","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":"Q529370$25FCD580-0143-434D-A3CD-7A6CC4B54100","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":"Q529370$D078B349-9EA6-4F82-BE2C-6157EC1CBD5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02c8cc7b4aa3aaf1d91376cd20519f72734fc19d","datavalue":{"value":{"entity-type":"item","numeric-id":714871,"id":"Q714871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q529370$BD4BE4DF-BA89-417C-94A5-BC1B4839A81D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0679235b3ec58bf6f48fe144232ab55a82927ee2","datavalue":{"value":{"entity-type":"item","numeric-id":1963145,"id":"Q1963145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q529370$24608594-34EF-47BD-A4DD-23E97C6E0545","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"191e077d4836219e777865035a704dbb486b9e94","datavalue":{"value":"10.1016/J.FSS.2014.11.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q529370$839FB657-7C65-49F8-B298-79CA90F1ADB2","rank":"normal"}],"P1643":[{"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":"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":"Q529370$765AE808-2A03-48C5-AA46-A54B7C4EE546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4a52ccc2b04464f7703ed88e30ba80c1e18bcca","datavalue":{"value":{"entity-type":"item","numeric-id":714871,"id":"Q714871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c103235b999e60edbf6d1f12c3f39d54ef31d8cb","datavalue":{"value":{"amount":"+0.7652339935302734","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":"Q529370$CEC10EE7-2F58-40DA-B9B2-3008ECC196E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e49aa6164f94ad1fe8fe118c25112d19041fdb50","datavalue":{"value":{"entity-type":"item","numeric-id":5319715,"id":"Q5319715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51bd59c0c2d8039050d29a0263bd723ea4380eec","datavalue":{"value":{"amount":"+0.7599687576293945","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":"Q529370$A328E885-E64F-47EF-AD29-6B3D158802B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b81b733a877b8f03f5545b9539f6a2b877243be","datavalue":{"value":{"entity-type":"item","numeric-id":2466085,"id":"Q2466085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c5576945a66b0ed5188ffe4e6fd9e64c2f33598","datavalue":{"value":{"amount":"+0.752135157585144","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":"Q529370$B576F527-7C94-4664-9A24-3B9328DA8378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"497c89415ca795bf1299c45440f3defa2c5c2fb6","datavalue":{"value":{"entity-type":"item","numeric-id":522738,"id":"Q522738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d25294e4c5d154fb1433b324da4072ca88879e4","datavalue":{"value":{"amount":"+0.7446756362915039","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":"Q529370$1D6458A6-79A0-4B5A-A723-5C20942A2848","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Nonblocking check in fuzzy discrete event systems based on observation equivalence","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Nonblocking_check_in_fuzzy_discrete_event_systems_based_on_observation_equivalence"}}}}}