{"entities":{"Q1813788":{"pageid":1824530,"ns":120,"title":"Item:Q1813788","lastrevid":73015872,"modified":"2026-04-14T09:24:29Z","type":"item","id":"Q1813788","labels":{"en":{"language":"en","value":"Decidability of the Petri net reachability problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5110"}},"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":"Q1813788$D0EF4CDD-DDF6-4A40-B117-49AB77730F28","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"738bc45549d0cbe7c87f2e6a71f8f2ac62381fec","datavalue":{"value":{"text":"Decidability of the Petri net reachability problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1813788$472FA89C-266D-4E19-89AE-7F911ADD782A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b551f6e9e5fd43eb4bc69031e11f0cadc6b0ea3","datavalue":{"value":"0795.68147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813788$8343098D-AF17-4911-A653-C1B1FA8ECA8C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af1e9d0f8e97dc51db4a9ba663da2fa76a2a6ca3","datavalue":{"value":{"entity-type":"item","numeric-id":1150618,"id":"Q1150618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813788$9BC2D81E-F65A-4335-A9CB-795A1F50EA8A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"33359fd8a77e9cce0cfaf7c91dc047e11a0fed75","datavalue":{"value":{"entity-type":"item","numeric-id":109332,"id":"Q109332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813788$29D14622-0B02-4DBC-B129-7D7746F63BC1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1813788$E10DE112-7F8B-47EA-9143-E9812E42E429","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813788$3316591B-E587-474A-BB57-DFE0044A1F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813788$1EF42771-E9CE-470C-87F5-375E02FE3406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813788$A970358B-FAEE-4A3C-95E6-E3D8E2F7991E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"09830329f02f5cf831762f395dfaec6a89ef4a54","datavalue":{"value":"5110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813788$98B2E38F-46BC-4845-8EB6-417A872EDD00","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813788$4BC30E63-9110-4A4E-B702-98E95F442EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813788$B00E1ED0-F69B-410E-AFDD-41FAF8D85611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813788$9A486F9B-5E44-4197-A1D3-06C97A8DF759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e5e6e64f7f171dc89f3c77310230730ce57088b","datavalue":{"value":"Presburger arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813788$BE7F0A52-2367-4713-AD9F-5AA1AEFA7521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36684c3e7ff30f81e4698e5d7b5f91b220a88e16","datavalue":{"value":"semilinear sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813788$7457366D-F958-4829-8EE5-DE95F29FCF51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6954c05725adb2a65eb778952710b3f482dc5875","datavalue":{"value":"vector addition graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813788$98CFAE50-89A9-405D-9C5E-D2D3C803EEF0","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":"Q1813788$B17A65C6-ABE6-48E0-985C-F8981EAFF5F3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"773eb5acd23d08a3ed08ee2687fcd84b5ed6ccbb","datavalue":{"value":{"entity-type":"item","numeric-id":3820016,"id":"Q3820016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7afa15fd6bbcdca68f0bcc1e168bb5927a966a2","datavalue":{"value":{"amount":"+0.8966590762138367","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":"Q1813788$DCF26C82-2A80-4F6E-8EE3-4CCBF23F79D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf9452b66cf09fb936966b42cf58d6566c1d30c1","datavalue":{"value":{"entity-type":"item","numeric-id":3521157,"id":"Q3521157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d406fdb01800cf04d781e6eaf93551d658fce9ee","datavalue":{"value":{"amount":"+0.8793981075286865","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":"Q1813788$C3DE0EAC-5FC3-4142-BB01-9B08F1A5E8E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46b97a0ffecde032f3cf497744f901e6271492bd","datavalue":{"value":{"entity-type":"item","numeric-id":3677184,"id":"Q3677184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34b3c94291d7d51386045d6ffa75c050a3616af2","datavalue":{"value":{"amount":"+0.8729724287986755","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":"Q1813788$8BDBA17F-84B6-47A2-B0A6-1B28FA2F79A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a73a329faec39b433b6f8ba51390cf9198a041b7","datavalue":{"value":{"entity-type":"item","numeric-id":4289279,"id":"Q4289279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0769a9f0fa59c213344957ccac047bf81a9a070d","datavalue":{"value":{"amount":"+0.8438937664031982","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":"Q1813788$F4B8D888-0460-41FE-86F1-DF78D48322A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidability of the Petri net reachability problem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decidability_of_the_Petri_net_reachability_problem"}}}}}