{"entities":{"Q2851060":{"pageid":2861780,"ns":120,"title":"Item:Q2851060","lastrevid":83516831,"modified":"2026-05-07T08:36:05Z","type":"item","id":"Q2851060","labels":{"en":{"language":"en","value":"Decidability of reachability for polymorphic systems with arrays: a complete classification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213304"}},"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":"Q2851060$22B20EFC-8688-4D79-A38E-F2BDFB7C9D04","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e4bfe109e8048a7e2b3d75d9b278e41d02956f0","datavalue":{"value":"1272.68267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851060$9E22D85C-6FE3-45C8-925D-363C4DB82DC1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eacacbbe6e051b16df56b4d3a50a13e6712a6099","datavalue":{"value":{"entity-type":"item","numeric-id":407524,"id":"Q407524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851060$A6835F28-6244-4066-87C6-6E23F1BF4D4C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9bb76f8c858ddc05c9b0805444140cd69f0518fa","datavalue":{"value":{"time":"+2013-10-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":"Q2851060$C31FC1DE-D09D-46C4-AF60-DC635D85D96E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"013b9873882c6821148e43efcdb6e66b273b364a","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105051972","type":"string"},"datatype":"url"},"type":"statement","id":"Q2851060$D66C0FFB-D70B-47AB-B1EF-F56B06705551","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851060$1006EE81-5667-48A6-A847-143E09BC4D53","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"edaf2ff81febf7b4560cf8c92f9691c22ae4b9cc","datavalue":{"value":"6213304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851060$B8DA1862-7DDF-421A-B5F3-122DACFD5A76","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":"Q2851060$2ACD40D7-CB7F-4FAE-AD5C-1341C4608A57","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47b158aac6383dc2c6661fd797b1232a5b66ddf3","datavalue":{"value":{"text":"Decidability of reachability for polymorphic systems with arrays: a complete classification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2851060$2E5AB228-CFD7-42F1-90A0-41E6DC4361C9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bc97b50eb2366606bbb24a865e8b2c298cf1896","datavalue":{"value":{"entity-type":"item","numeric-id":2851065,"id":"Q2851065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d1b28cea012210266957a488428f2e0946c240f","datavalue":{"value":{"amount":"+0.7925938963890076","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":"Q2851060$FDC81782-FFE5-4F1A-A017-D7172C339A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"422af33120601a8100c96ced3ec5ce2187dd3770","datavalue":{"value":{"entity-type":"item","numeric-id":5709375,"id":"Q5709375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bac56c4552de75868f7259267f1a5015dbc4b45","datavalue":{"value":{"amount":"+0.7359707355499268","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":"Q2851060$749DDE7D-46EF-41C2-BEE5-D8F3587144EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddc4a0bc320f52ca86174d1f7e7034db633f6ee0","datavalue":{"value":{"entity-type":"item","numeric-id":287272,"id":"Q287272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b34659ce2d67b6e3fcf80f94bb9bda1625d485a","datavalue":{"value":{"amount":"+0.7074902653694153","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":"Q2851060$E0E26981-A64F-4F3E-8249-405765509337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b6431045f7ffc1d6c1ba06b711530a70f4096a6","datavalue":{"value":{"entity-type":"item","numeric-id":4635903,"id":"Q4635903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48392c491cbf33d8023e987f85f1f30c232a1fc0","datavalue":{"value":{"amount":"+0.7033005356788635","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":"Q2851060$D0297FF9-377A-40C4-9FE1-D8586FED40C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1063bece29dd4b6e998e94b2f0084b7f2a844456","datavalue":{"value":{"entity-type":"item","numeric-id":5898633,"id":"Q5898633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a9248f8f35a23a14539b0d373c592d1a3764666","datavalue":{"value":{"amount":"+0.7029826045036316","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":"Q2851060$89337FFF-BBCC-4C2A-8BBB-C56925551DF2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidability of reachability for polymorphic systems with arrays: a complete classification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decidability_of_reachability_for_polymorphic_systems_with_arrays:_a_complete_classification"}}}}}