{"entities":{"Q2871475":{"pageid":2882195,"ns":120,"title":"Item:Q2871475","lastrevid":58039137,"modified":"2026-04-03T13:44:29Z","type":"item","id":"Q2871475","labels":{"en":{"language":"en","value":"Modeling and verification of infinite systems with resources"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6243324"}},"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":"Q2871475$2533BB45-AEC4-43A4-8646-7AEB789A4661","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de9fead9ada1c991808d9f29ac78d0b401b55f5e","datavalue":{"value":"1314.68184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871475$FF1B154D-7607-4F19-9102-FAB400E74701","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3aea176762fea6a98b53e0598b67d805344d9a47","datavalue":{"value":"10.2168/LMCS-9(4:22)2013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871475$76055D78-AFC2-482A-94BF-93C11B3C138F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1429becad417eb2298316d38da8d99565b8ca01b","datavalue":{"value":{"entity-type":"item","numeric-id":2871474,"id":"Q2871474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871475$ABBCCC8A-A81F-4ACF-BAB1-3EADCB38BB67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0725b78a7cc86600064fbe63488e61e381f5862f","datavalue":{"value":{"entity-type":"item","numeric-id":436609,"id":"Q436609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871475$DD108700-7D5E-4EE5-B14E-DF5B8800D905","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":"Q2871475$686A8930-C01C-43F5-91EB-63B4127EB1D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4dd6802d1635af15aceed850b007155490528f75","datavalue":{"value":{"time":"+2014-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2871475$7EDDBEF7-B8F4-462D-A8AE-66F12AC3699E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4f3fba229c7838af7e91c2b5ba6b16ce8a8f21d1","datavalue":{"value":"https://arxiv.org/abs/1311.1043","type":"string"},"datatype":"url"},"type":"statement","id":"Q2871475$5D63FA52-63CB-40B6-AECD-98A6233DB6A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871475$A3437320-4496-4719-A404-09760C44870A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871475$0E49466D-BCFC-4CE6-B54C-4158F1C33A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871475$F22DE4F5-E4D1-4451-A0DC-7F7998723E85","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2cbacddd20c388fa5b43fcd7dfd66e0f9ea2b6f7","datavalue":{"value":"6243324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871475$A9B80A0E-552F-4D5C-9E85-470FBDC45008","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b37f67d7f6c0dd8120babf03358939745eeef16c","datavalue":{"value":"pushdown systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871475$B6AF5A49-D954-4C48-8519-A5AB759F25D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c918bc2c7ab80291a92d3a2de607193672fdded9","datavalue":{"value":"reachability with annotations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871475$82A64412-2201-4D61-B22F-A9A31CD047E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bec3c7541925faef9c0b7a60962088f44038c04","datavalue":{"value":"quantitative automata and logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871475$6C7B76D0-3F9A-444A-9924-C8211A2CAF96","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6e027bf88ee7cfe985b42e564a22fa6632f8a570","datavalue":{"value":{"entity-type":"item","numeric-id":14221,"id":"Q14221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871475$CD6C3E87-203C-459C-ADED-77DF998D9EE2","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":"Q2871475$20A0CF7F-78E6-4710-A2C3-60D8AB5CDDF4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"471350f29928f52ccc00230239263497df3134ce","datavalue":{"value":{"text":"Modeling and verification of infinite systems with resources","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2871475$65F82D66-0154-403C-A5DF-D799874A4655","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d8a074cc5846737b55281d8bc60d76b8cf508ea","datavalue":{"value":{"entity-type":"item","numeric-id":4472242,"id":"Q4472242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c22c2bcedd2eb98dafdc21740d80f6fa999ad31","datavalue":{"value":{"amount":"+0.7214125990867615","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":"Q2871475$1EDAB0F7-33C9-48A7-9F62-97A4A76D1470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95fecd08ae32fff5542bc4aed0604a36705e9eaa","datavalue":{"value":{"entity-type":"item","numeric-id":5902152,"id":"Q5902152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ee67d2470aa1b2eeb45f899028ab894b3975051","datavalue":{"value":{"amount":"+0.7094717621803284","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":"Q2871475$939C0302-07C8-4648-9AC6-6DD6DF7C8108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e504bdf328f77aa8f61f17477e5dc74d3e9ec21b","datavalue":{"value":{"entity-type":"item","numeric-id":5895528,"id":"Q5895528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ff395dd8020bde8bd1909ad6b2487d8001dcbd7","datavalue":{"value":{"amount":"+0.709149181842804","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":"Q2871475$36DD93FD-4AF0-4CAA-AA86-F797F0A136E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ab708b87e2154529b600539565947a2ae82c8e5","datavalue":{"value":{"entity-type":"item","numeric-id":5292626,"id":"Q5292626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c52456218bd52976353a5b8900c1b211254ce37f","datavalue":{"value":{"amount":"+0.6960558891296387","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":"Q2871475$2E6F14DA-A04D-463E-903A-F15194083729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9812515b3ccb140eed3b46a394afb70e05cba7f2","datavalue":{"value":{"entity-type":"item","numeric-id":2754102,"id":"Q2754102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77022fcb2a1ee1db25bb9861aad2483ad7f7bc8a","datavalue":{"value":{"amount":"+0.687828779220581","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":"Q2871475$1B3E981D-DA6F-435D-A45B-ABBA4EBD11C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2871475","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2871475"}}}}}