{"entities":{"Q4571986":{"pageid":6601575,"ns":120,"title":"Item:Q4571986","lastrevid":41612788,"modified":"2025-05-06T09:18:05Z","type":"item","id":"Q4571986","labels":{"en":{"language":"en","value":"Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6898409"}},"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":"Q4571986$E423C540-6F7B-4C65-81B8-48050DE6AD46","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e855bfc1ae8a6f94b47fc3baf4a865f8127579a0","datavalue":{"value":{"text":"Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4571986$751D7CC0-C96E-4FCB-A40F-C8A8830986D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bd858487d4fd061364229333888d3b9a33e852c0","datavalue":{"value":"1401.68186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571986$7BA299D6-553A-46FF-AAAD-E6DD1D74FD7D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8ee7129c29cb6bc2595f907b772398a56479fed6","datavalue":{"value":"10.1007/3-540-63165-8_211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571986$4BCC56F4-4FD3-4EC1-8D0F-89F6322AB5DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7904a434e6c67a0a42ab8a275ad588430565729","datavalue":{"value":{"entity-type":"item","numeric-id":537949,"id":"Q537949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571986$0A8F7BD2-53BF-4D9E-A71B-C342624B05CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"48768ae81aa5edcb5110bd8b53b5885bdbc25ee1","datavalue":{"value":{"entity-type":"item","numeric-id":515662,"id":"Q515662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571986$FA8DD76F-847E-4476-9BEA-40CE6316A3FF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571986$08A6B444-7D44-4523-A4E3-EDEBF1C000A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a2469e9547180e8da9b9320d063ac8110297525","datavalue":{"value":{"time":"+2018-07-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4571986$D902AC1C-240C-4CA0-AC5F-3E15A9454FF4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571986$2546A667-001B-4CEC-9B96-C8E8F4FCC3AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571986$C610F428-63DF-42A8-B171-49D3D2B5EF79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571986$A99970C0-5A39-46AC-BCA0-BE902A74BD68","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dbd85dd6fa2baa52db73c19a6a368c969dd407ca","datavalue":{"value":"6898409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571986$9EE43835-3072-4A8F-8676-2380FE2D791B","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":"Q4571986$DB7DB9B7-5BCE-472E-B4D9-51B31D27C4A2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5f6d0f53742f7761b14c51e9b3ef9cafa2801f52","datavalue":{"value":"https://doi.org/10.1007/3-540-63165-8_211","type":"string"},"datatype":"url"},"type":"statement","id":"Q4571986$29096E27-D44E-4EB5-95BA-B05C6924E7F4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"04269933632b2f7531d14dc5f04440f9c71636cd","datavalue":{"value":"W1574761428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571986$4DDD1DAA-3953-401F-A010-0B93DC71C7C1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dca640f3efd730e5f875de06c5db75843c006cff","datavalue":{"value":{"entity-type":"item","numeric-id":1923094,"id":"Q1923094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571986$4AAA747F-E746-4282-B537-0F8565E6385F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeb33de39adcd013a90106b3534dea2849e02335","datavalue":{"value":{"entity-type":"item","numeric-id":4763590,"id":"Q4763590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571986$3372BD66-B428-4818-B766-0D7CBBE692C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571986$CB139AC1-BE9E-4DF2-AA53-3B68D9B5A296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8c2a20598003049952d3358bc03d221f8c30dee","datavalue":{"value":{"entity-type":"item","numeric-id":4809151,"id":"Q4809151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571986$EFE04BE0-B47E-4558-9435-529275FFB685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54e7a108370169c16838733bc613c6abdf38f709","datavalue":{"value":{"entity-type":"item","numeric-id":6044114,"id":"Q6044114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571986$4C92AA8B-50AD-4AA9-BBE1-E47CC843A35A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca1f7c77caeeaf6f88e52136397f517769aac8c9","datavalue":{"value":{"entity-type":"item","numeric-id":1960526,"id":"Q1960526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571986$A01879A4-C395-40E8-BD04-5096C0DBA947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a05f05f61b46a8fd8bda9fb47a75f81f498f2f8","datavalue":{"value":{"entity-type":"item","numeric-id":3657436,"id":"Q3657436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571986$BAE2EC18-4765-45BC-96FA-A93159152AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a0ef26b2215f96e6f153cce826f38fad4dfe350","datavalue":{"value":{"entity-type":"item","numeric-id":4222871,"id":"Q4222871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571986$7398EB8B-F482-4B9E-BE29-1705B4F8B333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e1cd4c2e45e61ad45ad2f7a29f6c1dd31ffaa91","datavalue":{"value":{"entity-type":"item","numeric-id":1908353,"id":"Q1908353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571986$9D89BE8C-62E6-4EC0-8CA3-DEC62EBD154D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d46d53aaa78e4e1f3286eef514e163c5ea4ffb6","datavalue":{"value":{"entity-type":"item","numeric-id":5534924,"id":"Q5534924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571986$201058A5-AB0A-4CBF-ADC4-534513C7C406","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c00cae722b12f7a01cc12312fec47841441c4121","datavalue":{"value":{"entity-type":"item","numeric-id":1960526,"id":"Q1960526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8550900687c702b342ece73642ce7dc629933d2","datavalue":{"value":{"amount":"+0.99999964","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":"Q4571986$0291D355-83DB-4D8E-B317-4596B567DC7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d35e5285678827cbbceee9ed5a5efd863a1e6173","datavalue":{"value":{"entity-type":"item","numeric-id":5897502,"id":"Q5897502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7a0ba0444cbfa5b19bc20e6ab79dacbe615a479","datavalue":{"value":{"amount":"+0.8663086","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":"Q4571986$C2962EC2-316E-4195-8D6F-76BD6E9E5FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"337b9dbe9d89a15e6266618126b12dbcb2e68051","datavalue":{"value":{"entity-type":"item","numeric-id":2946655,"id":"Q2946655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16ef18c8cfce7031cdb48126b9b82e4f7a796494","datavalue":{"value":{"amount":"+0.8658626","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":"Q4571986$CF2332A4-AD5A-470A-84AE-2E5CEE78E96E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"668834c8aa0ca84a733fac36729bbe7a7180cd0c","datavalue":{"value":{"entity-type":"item","numeric-id":3564025,"id":"Q3564025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9157a04af46057379fb21fb6141971a70d00e2c2","datavalue":{"value":{"amount":"+0.8621988","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":"Q4571986$7B53E784-0276-40F0-9BDE-DDC22EFA5659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ada196e9837c0535f138f029f03e52b9c9a108f1","datavalue":{"value":{"entity-type":"item","numeric-id":3536951,"id":"Q3536951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52542b87553d426994b1e6175ee0bcfa7932b7d9","datavalue":{"value":{"amount":"+0.8590444","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":"Q4571986$90B58C7C-037D-4458-8D4D-1BA728B9B47B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a446cfb5ece5cf4999e45d42785b5ab65763b70d","datavalue":{"value":{"entity-type":"item","numeric-id":5465847,"id":"Q5465847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c765be397f3d219f330948d46c6234a251859c52","datavalue":{"value":{"amount":"+0.8579354","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":"Q4571986$120D8063-D664-44CF-B1F6-E03C45A46E74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"109dfac64b21362e70762aac951c33d36409eac0","datavalue":{"value":{"entity-type":"item","numeric-id":5758055,"id":"Q5758055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cef8e14c5740a861169727cc822b9b994a32f298","datavalue":{"value":{"amount":"+0.85463405","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":"Q4571986$F997398A-2C44-4303-9523-46579F905F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67f5d04225cd8119c501c0fe63a8e4d4839ea4ee","datavalue":{"value":{"entity-type":"item","numeric-id":3623010,"id":"Q3623010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cef8e14c5740a861169727cc822b9b994a32f298","datavalue":{"value":{"amount":"+0.85463405","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":"Q4571986$7B7DE91F-7AE2-45FE-BF21-1EE93BD8BE7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8185c638f112cbd253c828f2a16aeebeda3e4a4","datavalue":{"value":{"entity-type":"item","numeric-id":2729082,"id":"Q2729082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a4ba945fdf90bf9b52de506f0ea5f757ced47c7","datavalue":{"value":{"amount":"+0.8450899","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":"Q4571986$70640B05-3FB3-4479-B141-9B91C0D8AAF0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4571986","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4571986"}}}}}