{"entities":{"Q2415375":{"pageid":2426118,"ns":120,"title":"Item:Q2415375","lastrevid":73771527,"modified":"2026-04-14T17:12:48Z","type":"item","id":"Q2415375","labels":{"en":{"language":"en","value":"On the decidability of the existence of polyhedral invariants in transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7057354"}},"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":"Q2415375$63972FE6-F795-40D3-86B2-1693702ABE25","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"82da1b433929aa12dd3de7b9b6c22bc9deb674bd","datavalue":{"value":{"text":"On the decidability of the existence of polyhedral invariants in transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2415375$879594D6-B9BD-427D-BA80-C001EFED40E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b65b62fbf5f26e5180ad7813f3a30002bf16f7e1","datavalue":{"value":"1421.68097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2415375$2CBDF666-14E7-490B-ADF6-2B18DECC1BCD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8ef1c6e78c9ea414b5f452a20c5da29ecee893b","datavalue":{"value":{"entity-type":"item","numeric-id":848743,"id":"Q848743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2415375$93F27BB9-3227-4616-9A3C-26CF1DE81D38","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2415375$783EA526-E295-4B53-BF36-CAE2B43EE5AA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47172647f90a50182889a072cc3f660611377e0d","datavalue":{"value":{"time":"+2019-05-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2415375$35A82847-750D-4540-A953-D020180D3B13","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ea6e263dae8ad31b9741525d27b000e3cdd7a946","datavalue":{"value":"https://arxiv.org/abs/1709.04382","type":"string"},"datatype":"url"},"type":"statement","id":"Q2415375$D4C9CDA2-BA07-483E-9307-E4A8378D8E3F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2415375$F91E8F3B-23F9-4747-B16A-CD541F84B509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2415375$C18133AC-D07D-4265-B1E4-00DEB916C366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2762df744fec88c5da60f696833f02907bd4417a","datavalue":{"value":"52B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2415375$D18F3E58-8297-44D2-A1A6-0A80DEFD96EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"955a6ac68db8c67c1772255c707ed5eb1d2bad2b","datavalue":{"value":"90C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2415375$E792AE17-900D-444E-883A-7B48CB818CAB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"890cfe28f7fc6017eb2f63516c2169ae3a60b290","datavalue":{"value":"7057354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2415375$EE9AD2C9-3B3E-4BEB-95BA-813A00119517","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":"Q2415375$CABCF38A-E107-48A4-A02D-59A1EE0614BF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4c930a43420718dd420ebf6fb871b60948f62c67","datavalue":{"value":"W2964040301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2415375$CE676D16-118B-41E8-ABA8-5702EEDF6CFC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"887cfe3b67abb1e3ad466f485beac0506dcbbdef","datavalue":{"value":{"entity-type":"item","numeric-id":3166219,"id":"Q3166219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2415375$6ABF31F8-497E-47FF-9DE7-A506254E6D12","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5b78d697639f74f28a35ea720852dd59145934a2","datavalue":{"value":"Q129889860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2415375$ED7E3816-F86A-4857-854C-95B81604D4E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"38503f747750ac4f176b3880f0a31a11118444f5","datavalue":{"value":"10.1007/S00236-018-0324-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2415375$D174350B-3E43-4BE3-9AF7-E2045A8FF3A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57fa7a3e6100e5a4407e8d2ed713e292229b1ad4","datavalue":{"value":{"entity-type":"item","numeric-id":5897426,"id":"Q5897426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e40bd1be17aadb3ddee457c2265284f5e23adc2e","datavalue":{"value":{"amount":"+0.7600945234298706","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":"Q2415375$BB7B07D6-E9B2-4341-8D65-E763DF3F7B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c31f9bd1ae71ffb8e69a96d2a409d50fbc1aa141","datavalue":{"value":{"entity-type":"item","numeric-id":2828258,"id":"Q2828258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a70300b1100a58c55e2f1c18721abe2eab25728d","datavalue":{"value":{"amount":"+0.7384052872657776","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":"Q2415375$B953C18A-4195-494E-98EE-8E7CE17F2D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32d3276762406fd5b69340bd3ed4e749c2093b78","datavalue":{"value":{"entity-type":"item","numeric-id":5709984,"id":"Q5709984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d851b03365dd787a0c08db482f6da2bb449260db","datavalue":{"value":{"amount":"+0.7223805785179138","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":"Q2415375$03CE19B7-412D-4F57-8620-DECCCD3894FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c0f8b8de057ab428a18bcf5c9c80ff15a5efe65","datavalue":{"value":{"entity-type":"item","numeric-id":5172647,"id":"Q5172647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8956e32031830d3b8cf4e556dfe29d774143c3b","datavalue":{"value":{"amount":"+0.7171866297721863","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":"Q2415375$278F3ED7-E4F6-42A4-B56F-6C7F24CFBBF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"650c684a4a68b1c1f2c7ac698052ba816ed7469f","datavalue":{"value":{"entity-type":"item","numeric-id":4411960,"id":"Q4411960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e56bcf0d7ef314c5939b3c21762449b15e2525d","datavalue":{"value":{"amount":"+0.7137889862060547","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":"Q2415375$183A9454-1505-4AF3-943D-10A0943D24F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the decidability of the existence of polyhedral invariants in transition systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_decidability_of_the_existence_of_polyhedral_invariants_in_transition_systems"}}}}}