{"entities":{"Q262429":{"pageid":264196,"ns":120,"title":"Item:Q262429","lastrevid":77581361,"modified":"2026-05-06T09:34:54Z","type":"item","id":"Q262429","labels":{"en":{"language":"en","value":"A framework for compositional nonblocking verification of extended finite-state machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6560833"}},"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":"Q262429$F2133650-6392-4FB0-9FB6-EDA827758FB1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"65ad8d60a7e275573c094fe226ffe91cc44506df","datavalue":{"value":{"text":"A framework for compositional nonblocking verification of extended finite-state machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q262429$F08DE109-E365-4A60-B3AF-0A854BA94819","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f0d961d2bb1718c4e1b62f658e579324f926664","datavalue":{"value":"1333.93169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q262429$F861A60F-0929-4233-AD49-131DF59189C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2872b87849f89c8a14a752a2ac109c0d8a6ecc81","datavalue":{"value":{"entity-type":"item","numeric-id":262427,"id":"Q262427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q262429$DB0A771F-E01E-4C40-9A1B-DD50AF23F1D0","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":"Q262429$A9B3B997-1CBD-4988-BDA5-902994701F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4d8ba48e1c56bc172b89849eace0a6adbe1a054","datavalue":{"value":{"entity-type":"item","numeric-id":503185,"id":"Q503185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q262429$56F21107-9115-4272-A646-1B8FDD1A4E2D","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":"Q262429$1D0607A6-100A-44C4-8D5B-9D59C57F8848","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7213fba6ce2ab87062d0193cc625b72bd3806b5","datavalue":{"value":{"time":"+2016-03-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q262429$F9915DF7-C95C-48AA-B7BD-0245AFD20EA8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c9215c14b47f175a5480397a1272c2f833f7fb2b","datavalue":{"value":"https://hdl.handle.net/10289/10146","type":"string"},"datatype":"url"},"type":"statement","id":"Q262429$5FA9B338-781B-4996-A8B7-F5734774ECAB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q262429$A770075B-E001-4E16-BFE0-83476ECB307F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1d1ec306e6072f89861e74f12dba9e600d6764c","datavalue":{"value":"93A13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q262429$AFACA4AD-C1F0-40C8-9506-8FFFB34B92D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"239a4a174af03c82b61364f762873d53ef0a37ef","datavalue":{"value":"05C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q262429$69B91647-E23D-44FD-8DD8-75E8136FDE75","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"83d15e2b474792b742e223b06fd88dc9f03aeb81","datavalue":{"value":"6560833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q262429$E919A77C-81B7-4253-A7C0-386577E6DD8F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e57e5e1e0aa2eb64654b228b3641eb42a51b9c8b","datavalue":{"value":"extended finite-state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q262429$2FA88357-C2C4-4D62-8C0A-84E3C39F2DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q262429$84F52113-6928-43A0-BF62-56AC08B0852B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4588dabd08163972eef8c79d1133151daf9e8f70","datavalue":{"value":"nonblocking","type":"string"},"datatype":"string"},"type":"statement","id":"Q262429$7ECF1AC7-433E-473B-8A21-1148FB0C7A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdad6c7f5be84f5ed04215b5cce5a2a5c8dc0aec","datavalue":{"value":"compositional verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q262429$FA19E23C-8903-4221-A1B1-B91F2E30DADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c26fd270e13d494fd7d56f0145a019a715aa825","datavalue":{"value":"supervisory control theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q262429$87DB49B2-E580-4A61-B55E-8826A40CE521","rank":"normal"}],"P1463":[{"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":"Q262429$A6B8FE5D-2488-41D6-A11D-99A44E9D4CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fde14699ec3921b2ddfda23b9fc31ea095df40a7","datavalue":{"value":{"entity-type":"item","numeric-id":21011,"id":"Q21011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q262429$E8A307B3-8198-4459-A66A-86255C51F75D","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":"Q262429$364F7D23-96FC-4D68-BDFC-5485BEFD1889","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"330f9ed56bd113e4383337a7f3561fecf22255a4","datavalue":{"value":"W1930392193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q262429$A599877B-E769-40C4-8112-0E21186D9382","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q262429$0E8C319C-431F-4353-8022-8CE5458EAB5F","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":"Q262429$3B229E13-6377-4992-A088-5F3C3492E686","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":"Q262429$36C837B1-FEFF-4169-AE9A-8628A2A91D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a582208fcd11f765e61b0b568f3408400094182","datavalue":{"value":{"entity-type":"item","numeric-id":4037383,"id":"Q4037383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q262429$E88A564B-6BC9-4FE4-BCF4-863279467598","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":"Q262429$DA744D56-4B69-4C1A-A4C8-A09BE2961283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"672be30d9c0fd1bb08a1fc6131d1506ec245277a","datavalue":{"value":{"entity-type":"item","numeric-id":4830107,"id":"Q4830107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q262429$02B29880-879F-4751-BD18-5E9E7D599D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e76407dbf6417ecc2d7078267d9ef5214e71eed","datavalue":{"value":{"entity-type":"item","numeric-id":5353290,"id":"Q5353290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q262429$9BFB42EE-F961-4058-A553-C3A06CBE51CB","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":"Q262429$4D1B8CEB-366A-4854-807B-718F68D9AFD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f882972e0d4020177d8ec9773323d710a3e89a","datavalue":{"value":{"entity-type":"item","numeric-id":3141897,"id":"Q3141897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q262429$3D825EA3-2AF8-4148-99AD-E5CB0C8712CA","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":"Q262429$A09FD6E0-7E0A-415E-9ECE-F218CB4E7349","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":"Q262429$F9201F61-40CD-4700-9854-456F3C40E5A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8706db1f116df6d69a8f10c17e2075c568b8baa","datavalue":{"value":{"entity-type":"item","numeric-id":450726,"id":"Q450726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q262429$05AA0B5D-9DFE-46A6-A4B6-E5F99512D56F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ffa26953e7128774dbb4f3b2383eb282276ee12b","datavalue":{"value":"10.1007/S10626-015-0217-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q262429$45701FD2-1CA1-4102-9B93-292E0E280301","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":"327b05bbb0d268acb11213d602a5814933c09544","datavalue":{"value":{"amount":"+0.8137062191963196","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":"Q262429$21C2C7FA-6253-44A0-A9F9-E6797EFA7B24","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":"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":"Q262429$E0ECB00E-AF62-47B5-997F-DC0C63BD477A","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":"8b526860978b1be2466eea84c02b31830271c023","datavalue":{"value":{"amount":"+0.7503641843795776","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":"Q262429$54075835-993D-4C20-AC23-FC8CD725B661","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":"08d00ab6241f1012b7648c0081b5f29392b2f1ea","datavalue":{"value":{"amount":"+0.7333959937095642","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":"Q262429$A5E892E9-3B76-43B1-9511-E2CCBFEB9437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11a3d20293710e09f9c03996b39f0b8abcb84fcc","datavalue":{"value":{"entity-type":"item","numeric-id":4494394,"id":"Q4494394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c470d138964f6b4aefbb72904fd9b6152aaa7f6","datavalue":{"value":{"amount":"+0.7154750227928162","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":"Q262429$ECD165BA-9766-4817-A5CB-74ABD325EA37","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A framework for compositional nonblocking verification of extended finite-state machines","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_framework_for_compositional_nonblocking_verification_of_extended_finite-state_machines"}}}}}