{"entities":{"Q3525634":{"pageid":5555538,"ns":120,"title":"Item:Q3525634","lastrevid":50458124,"modified":"2026-01-14T02:39:24Z","type":"item","id":"Q3525634","labels":{"en":{"language":"en","value":"Decidability Results for Well-Structured Transition Systems with Auxiliary Storage"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5344921"}},"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":"Q3525634$F6026538-0103-43E5-AA41-340E18E5EC98","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d007dace5206c870c48a41575402391913b9666e","datavalue":{"value":{"text":"Decidability Results for Well-Structured Transition Systems with Auxiliary Storage","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3525634$2BA56201-CEF6-47A5-A4C9-2040204F990F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f6fd1c09be5a5a24672680702508abcecaa8679","datavalue":{"value":"1151.68515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525634$FCD34F6E-1391-4CF5-95FA-8338069EE90F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"500c73dba56211165b995a43fa1f5571b02b9c91","datavalue":{"value":"10.1007/978-3-540-74407-8_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525634$DC0FABB9-516A-4EAA-8EEA-DAFEF7090F8A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bde8219f318b09ef6e88199668950ab12ed68fd","datavalue":{"value":{"entity-type":"item","numeric-id":732002,"id":"Q732002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525634$B20E0946-4816-401A-9D0D-FD8ED80A2AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"143b6b92bc6a16b35c1b93aef5aca0ebdc691790","datavalue":{"value":{"entity-type":"item","numeric-id":650913,"id":"Q650913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525634$C342066B-80BE-4CA7-BEDC-AA031A631722","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d33cde76bd73dc5ee329bf4c0e45fff7e5611f64","datavalue":{"value":{"entity-type":"item","numeric-id":3525625,"id":"Q3525625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525634$321CACD3-7AA8-4145-96B8-39011CF26BC6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d1b92a0ce5c23dfe591778f902d0760e02cbbe13","datavalue":{"value":{"time":"+2008-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3525634$ACF7B4C1-E5D4-4178-A59B-3D729A711EFC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5490dfe200f3d3dbeb0c704fbf80f81e8a8c32fd","datavalue":{"value":"http://hdl.handle.net/2142/11342","type":"string"},"datatype":"url"},"type":"statement","id":"Q3525634$2EE294D4-5803-4B79-9A8A-573F0B11E53B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525634$868F582F-1227-46E4-BAFE-1E61357CC4FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525634$78EB588A-C2E1-4552-8E67-CEDC92E04FEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525634$789CC480-9250-4526-9183-45410C915919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525634$F7D4D181-9677-4C60-9193-46D6BB301D6C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3b8713e5118bdef3a7ca643e50bc65cc157eadd0","datavalue":{"value":"5344921","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525634$77A6547F-9D7D-4828-B5A4-1927F8EBCA41","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":"Q3525634$C73CE48B-0D56-41B7-A5D1-267B62560966","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b103a7186b80893e4857e234de4799b6bd8f62ab","datavalue":{"value":"W1925933118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525634$95B30458-C7C9-49BB-946B-4AF919FED9F6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ca6648999986ea0b7b50034bf80d8dc93d6436c","datavalue":{"value":{"entity-type":"item","numeric-id":5941101,"id":"Q5941101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf1832143ab691f9dcd12907dbcf74152e9a88e1","datavalue":{"value":{"amount":"+0.8147246837615967","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":"Q3525634$39243F32-AA30-4D15-8555-4C5465262368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bf418d07813efb8d4e37aeb55ed10889a3f73b8","datavalue":{"value":{"entity-type":"item","numeric-id":5167823,"id":"Q5167823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9f048e99647ee9a91a7a92b6c934b583e711c92","datavalue":{"value":{"amount":"+0.7954761981964111","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":"Q3525634$1FB1567D-8546-4CB4-90CB-6882C0D463D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b572f2b6fdb6d6e281def8af4be90f872d9fcf8a","datavalue":{"value":{"entity-type":"item","numeric-id":1854355,"id":"Q1854355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6acdbcaf9cb5633f80214ea0e9ad9462df8af152","datavalue":{"value":{"amount":"+0.7940227389335632","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":"Q3525634$86FAD4B8-AD3A-4CA1-A3E6-08913F72E609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"703631dc1182aaecc2092d3e9a8e9baf1a439f94","datavalue":{"value":{"entity-type":"item","numeric-id":5367063,"id":"Q5367063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9423e02964da481be8cc419371a0e455844b844c","datavalue":{"value":{"amount":"+0.7935933470726013","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":"Q3525634$60473E9D-BABB-4E9E-89C6-4385ECA0A023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8956b8ce36156dd6f7a8e206b3693df7938fa9f4","datavalue":{"value":{"entity-type":"item","numeric-id":1686118,"id":"Q1686118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4814370db6d15d108bbd3daaabbdb1c82f2aa2f8","datavalue":{"value":{"amount":"+0.7902902364730835","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":"Q3525634$7C1E2363-5537-4728-A227-4A521943E939","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3525634","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3525634"}}}}}