{"entities":{"Q2562694":{"pageid":2573437,"ns":120,"title":"Item:Q2562694","lastrevid":44368911,"modified":"2025-11-22T09:34:44Z","type":"item","id":"Q2562694","labels":{"en":{"language":"en","value":"The equivalence problem for deterministic TOL-systems is undecidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3421927"}},"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":"Q2562694$51E89026-3BB5-40AF-8BA7-026AE5A23BF5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a2a7586ae5ff629a310e3f9d77cb6798c7d4512","datavalue":{"value":{"text":"The equivalence problem for deterministic TOL-systems is undecidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2562694$EE89D319-1FBB-4C32-8CC3-2DFE65781B30","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"66c10e8be10a8e93ac7514f6ab9871ffae983c37","datavalue":{"value":"0267.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2562694$D563BFEA-989C-4190-A2D1-642448E19985","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"338e8712904605630b673814c56117b3b308b482","datavalue":{"value":"10.1016/0020-0190(72)90039-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2562694$1CF0114D-8E40-4707-BB3F-2C876473A472","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2562694$14DEC554-2A06-4842-9860-9EBA12168294","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bb0eaa1d64c683ee03edf396d2a33ea56290ca3","datavalue":{"value":{"time":"+1972-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":"Q2562694$F4512142-37C4-478E-9215-9F0322A64F81","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2562694$7A7ED0B3-4002-452A-BAC8-1AEBAA9D9AC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21699a423435669f291d1bd1ba3da28fa1465b3f","datavalue":{"value":"03D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2562694$79542802-DDFC-41EA-AA1B-6A0F769E775F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4240366fc3394b9072369e43b6aa186f51b88b50","datavalue":{"value":"3421927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2562694$F253935E-DAEB-41F8-B522-A38771ABB22A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3fcef18c71a4b5df42d463ab66d395e6876189c","datavalue":{"value":{"entity-type":"item","numeric-id":537812,"id":"Q537812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2562694$7D6BE278-1C71-481F-920C-0E8BC21D4835","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":"Q2562694$0C02670B-D015-4F4B-94EE-4014FFAA410A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"10d524f748a5d920b20c795d1c7b9fc656a03e42","datavalue":{"value":"https://doi.org/10.1016/0020-0190(72)90039-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2562694$60F1A9A7-3874-40BE-AF42-98816EC7F2E2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6d01d311b1654de06208fdcac4ed09b99ad9f6a0","datavalue":{"value":"W2057195216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2562694$27A878A3-392B-4873-AB88-989549D26243","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fd1e28e0e6c158c9409c70c379bfcc7c9840573","datavalue":{"value":{"entity-type":"item","numeric-id":5576254,"id":"Q5576254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2562694$806D0EC1-6003-410A-8C9B-6E5E8931C41E","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":"Q2562694$254D812B-F4B9-49C5-8D1F-4D9740688D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ab0c3d3dfc570cd257879f24cd19040122f8e07","datavalue":{"value":{"entity-type":"item","numeric-id":4124350,"id":"Q4124350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2562694$A913DE0E-0C90-4C33-BFB8-7F7CF6C87832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a8d14eae1fab181499f44d4720082adebedfb9","datavalue":{"value":{"entity-type":"item","numeric-id":5845383,"id":"Q5845383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2562694$E96127C7-857E-4473-8A0D-74A4AE5487FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2562694","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2562694"}}}}}