{"entities":{"Q2946675":{"pageid":2957395,"ns":120,"title":"Item:Q2946675","lastrevid":58062537,"modified":"2026-04-03T16:01:23Z","type":"item","id":"Q2946675","labels":{"en":{"language":"en","value":"Well-structured program equivalence is highly undecidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483180"}},"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":"Q2946675$AA69F8F4-CD82-442F-97F1-40DC0C9AC800","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9da6894575b74d4be6dfeea53c1f6200be7c802b","datavalue":{"value":{"text":"Well-structured program equivalence is highly undecidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946675$5DB1482F-314D-44E4-A636-E9F3880518E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"935960ed305b05e39ff94b6acd5adcd7547a02c2","datavalue":{"value":"1351.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946675$C8253C6B-0D3B-419D-B4F0-F820B910C96F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3390ae1e10700247384a88399edaae3e4a28bddc","datavalue":{"value":"10.1145/2287718.2287726","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946675$00B5CC77-7D49-4D62-9F41-8C2432D4153F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da1f2eae718b1a354207c6a7cbca0c2cb2019709","datavalue":{"value":{"entity-type":"item","numeric-id":227763,"id":"Q227763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946675$DD364406-BF63-41DB-BDF7-B32AD36C55B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c143711c540a5fa97aed5ccb8ab786b5271367d6","datavalue":{"value":{"entity-type":"item","numeric-id":175788,"id":"Q175788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946675$89B0DF67-12E6-4391-8B85-FED5D541B5A7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946675$467144E1-6B17-44C7-B1DE-590CBC758B22","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946675$4E9C6C1B-ECDF-4E25-A441-8CA49B955935","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6ec4f8f3642df9fa9485781f5e1176ba5e50fa01","datavalue":{"value":"https://arxiv.org/abs/1103.1433","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946675$55381EDC-6F88-43F0-A5CA-D751BD4EEB0E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946675$465EB69D-42BF-4B99-A7F3-864AF3348DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946675$88A63C48-C5D3-4DB1-A4BF-902F2110DC53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946675$B00EF433-32CA-4CEE-909E-98CAC5189CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946675$632D84E4-1341-42F2-9960-10A999DC8385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946675$15A62DDF-B895-4024-A838-B7D4535AD022","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c42a8364e4b395150daf2d034335f13996edb84","datavalue":{"value":"6483180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946675$E1A848BC-BC3A-44F9-9EA3-1B195540C364","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a6ac4b750ccb5249d2f74b6d7c34c917396f145","datavalue":{"value":"PDL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946675$F2323DE2-9275-4FC9-ACEB-CE00C421D2D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ba8bcd2a85d9a9beb157e4b676edf194064349c","datavalue":{"value":"deterministic propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946675$3E052C08-A4D1-47E7-B9EC-AFA406D3F2E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c73a72a40e4bfb977d05b99d2b04025a14c66929","datavalue":{"value":"fixset","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946675$7B46F331-2E91-4294-818D-EBB22A738F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab57561e8c95fe21680ade7400a07692c4406a75","datavalue":{"value":"intersection","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946675$0AA3FF26-C5DB-4A00-AD78-B3C50F845377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dac5de8e537c71cd90df166682399621b2f7fbf","datavalue":{"value":"program equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946675$6B98C266-0731-48A6-BB32-61C9E50435A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946675$AF7BF035-A8C4-4963-8963-FE452DE72D23","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":"Q2946675$261B4EC9-81E7-45D9-AD1B-27C19F96A2C9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ffebd39b8fc3be21f050a6fb9daa22dfe8ee1465","datavalue":{"value":"W2054812122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946675$A144AC39-E7B7-481A-ABF6-8CFBF0E49B0A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8c64005798fa47d1e2e9fd7c57841c444121a30","datavalue":{"value":{"entity-type":"item","numeric-id":792083,"id":"Q792083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e7026f0de1dfec31d4ed8fa9a161b86f7116ef9","datavalue":{"value":{"amount":"+0.7889081835746765","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":"Q2946675$765AB294-22CA-4D50-9B0C-88F1E01FC925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"352a2ecd931500d39cce07794cf911b017c45ba8","datavalue":{"value":{"entity-type":"item","numeric-id":1311976,"id":"Q1311976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54153c69802fd05d53d6e87d15d96ada2bc0ac8a","datavalue":{"value":{"amount":"+0.7748921513557434","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":"Q2946675$EB9EB0CA-8081-43AE-BCF5-6B2BDA756F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"459889d5310106929d088e8b9b294423d01d5621","datavalue":{"value":{"entity-type":"item","numeric-id":2643333,"id":"Q2643333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e540167b86473e25f4ae482e357b4acbbdb3f6d0","datavalue":{"value":{"amount":"+0.7741515040397644","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":"Q2946675$3982E660-A187-41FC-BC38-00741CE8240B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4b8bae39ea3582b3d9dbc0059d40b3aef36eeaa","datavalue":{"value":{"entity-type":"item","numeric-id":801682,"id":"Q801682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e564f93e06effd27752280010cca417c62deef5a","datavalue":{"value":{"amount":"+0.768973708152771","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":"Q2946675$B5317CAB-0668-4BA2-85BA-10097DABF094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5161e70e2a34646dd831d3da7f66fa24716b2321","datavalue":{"value":{"entity-type":"item","numeric-id":1065545,"id":"Q1065545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3e05e8d48ff339f33c46243483993ca9a83d60b","datavalue":{"value":{"amount":"+0.7512338757514954","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":"Q2946675$53D6BB54-D1F2-4A8E-8895-752583D2D8A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946675","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946675"}}}}}