{"entities":{"Q5246728":{"pageid":7276296,"ns":120,"title":"Item:Q5246728","lastrevid":94757807,"modified":"2026-06-05T07:38:03Z","type":"item","id":"Q5246728","labels":{"en":{"language":"en","value":"On reachability for unidirectional channel systems extended with regular tests"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6428631"}},"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":"Q5246728$B044FEF5-BFA8-411F-9CDE-C426C04C4935","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"16f9ef7cf71f84b1a6076e1f0e9ea018c52d9cd3","datavalue":{"value":{"text":"On Reachability for Unidirectional Channel Systems Extended with Regular Tests","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5246728$DFB44544-B083-44C1-BD0C-BBDA0DD87330","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eca691c7086a426afc2b700ec3ba8c52887b2a0c","datavalue":{"value":"1391.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5246728$6DA1D4A2-E451-4E48-A76A-8D675E15C911","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"482c1c96ef7aff93b4ce63bf4cf073354c1a86bc","datavalue":{"value":"10.2168/LMCS-11(2:2)2015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5246728$C0CB2632-24AD-4B14-88BA-34FF3255E658","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5246728$D6A9CB72-F4AE-4F70-92E8-83FA8B22CDA0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ddb9fa8bd34fdf8ac927b9d1418db509264e54a","datavalue":{"value":{"time":"+2015-04-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5246728$05F8F4BA-5C96-43A5-83A1-567A70235CF6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0b7da4eaf5b8a0c27bf412c9f59709b0c223ebd6","datavalue":{"value":"https://arxiv.org/abs/1406.5067","type":"string"},"datatype":"url"},"type":"statement","id":"Q5246728$FB33F476-31F5-458B-A116-4FB984E59B27","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5246728$A29147DB-C2C5-4360-A965-7D6E4893EF03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5246728$E8BBC12D-A95F-4C53-8336-6962CE0E1AA7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71223bc943599be2540ebe093789ebfaf1781cd4","datavalue":{"value":"6428631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5246728$BBAC383D-6490-47BB-9720-901D3A05F3DA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86f0478f33ab4d395bc21e53f2de2ad666e2e0b6","datavalue":{"value":"lossy channel systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5246728$37E601DE-5670-4810-A00B-398B02E7CA1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5abc03edd0b93149f5e1d2c2addade2b8c2dcd38","datavalue":{"value":"Post embedding problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5246728$7B88F70D-6BF1-4912-AC84-95A8CBFD0FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4e42b8686ce338afcf4053cbe89d378e3d7c071","datavalue":{"value":"automatic verification of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5246728$F3D6AFFE-F3FA-4001-BA65-651BA949D9EC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34b34490b42e542c961f98f9ba6d799768378b70","datavalue":{"value":{"entity-type":"item","numeric-id":672325,"id":"Q672325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5246728$F9B38126-D60D-4E5F-B1B0-E3FBCDF9913D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d17d50640ebd25880d8207ef1f2991159a63465","datavalue":{"value":{"entity-type":"item","numeric-id":2354595,"id":"Q2354595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5246728$E5829BDE-23FF-4F9B-9934-EC2BB01F643D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a4493e58bf4fbc540cfb048ba7a90aea2a6a229","datavalue":{"value":{"entity-type":"item","numeric-id":1045896,"id":"Q1045896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5246728$C9FB1830-04AC-4B1F-AD15-2586BD0E2A7F","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":"Q5246728$60F69E6B-694C-4C93-9427-97171443D223","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"beacd78a4d79d67430e5944c924489ddfb272506","datavalue":{"value":"W3104087631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5246728$174E4BED-446C-4D59-95FA-AB8F36934235","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"971e60235ac2bd6d539a5d767c31a266d5af3d0d","datavalue":{"value":{"entity-type":"item","numeric-id":2915167,"id":"Q2915167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40ed9b81600eb78feff4c96cccc840e6ad5528fe","datavalue":{"value":{"amount":"+0.9264516234397888","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":"Q5246728$859335ED-5DB9-41AC-83F7-C549178CF067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75e9e1d89ac2124d6e85a62487ad70e95feda078","datavalue":{"value":{"entity-type":"item","numeric-id":5458840,"id":"Q5458840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52b167841a443680bd708d7d758833120a319ea5","datavalue":{"value":{"amount":"+0.7726321220397949","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":"Q5246728$28ADBA30-598A-4674-96B6-BB7C249A4DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05d1cde502c2717d0ec1f1da0842a5ba6f90af1e","datavalue":{"value":{"entity-type":"item","numeric-id":675223,"id":"Q675223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80732a39cb8eadca923bbf7ce8a50aeae696be56","datavalue":{"value":{"amount":"+0.7612258791923523","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":"Q5246728$A10951E5-70DF-4057-A448-9BC5B3714C6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40cbce4661ac45d3673879e9dee80abdeec60088","datavalue":{"value":{"entity-type":"item","numeric-id":4635872,"id":"Q4635872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c066b25edcc15998f36d301e70070a40192b3faa","datavalue":{"value":{"amount":"+0.7570165991783142","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":"Q5246728$2F912E5E-44CA-4E6B-A946-640C8F8D62EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbb492f3a744c276b7ffd4c481bb1baf3a481b0f","datavalue":{"value":{"entity-type":"item","numeric-id":5894957,"id":"Q5894957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"401fcfc4d215cb07dd7adc3f058fbe225f703982","datavalue":{"value":{"amount":"+0.745274543762207","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":"Q5246728$32BC3C7A-8D9A-4549-B23C-888413E9D679","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On reachability for unidirectional channel systems extended with regular tests","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_reachability_for_unidirectional_channel_systems_extended_with_regular_tests"}}}}}