{"entities":{"Q6967310":{"pageid":21306924,"ns":120,"title":"Item:Q6967310","lastrevid":84054368,"modified":"2026-05-08T22:54:46Z","type":"item","id":"Q6967310","labels":{"en":{"language":"en","value":"The semilinear home-space problem is Ackermann-complete for Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8056653"}},"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":"Q6967310$9652BE66-29F3-4822-AFB6-47509099827D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"23a21fac48d5c49ca76cb85a79d0e90166ee34e9","datavalue":{"value":{"text":"The semilinear home-space problem is Ackermann-complete for Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6967310$324A9D52-778A-40CB-A0C9-58416F2A2A6F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e96604519730d9874ce92c25fac12d35a2d2c812","datavalue":{"value":"10.4230/LIPICS.CONCUR.2023.36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6967310$F388F5D0-9142-49DF-B20C-B1F5790754D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34b34490b42e542c961f98f9ba6d799768378b70","datavalue":{"value":{"entity-type":"item","numeric-id":672325,"id":"Q672325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967310$4EBBDF7D-798B-4BDB-8877-12DDBD4D4BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f161a480b9c89752015764e13c5bf4e0fcd16fe7","datavalue":{"value":{"entity-type":"item","numeric-id":300415,"id":"Q300415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967310$97990F45-1F1D-4C9D-8464-31804EF5B58D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccf6047abb150911ac4decc7c0ffa4e59e6e1fec","datavalue":{"value":{"time":"+2025-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6967310$F6304DC6-7E75-4A10-A057-3E48A5C611E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6967310$4125C760-CC2D-465A-A2C9-2483F082D1F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a23b67f005b2ca4c95407a98d5dbd324946f1a8","datavalue":{"value":"8056653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6967310$63380CBB-F083-454A-91ED-F6D387C2B360","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967310$CAB544E3-6470-468B-89A2-E85617C9AC0D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967310$316ADF54-B253-42FB-8C34-E71DB46616EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec616f05bf04589f30c0490b7ba044808163db3e","datavalue":{"value":"home-space property","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967310$700D4E86-279A-4F79-9964-C1D968FA198A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36684c3e7ff30f81e4698e5d7b5f91b220a88e16","datavalue":{"value":"semilinear sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967310$9A4098F8-DFDB-4B33-9EDC-E92FF53DA068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82efc667f2235c4198a9ca5628952a75e448b101","datavalue":{"value":"Ackermannian complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967310$21C97A71-E723-49EE-A71B-1A239220246C","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":"Q6967310$04BEA3E0-F6A0-4040-822B-9DA5BA4B3C3F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5d178000a9801e9395531e2098ea633d5d754f1","datavalue":{"value":{"entity-type":"item","numeric-id":264201,"id":"Q264201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967310$45FBA5AA-1E99-4C15-B36E-141D41906A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"485c2be01f9316c6756dcc6b7cad36d33582e923","datavalue":{"value":{"entity-type":"item","numeric-id":5056399,"id":"Q5056399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967310$E186FA63-067E-4F4C-853E-60410D490A26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30a40aefdcb318196034c6ce9987eed09e25b763","datavalue":{"value":{"entity-type":"item","numeric-id":6943429,"id":"Q6943429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967310$4455DD8F-BE58-46FC-9EFD-7738C4ED23B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"257df51e393b0d853943fde502aaeb273a88b89c","datavalue":{"value":{"entity-type":"item","numeric-id":4289279,"id":"Q4289279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967310$F6065681-8F29-4323-AAF4-E2127F02634E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"870c5a38858355caeeae9f446f0a3e85a9be75a4","datavalue":{"value":{"entity-type":"item","numeric-id":5517673,"id":"Q5517673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967310$D3844581-D03F-44E0-AE3C-87A3DC6E6A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18cf1df53bd1a33a2ed3a22525f69d2d43c7efb9","datavalue":{"value":{"entity-type":"item","numeric-id":2523032,"id":"Q2523032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967310$0EB6D7CD-1F49-4D7B-9390-F377D321708A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6981775c3bdaad566fe065afd3c04ece6176878a","datavalue":{"value":{"entity-type":"item","numeric-id":1238997,"id":"Q1238997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967310$B50435C5-4C56-4AFF-B4B7-10929F6BE921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93452c09e5c135449e27e64c08e7156c299cc1ca","datavalue":{"value":{"entity-type":"item","numeric-id":672326,"id":"Q672326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967310$8B0CB25B-CA13-48F4-9053-6C1EB7A0DE30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eabdd48d660480f8dabda68be6caab16fd74ad5d","datavalue":{"value":{"entity-type":"item","numeric-id":6490992,"id":"Q6490992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967310$41B8DF48-8666-4237-A200-0CA598C9C7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6637ad3841fec6ccb0f7fb857f90653d03220854","datavalue":{"value":{"entity-type":"item","numeric-id":6874948,"id":"Q6874948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967310$22AE1B83-8E63-46CB-9203-BB91FFBF36DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6f7a3dff638b251566bd69f9b9744f8f3b22427","datavalue":{"value":{"entity-type":"item","numeric-id":6943428,"id":"Q6943428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967310$692E4376-E0D6-4AF2-84DE-FF2D6DFA74AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b653871ade930f183c0cae918b33d9870e771807","datavalue":{"value":{"entity-type":"item","numeric-id":6654515,"id":"Q6654515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967310$999A80DC-1DB4-441A-A886-90B77E90F7B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c16932bbfeea8ec33ad70f0a2658fe162ed5cde","datavalue":{"value":{"entity-type":"item","numeric-id":3677184,"id":"Q3677184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967310$510CCAEE-FA06-4294-A718-19C7A87CE522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8ec5d09b5c750f80e0bef8173b6beb42d02f375","datavalue":{"value":{"entity-type":"item","numeric-id":3912016,"id":"Q3912016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967310$900BA62E-55D7-43AC-B757-6EBC64D7ADAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51f013092dcf4a4c975cb6c3aac949b3d954ccca","datavalue":{"value":{"entity-type":"item","numeric-id":2828216,"id":"Q2828216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967310$EF450BC2-B377-46C1-9E16-C2CF882C21CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be1135d0847619a6f0c45f74c8cadf9f2a8f3c92","datavalue":{"value":{"entity-type":"item","numeric-id":4720791,"id":"Q4720791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967310$A1A6DBEC-554F-4E38-8878-142389D030A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fbe317195213f139dc48d00a12eb05bd28ecfb3","datavalue":{"value":{"entity-type":"item","numeric-id":1019726,"id":"Q1019726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967310$ABB0C4C6-36ED-4A8C-9894-C74D27823C09","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The semilinear home-space problem is Ackermann-complete for Petri nets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_semilinear_home-space_problem_is_Ackermann-complete_for_Petri_nets"}}}}}