{"entities":{"Q2453549":{"pageid":2464292,"ns":120,"title":"Item:Q2453549","lastrevid":44112717,"modified":"2025-11-20T02:10:02Z","type":"item","id":"Q2453549","labels":{"en":{"language":"en","value":"Verifying of interface assertions for infinite state Mealy machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6302129"}},"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":"Q2453549$1E9AED68-D57E-46D8-8E1E-E00DB21867B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4b0cb5636422773588014be33ad670cf2e1a284b","datavalue":{"value":{"text":"Verifying of interface assertions for infinite state Mealy machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2453549$D5F3F835-4D61-43DB-A856-30D75185B3CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"340e39054dc9a3c696d51a4807bf745c34ac74d1","datavalue":{"value":"1410.68218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453549$8F2F035B-F52D-4543-B0C5-4CB4DD3B06FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8fe0ba64045f6b8bc93a417d90524c47759b2541","datavalue":{"value":{"entity-type":"item","numeric-id":213032,"id":"Q213032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453549$053EBABF-F2B8-4D61-9EE0-636132975BD9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453549$8597C4CB-35FC-48EF-9C68-B3219A7E280F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7deb189b65cc3fc27b859d71d92363347a0068f0","datavalue":{"value":{"time":"+2014-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2453549$1A7E5E87-19F1-42E4-9A2A-303E3C44BD53","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453549$EFF1C9AC-0D38-48A9-BB5D-B6022EE3E3D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453549$1BDACC66-9868-4AF7-B854-7ADFFB1643D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01006e893f06298937a9eb72e7b92bf07dd75e63","datavalue":{"value":"6302129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453549$C3E1B50D-2356-42A9-B966-2D03E2761063","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be986b582b93a797489af5243241eec92dee9a5c","datavalue":{"value":"interactive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453549$EE2DE401-C420-4E41-AD45-75BFC7F77D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93a66f1220d992efb68474c852ac8f53ac36f5b9","datavalue":{"value":"I/O-machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453549$F1FCAD2F-A287-471F-8B13-70F498457ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453549$1DFFA779-5EB9-4D69-A211-D61CBDEB858C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453549$EF3A4547-594B-472D-B70B-6823DA44A39F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09ca32413f1d623ef3eb8d4a14ac759e926ea85f","datavalue":{"value":"invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453549$9C4D7F95-54F4-4D0A-8CA1-78323C21C5D5","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":"Q2453549$F51E1714-5BB2-49BE-BC0F-3911413B4EC6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bdc7e40687f3dda369c660c20440abf9ac38660c","datavalue":{"value":"https://doi.org/10.1016/j.jcss.2014.03.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2453549$852F5622-D42C-4210-AA9A-C8EC70ED3B11","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"60b8d701ed77c8ce6326a98f810aa1690962a947","datavalue":{"value":"W2060440861","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453549$8457DCE5-6187-4A40-9D88-7745F4F4D198","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"76b53f1aab68c9ed8f9c48e101b9b1d77740c7e7","datavalue":{"value":{"entity-type":"item","numeric-id":3932269,"id":"Q3932269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453549$C9A09257-4265-4FA4-A2C8-CF01656E6602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b06b2fdac97c9732711ef16445649809b33affcb","datavalue":{"value":{"entity-type":"item","numeric-id":2725941,"id":"Q2725941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453549$C5CF12F2-05C1-4F8D-A1BE-E9F21179894E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab1bb34babdf0c927ff134b988da5dd6efec626","datavalue":{"value":{"entity-type":"item","numeric-id":4928700,"id":"Q4928700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453549$656419CD-C2EB-44F7-816F-5F4A980D6993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eca8836ee5e7075a262ff869c320e08fa5e69de8","datavalue":{"value":{"entity-type":"item","numeric-id":5448764,"id":"Q5448764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453549$35B4589D-1CD6-401A-80F7-568B000511CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2355a85e62d7725dda7b4521a79f3d709dba54fd","datavalue":{"value":{"entity-type":"item","numeric-id":703844,"id":"Q703844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453549$5746BA81-3372-4BCC-B9A2-A0BDCB49C887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29787887fa8d45f32e1f8ad811aaa0281ddf9680","datavalue":{"value":{"entity-type":"item","numeric-id":5717035,"id":"Q5717035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453549$F09BF66A-8B64-4438-93D9-ABF96558784F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09765f946ad7b1edd8e4c2f3a7a059a83c308a33","datavalue":{"value":{"entity-type":"item","numeric-id":4928705,"id":"Q4928705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453549$34F33A16-CDA9-4F17-BF19-1BDA924F1741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7197b40740fd62bc19bd0b9a67e55bc4cdfa72da","datavalue":{"value":{"entity-type":"item","numeric-id":4246260,"id":"Q4246260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453549$11B99813-4044-49EA-A868-BEC2B232D9AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fde949ec0edc78cafc417dc0d661c3b24c05302","datavalue":{"value":{"entity-type":"item","numeric-id":4103509,"id":"Q4103509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453549$CA090A85-F1E7-43D7-98FE-88BC00832E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43522741a5881651813aecfed6b174a4b945638c","datavalue":{"value":{"entity-type":"item","numeric-id":3969890,"id":"Q3969890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453549$4F161045-8441-458D-9566-C784D83C4C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47f33d2685766a95633b4916b48dee58ae734576","datavalue":{"value":{"entity-type":"item","numeric-id":4928702,"id":"Q4928702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453549$019A89CA-41D9-4397-A8C8-4ADEA566C0E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f4533a245c21db753af232c184081d9b98ae22d","datavalue":{"value":{"entity-type":"item","numeric-id":3833630,"id":"Q3833630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453549$080EC328-90A5-43C4-AF49-197AB4705486","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"97863011aa386a41c60f1a0c78f9800c0f996a2d","datavalue":{"value":"10.1016/J.JCSS.2014.03.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453549$47B9DBEE-FB1D-4B7B-A0AD-1BAF69E36732","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ab708b87e2154529b600539565947a2ae82c8e5","datavalue":{"value":{"entity-type":"item","numeric-id":5292626,"id":"Q5292626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0b2f1fcd259bf628d68f84fb151449e39e793f7","datavalue":{"value":{"amount":"+0.8844227","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2453549$18CBE562-5D77-4FBE-8ADC-671B983055E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f1d892fafc997bf4e518fc8e8e79e6da6074ef5","datavalue":{"value":{"entity-type":"item","numeric-id":5703797,"id":"Q5703797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5cbac52e6d0e09a9166cd1e8cad507a60d8043e","datavalue":{"value":{"amount":"+0.884127","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2453549$9EC686D5-6A52-4AB4-B60A-76F428CF99D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fad5bd2fcbb2862133e818d642649943dd29202a","datavalue":{"value":{"entity-type":"item","numeric-id":4737366,"id":"Q4737366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8b84d5ce2cdd48662b51b2fc51316b6ded17464","datavalue":{"value":{"amount":"+0.88336235","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2453549$FE4EE5C3-27D3-4A99-95B1-E9CE0AE5EC19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f255c8930eb9a924b316e45efef096ffc92973b5","datavalue":{"value":{"entity-type":"item","numeric-id":2723916,"id":"Q2723916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6def1ad248dbfa82cb2239a7e288184de4ec9759","datavalue":{"value":{"amount":"+0.88272023","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2453549$D8242D15-E6B1-4566-AA97-490CFDAD90A0","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":"b4079b1b5198b7fa506c6d3928854f9386681098","datavalue":{"value":{"amount":"+0.8817823","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2453549$079B02D7-708F-4948-B1C9-67F3843705A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c895a9cbb43a2cba041157fda7dcbfc7f9f01f8","datavalue":{"value":{"entity-type":"item","numeric-id":4817540,"id":"Q4817540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc2e076f44a7875d8cbe68908699fa6807820ba9","datavalue":{"value":{"amount":"+0.87987787","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2453549$F5E8099C-F76F-4310-8BB3-E6695EDF78CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"747262510cb6b2d1e886a4e3f4a91d7ce069382a","datavalue":{"value":{"entity-type":"item","numeric-id":4818811,"id":"Q4818811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"501631f76d656792a1cf44c9518ef6bf5e1af67c","datavalue":{"value":{"amount":"+0.87398136","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2453549$CC59F2FE-DE92-43D3-B41E-AA3A60AD1C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5715d89a80cfd073f9a63dc7ca5539a266f78c1","datavalue":{"value":{"entity-type":"item","numeric-id":1377904,"id":"Q1377904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"688b213900bec0d6447a5537c66ce3451c411921","datavalue":{"value":{"amount":"+0.8727324","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2453549$5760759D-A552-454A-A38A-A08D601C00E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93c5a5cedb253aa37578ec197c7e563a953c49be","datavalue":{"value":{"entity-type":"item","numeric-id":4808811,"id":"Q4808811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"857ad1ca653f107edb5b9cec48256334d7cde4f4","datavalue":{"value":{"amount":"+0.872154","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2453549$56CA52AA-587E-41F2-B1FC-B45C55BB6C03","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2453549","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2453549"}}}}}