{"entities":{"Q3090842":{"pageid":3101557,"ns":120,"title":"Item:Q3090842","lastrevid":85752854,"modified":"2026-06-03T11:22:38Z","type":"item","id":"Q3090842","labels":{"en":{"language":"en","value":"The\u00a0Decidability\u00a0of the\u00a0Reachability\u00a0Problem\u00a0for\u00a0CCS!"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5945203"}},"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":"Q3090842$36EC4046-4FD3-4AAE-920D-B791B7181182","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e54bfdbc0926356c0fdb656c0fe7a4e3b4bce691","datavalue":{"value":{"text":"The\u00a0Decidability\u00a0of the\u00a0Reachability\u00a0Problem\u00a0for\u00a0CCS!","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3090842$43B92E1B-FE7D-4A03-86FB-839B5BD8B0ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ec2a20c441951d658a000f9f29a3fe59c6d152a","datavalue":{"value":"1343.68169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090842$B6B67E1E-D080-45EF-8F30-4DC8BB9A97E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cfbe84301cc4e2c0ce2ada0bb9b60fbe0f1e71a1","datavalue":{"value":"10.1007/978-3-642-23217-6_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090842$E93A4435-876B-4889-9EDE-D029C124F6DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"677434b51417c0725ddf9ecb80802c4bcb2e3ad6","datavalue":{"value":{"entity-type":"item","numeric-id":2894569,"id":"Q2894569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090842$E339AA0E-C7DB-4760-9C3D-FCB6F49CEE90","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3d4b52f40151daea00ff3da0acb2c051d987d247","datavalue":{"value":{"entity-type":"item","numeric-id":3090816,"id":"Q3090816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090842$71F38BB7-210B-4775-9F65-A1CF01A01D7C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d7295b9347873304d294896a31c0caaf61226a3","datavalue":{"value":{"time":"+2011-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3090842$06DC23EE-DF3F-4320-8D68-5ED8621B217F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090842$0CB44A3B-AFFB-46A2-B4C0-6B4913558945","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6d8b92358286861ad4a1beec81a1ce0ae7ccef7","datavalue":{"value":"5945203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090842$9CD87403-F40B-4796-9A6B-5DB3438688C5","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":"Q3090842$540658BA-C832-42C4-ABC3-0D10E92EB056","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be557d0fed575130626fcba2a6ad8abd14223b11","datavalue":{"value":"https://doi.org/10.1007/978-3-642-23217-6_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q3090842$DFF89559-52F9-4074-928F-7ADB6ED0B51E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c472e49aea95e01a2bdbd552cd57e0c0b34e31c0","datavalue":{"value":"W1821089671","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090842$7FAE9C0F-C494-4BBD-95D4-BFE6FF367C7C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c68f763a5bd1f795db9b678478162b658ad5f7e3","datavalue":{"value":{"entity-type":"item","numeric-id":3541031,"id":"Q3541031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090842$A858606F-6332-459D-8FD3-959FA4BCF94D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bb3f6c1f8508a1ad9f6d76b676e4b1a7c379e77","datavalue":{"value":{"entity-type":"item","numeric-id":3638083,"id":"Q3638083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090842$782F2495-9B5C-4B67-8363-3996050B1F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0879b3bf301e2f1dc4a91fca8d086e0a6b1a204e","datavalue":{"value":{"entity-type":"item","numeric-id":3498448,"id":"Q3498448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090842$95B1BCA1-C6A6-45F8-8863-239099601793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a8a0a31adbc4ad3fe24c5cad137e68279b141e9","datavalue":{"value":{"entity-type":"item","numeric-id":3617733,"id":"Q3617733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090842$4AF6EA9C-42ED-4B78-B52F-58010759DD0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b143616a2682ba929d1857fc48124930111bdcb0","datavalue":{"value":{"entity-type":"item","numeric-id":4449170,"id":"Q4449170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090842$97F16466-2A92-4FA1-A201-FCF2AA34F695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ec3148634b5e234fdf638161d0bb64b7dc2c78f","datavalue":{"value":{"entity-type":"item","numeric-id":5466471,"id":"Q5466471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090842$8A748C29-E492-4234-8D46-4847DD3ADC72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5831bc8a84b158719777b6adeafeb87c8785a92","datavalue":{"value":{"entity-type":"item","numeric-id":3655762,"id":"Q3655762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090842$C2D2F843-E00D-4EA1-9001-5C445E3C8A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"282922bda9a2e5c294fd460fb0c5cc22815348b4","datavalue":{"value":{"entity-type":"item","numeric-id":960859,"id":"Q960859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090842$40C4EFE5-3212-473B-973F-A69E16A74D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f89803e0c93fbb5df0451b16f3be1f848c742f67","datavalue":{"value":{"entity-type":"item","numeric-id":5308453,"id":"Q5308453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090842$F1287425-A00F-4E95-83B1-D5977789443C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2338cbce08f27ebfb175d8a5f08f0f912efb561d","datavalue":{"value":{"entity-type":"item","numeric-id":3090842,"id":"Q3090842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090842$119F4800-B084-4399-AA71-1B2E745FA43C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"700415c10a0c42471f9ce81fe65030465fcd5fcb","datavalue":{"value":{"entity-type":"item","numeric-id":2894570,"id":"Q2894570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090842$0615455C-CC49-4816-9C14-6F4A77A41E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e6d4d34eb49ef6ddbb08aaf93c6aa4077fc09d5","datavalue":{"value":{"entity-type":"item","numeric-id":5311485,"id":"Q5311485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090842$5A3FC912-B697-44A9-BA2D-5B5129323E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd0a47f0e0bbdd5b4ea3966b117bc48ee1cf5ce6","datavalue":{"value":{"entity-type":"item","numeric-id":5897771,"id":"Q5897771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090842$75EB11D6-8B82-44AB-9FA1-2FBFE45372FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2e98f322680a32cb9958826de3f407d1215106b","datavalue":{"value":{"entity-type":"item","numeric-id":1854328,"id":"Q1854328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090842$09EC71BE-9DD5-4360-AD0D-C130AF8F8C54","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":"Q3090842$2A363BF2-E1A2-4939-A95C-A9E488BC068A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090842$32F1CC61-48CB-4386-8DDD-371BED36B18E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"368880da66f2cee1a9756309e60d0751982ecbb9","datavalue":{"value":{"entity-type":"item","numeric-id":1187659,"id":"Q1187659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090842$37CDFA3E-B908-4280-9AFB-CBA64ADBCB10","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ded0b65e31206f203c16e107ce50f843566e0263","datavalue":{"value":{"entity-type":"item","numeric-id":4501546,"id":"Q4501546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4147e81679442ebfe0a5272892e63d80948dce1c","datavalue":{"value":{"amount":"+0.8580984","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":"Q3090842$3F84FDD3-CA32-43B4-9C31-F6361A982B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"470c68899be7ae5643fa2b1c7377a46c13c91a93","datavalue":{"value":{"entity-type":"item","numeric-id":4222997,"id":"Q4222997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec055f73943b6dd859a29a827db91456acbc5ed9","datavalue":{"value":{"amount":"+0.8543689","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":"Q3090842$8F771599-4ADA-4BEA-B536-0B67CC7D0E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a3bec5f0f00b33b7834635adb8205e5b6aa52fe","datavalue":{"value":{"entity-type":"item","numeric-id":2871582,"id":"Q2871582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74e50ee30dbabe6c2a76d1dfba0e4d5a173f834f","datavalue":{"value":{"amount":"+0.8525595","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":"Q3090842$C05A20A9-78EB-4395-B054-82BE289B40BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"545707998a61a98b18dec62a91417c42303a808d","datavalue":{"value":{"entity-type":"item","numeric-id":1323345,"id":"Q1323345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"413ce0bfc2ab1ae8ce02d7b5028358bd6aeb9289","datavalue":{"value":{"amount":"+0.8518177","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":"Q3090842$77CC59B2-39EC-40E5-A4E5-606FE604E0D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"203b8d1e9fc6145a9e2e8efb4724e1f8ea291d7f","datavalue":{"value":{"entity-type":"item","numeric-id":1057653,"id":"Q1057653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91b70092de6f2951e87597c2503d43f42a60c521","datavalue":{"value":{"amount":"+0.8506135","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":"Q3090842$B96FF8D9-76A3-4D6E-884C-8819088BA174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1a120c99c53564b65082f2d78bcdb28b907ffe8","datavalue":{"value":{"entity-type":"item","numeric-id":1763732,"id":"Q1763732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4117e0869354ccc9ffd4b8e1b150fa2ffabc46cd","datavalue":{"value":{"amount":"+0.84796476","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":"Q3090842$695ACD2C-1192-4BBE-A62A-EC2E9CE64139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ac97009fd0eee5d76f5db5dfc3815a7e021dd25","datavalue":{"value":{"entity-type":"item","numeric-id":2842126,"id":"Q2842126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"473492684c26899d28a55b027a859ed99ab3f373","datavalue":{"value":{"amount":"+0.84770465","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":"Q3090842$B3E7FA35-0292-4A32-AB46-0013170598A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b21c1fbc313b90713a10015927061a510b527e2","datavalue":{"value":{"entity-type":"item","numeric-id":1122360,"id":"Q1122360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27995db7eac644336a394f10e928f07f06f7f02d","datavalue":{"value":{"amount":"+0.8471522","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":"Q3090842$69A5B9B1-E3AB-4699-9426-406967F2B36D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00f8094e792cfb2a3f64409ed95b797e54c5bea9","datavalue":{"value":{"entity-type":"item","numeric-id":1325846,"id":"Q1325846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c86c5f533a70a1a6cb55e836002fba6c6a9c382","datavalue":{"value":{"amount":"+0.8459173","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":"Q3090842$DDD4C740-BDAF-4FEF-A306-AC813F03C684","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Decidability of the Reachability Problem for CCS!","badges":[]}}}}}