{"entities":{"Q1148890":{"pageid":1159639,"ns":120,"title":"Item:Q1148890","lastrevid":42912525,"modified":"2025-07-15T23:27:56Z","type":"item","id":"Q1148890","labels":{"en":{"language":"en","value":"The reachability problem for Petri nets and decision problems for Skolem arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3708345"}},"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":"Q1148890$EBF91A71-F229-4C44-A5E9-18CFB11D1A9E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1597284ad16a8efc7ad1b65f2deda728f1864bcd","datavalue":{"value":{"text":"The reachability problem for Petri nets and decision problems for Skolem arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1148890$B0980007-CA60-479D-9544-87EE452A02EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6a41b54beafd1bbb20d26a3dc1081bcf20af72c1","datavalue":{"value":"0453.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1148890$F8F8D920-EFE0-4DDA-9C52-F58095E5CD16","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0f0c24302f90ceb8b22538d3c253305b0cd19b2a","datavalue":{"value":"10.1016/0304-3975(80)90042-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1148890$2F3DA1D9-B1A5-440F-90D4-D1F66CC0C1CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a00c4782e45b26bef58dbebc0beb0d7cb311ad83","datavalue":{"value":{"entity-type":"item","numeric-id":204637,"id":"Q204637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1148890$A1B17947-A8C2-4194-80E1-A615E2E64F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fa6eeb09e47d0c3657c971f131f2ff7452bd83e","datavalue":{"value":{"entity-type":"item","numeric-id":599500,"id":"Q599500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1148890$FDC8C144-ACAC-408A-9F91-768AF23BDFE1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1148890$613BFFF3-FC87-4429-8ADE-807AA8AFC09F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1148890$451813EF-E042-4ED7-A81C-974932853EE2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1148890$D046BF70-1CBA-494F-9516-47003C2E961E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1148890$DEE5C65D-4019-48A6-A58E-002380852F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21699a423435669f291d1bd1ba3da28fa1465b3f","datavalue":{"value":"03D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1148890$D71E6DA5-BF7C-4716-A5AE-80D9E72E119A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1148890$A13F0F20-5513-4122-98C7-F103C4A7E28E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"11584d034049363410f7b0172d3224b2bc8dcf29","datavalue":{"value":"3708345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1148890$E9C41ABD-3942-4730-904A-0C2CA2740FFC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94a6ff7a378f155918ff5567b3e4ed6c5893c821","datavalue":{"value":"extended Skolem arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1148890$2AF6B49E-8864-4B83-91BB-747858942431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0e1cea66a2ed52427e72d8c6ba7638e7c457574","datavalue":{"value":"Post canonical form","type":"string"},"datatype":"string"},"type":"statement","id":"Q1148890$E538C5DA-4591-4972-AE01-4C829DCE41F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8276c1ef2d6c3bbb8e402e9e07590517b232e7a4","datavalue":{"value":"reducibility of problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1148890$73980C31-FC41-4966-AF21-4231B965CBD3","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":"Q1148890$09223233-0DF1-4056-9A6D-972D3F24C6EE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"efca0c16659d1d25915b27eed768a30fe95269ba","datavalue":{"value":"https://doi.org/10.1016/0304-3975(80)90042-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1148890$92A47533-E398-4A8A-9E5C-DA9BA1C9AB6E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"33881ec835bb8e592345f227a7d2f1311f047790","datavalue":{"value":"W2056477654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1148890$70A851B9-8B7E-4AF8-B1E7-DC5A21FD623D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4202f09d7cd72f0d6bd2fae7066a0a1771e5069","datavalue":{"value":{"entity-type":"item","numeric-id":5639707,"id":"Q5639707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1148890$98AD3636-4AA9-40FE-9249-0F1AC14005EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"800c3856d6e64f782c8c2e841467e8aa9fdfff70","datavalue":{"value":{"entity-type":"item","numeric-id":4401927,"id":"Q4401927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1148890$17A6B8D4-2ED7-4B2A-80F6-2800DE274FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2700cf11a1f0e1adf20f0b56b3eb824a198892f4","datavalue":{"value":{"entity-type":"item","numeric-id":3866085,"id":"Q3866085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1148890$F5A8A8E8-87AC-4F6B-8C6F-995C24917177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b00f987dce02da49d9ca5e3fb536b9dd78afdd9","datavalue":{"value":{"entity-type":"item","numeric-id":4135479,"id":"Q4135479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1148890$3031BD74-3633-415C-9360-4BB3581C519A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4f71ecfc06b6f72102e9bcc0752b8a0447deeb5","datavalue":{"value":{"entity-type":"item","numeric-id":4060951,"id":"Q4060951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1148890$F7CB8AFE-94C5-44CD-8818-03E69D1A60F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3adff817e725eb816554c1394f1451ab89873d72","datavalue":{"value":{"entity-type":"item","numeric-id":4052094,"id":"Q4052094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1148890$80B468A7-51D1-4F3A-B67B-FEB606C714BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db58401f9682ee6b2a77002e714812ed2470e17f","datavalue":{"value":{"entity-type":"item","numeric-id":5646891,"id":"Q5646891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1148890$A1FA4FC5-2305-4EEA-A6A6-00296ABFB5B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b26bdc210a3d291b796088837bddd84cce8b4c","datavalue":{"value":{"entity-type":"item","numeric-id":775202,"id":"Q775202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1148890$3541E170-662A-4932-8857-81C06930F2E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcd6848b24e9913c5da4423092f863726cd004c0","datavalue":{"value":{"entity-type":"item","numeric-id":3245363,"id":"Q3245363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1148890$910CA6C1-2809-4931-A417-D22F92E5FA7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1148890$CA878D8E-7D34-4085-B2C7-C403A6927C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c7d001f0e412525c64f8e6185d8238753e67724","datavalue":{"value":{"entity-type":"item","numeric-id":5545521,"id":"Q5545521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1148890$3EAB33A2-6752-4780-A1A1-B894FCC3615C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82328347536870e54398e2d5fd93abe77206fbed","datavalue":{"value":{"entity-type":"item","numeric-id":5551163,"id":"Q5551163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1148890$BB31D04A-6939-49EF-B01C-55844E295A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1148890$0549BAD7-E69B-4831-A083-57DC254E4128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d7d64aa354ffe6e7d97b440354fc03b29848d5f","datavalue":{"value":{"entity-type":"item","numeric-id":4477876,"id":"Q4477876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1148890$BA30936D-36A2-4BB5-82B6-CD91E512A6B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1148890","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1148890"}}}}}