{"entities":{"Q3864502":{"pageid":5894407,"ns":120,"title":"Item:Q3864502","lastrevid":54551252,"modified":"2026-01-28T10:51:02Z","type":"item","id":"Q3864502","labels":{"en":{"language":"en","value":"Restricted one-counter machines with undecidable universe problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3666787"}},"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":"Q3864502$763A9D1D-B91A-4D4B-AE8D-6A65C254D51C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"58cfb05070ea2014df1fcc29eb2bf68929b9ecc8","datavalue":{"value":{"text":"Restricted one-counter machines with undecidable universe problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3864502$AB8C6B13-92C8-48B2-ADF1-0920CDC449A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f91ca149e33c2c3b4bf1222eadb5e7767edcb8df","datavalue":{"value":"0428.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3864502$D466DCB6-830F-4BC7-BACB-B309342F034D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1853e6b8bf8032ddf27b14cece8d03dc9265542","datavalue":{"value":"10.1007/BF01744294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3864502$F19401ED-3612-41BB-8AF2-A884625355A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0ccf6eb6c37793d5bd821ffa019f577d6c7be3b","datavalue":{"value":{"entity-type":"item","numeric-id":243823,"id":"Q243823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3864502$725EF3BB-28F2-46D3-9402-96B5E4A7A636","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5a8d775b0b8ac1723ca563ec42b8bfa391952af8","datavalue":{"value":{"entity-type":"item","numeric-id":3026825,"id":"Q3026825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3864502$931B460B-769A-4EE9-89CA-3A60E7F5137B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q3864502$DD01558E-3A20-47C0-8E1A-9C7AF5BC2F8D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3864502$E9735E60-8AB2-4F7B-A418-8C11E5E1AC82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3864502$4CDDD9CE-55E6-446C-8EE4-0D197A601E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3864502$7F6826F6-6C79-497D-9FBC-5017A95A7AC8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dcaf5b2480c1e66376bc2bd80824d2fe9547fba8","datavalue":{"value":"3666787","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3864502$E2C90675-A011-454F-8A91-14D2E56EFAE6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a58d0844906f6342949097c1fa922c54b813363a","datavalue":{"value":"undecidable universe problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3864502$ABDBD205-79EB-47B3-847B-48CCCEBB2DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"daf489e7d85aeeaa20392230ad7f6df604879816","datavalue":{"value":"subclasses of one-counter machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q3864502$6CA543E6-8D63-499C-9F81-B5333F3428D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"645a659376e00060ffffbdc14b3e411867b439b8","datavalue":{"value":"restricted nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3864502$4530BEF9-EEF4-469A-91D4-07EF98804972","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":"Q3864502$0D052BD0-2FBD-4E4F-9345-68E1D4FC934A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b059df79753dba48fb66fda4ddb1cf3fa023547","datavalue":{"value":{"entity-type":"item","numeric-id":1219160,"id":"Q1219160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3864502$A73C953F-5B92-4040-B2D2-98F7C3AB7CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0006f9acf90b4b0284255798338710e2147e156","datavalue":{"value":{"entity-type":"item","numeric-id":2527943,"id":"Q2527943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3864502$230ED4E6-E46F-4493-B19A-01E8ADCB1339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4135d2d427cfa081d00a20fc3b9be238c8f19f7","datavalue":{"value":{"entity-type":"item","numeric-id":5573387,"id":"Q5573387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3864502$5288AB4B-6553-430D-8C0C-1A4D9C5B0011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"958e8bf05dd41a356ed45fa949d36e2ba662ac79","datavalue":{"value":{"entity-type":"item","numeric-id":5544289,"id":"Q5544289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3864502$C88D2EF0-AFC3-467B-B8E3-39416DDD4A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2043397a54eaa38033021fac24881dafefacec7d","datavalue":{"value":{"entity-type":"item","numeric-id":5592246,"id":"Q5592246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3864502$D83B79D7-0873-4626-8638-380C7FD83C67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"182981e0e770b39d22d2da0fccd0d6dd8798182f","datavalue":{"value":{"entity-type":"item","numeric-id":4140393,"id":"Q4140393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3864502$D0939C42-C02C-4A60-9D60-A8C8A4282512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc6c9ad1af6635d001f4350001772960e0e5560f","datavalue":{"value":{"entity-type":"item","numeric-id":4772713,"id":"Q4772713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3864502$143B0A8A-0E62-419C-A8E5-33D74EC172D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"202fa537549d862287e8c72112377f480beedfed","datavalue":{"value":{"entity-type":"item","numeric-id":1218272,"id":"Q1218272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3864502$B9DDD1BB-51EA-439E-A8AF-28A07968A592","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d7c60a399c2e722daf021c1bd84de01b76af2407","datavalue":{"value":"https://doi.org/10.1007/bf01744294","type":"string"},"datatype":"url"},"type":"statement","id":"Q3864502$354F9D30-2AFE-421D-8F5F-7E7E603FCCDC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8183daae16a1c4cc0dbc6cb37a56bb08d40706c2","datavalue":{"value":"W1965755333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3864502$82055907-CA1B-4D03-8C9B-CD376E1A2F23","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3864502","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3864502"}}}}}