{"entities":{"Q5277737":{"pageid":7307312,"ns":120,"title":"Item:Q5277737","lastrevid":52850426,"modified":"2026-01-23T15:42:26Z","type":"item","id":"Q5277737","labels":{"en":{"language":"en","value":"About the undecidability of program equivalence in finitary languages with state"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6743981"}},"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":"Q5277737$B3A44F8A-9C0D-456C-B32D-48C2A55CBF80","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"85832a2fe2a7eb50df43c55e9e5bc0b3c2f70fef","datavalue":{"value":{"text":"About the undecidability of program equivalence in finitary languages with state","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5277737$8F54F543-723C-4CB2-B6AC-00ECA0D0D80F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3189bbeaae7928ab9d9cdd02a4f9273721aca68","datavalue":{"value":"1367.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277737$30A4B9F4-6D1E-47D5-8260-C92191B73EF6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"73765a17c87edfefa69f184e3bcd6217a7a779a9","datavalue":{"value":"10.1145/1094622.1094626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277737$4DC370B2-64BA-42F1-9A61-82EF523F3B43","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"88574cc1a9da512fbd3fbfee15ad2279e5bf0f96","datavalue":{"value":{"entity-type":"item","numeric-id":388210,"id":"Q388210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277737$4216596F-F5C7-4C7C-BC6D-BA1FA019DF69","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":"Q5277737$5FA66F67-36BA-4D5F-A247-1BEE10AEA231","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da4ed36bae8b600bf66a15aabe0c472becc2ce16","datavalue":{"value":{"time":"+2017-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5277737$A53D14F9-553A-4717-B332-0A78F2A80189","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277737$A00B24C6-F348-4D11-9AD3-8CB6410F68FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277737$F143A631-658B-4F12-99E5-3E2CB7A41FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277737$D41AD240-6B09-47D8-99DB-D9EF0C6C9E98","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e2c4ad12e0b6abfeafad959aebf751ff5845ae0b","datavalue":{"value":"6743981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277737$ED8C9153-7892-4332-97F2-38FC18A06265","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277737$3226903D-052F-4059-9715-1BC2CA1F6747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0de0c67a28ddcfa108f729622af0934060b2998","datavalue":{"value":"Idealized Algol","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277737$0D5DFA99-1319-4B44-9AFA-0E5AC12CD712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dac5de8e537c71cd90df166682399621b2f7fbf","datavalue":{"value":"program equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277737$8C021621-B6D3-4FA4-ADE5-0CC198B04A7C","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":"Q5277737$6E0592BE-ECD9-4456-B751-025EB7699A5A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"acdb5e295c80a0cd6b42dbe006ff6b050f7914c4","datavalue":{"value":"https://doi.org/10.1145/1094622.1094626","type":"string"},"datatype":"url"},"type":"statement","id":"Q5277737$E2A7062D-E8CE-41B5-AB0B-63DF9C2A9147","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"734430e07cb0dea7eafcbe243ca861d4a6634a9d","datavalue":{"value":"W1968041547","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277737$5F89D10F-DBAC-492D-AEA1-A73FAA07B428","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a586d780bca522d34ad688d1e33520f4130ded61","datavalue":{"value":{"entity-type":"item","numeric-id":1886322,"id":"Q1886322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3321e68f7c89733f15938bebe1786f632262877","datavalue":{"value":{"amount":"+0.8014563322067261","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":"Q5277737$3FDAAA9F-7267-43E6-86A7-52930D7B9326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66b3c126a6a2c6809f0b220ec07a35d562f96540","datavalue":{"value":{"entity-type":"item","numeric-id":4917052,"id":"Q4917052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d9febf2b06a6ca761e92cb7287d5385b9723d1e","datavalue":{"value":{"amount":"+0.7632694840431213","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":"Q5277737$2C9680BC-C92D-45E2-B7D6-D3DCDAFAADFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aa1c9f4f41869a0165b0b3a31c5a0afc82a914b","datavalue":{"value":{"entity-type":"item","numeric-id":2570133,"id":"Q2570133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5348f7127ceb26d5c079be6918b019af7a524d30","datavalue":{"value":{"amount":"+0.7605372071266174","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":"Q5277737$25860907-2436-4A51-885A-5DCD92C4E84D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c71ae235c3ac9e5f76e4caf06904bda15766ebc","datavalue":{"value":{"entity-type":"item","numeric-id":1884909,"id":"Q1884909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"358a527e64ca5c9b2375417d214dfa1b2af54ac2","datavalue":{"value":{"amount":"+0.7579032778739929","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":"Q5277737$EE298E01-0C33-48C8-9031-1DAABD07A17C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"663f7f7fd93e2b2721179d71de6f0e2e1879e096","datavalue":{"value":{"entity-type":"item","numeric-id":2754137,"id":"Q2754137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4a8f21ba99bb86558924f48ddf0cac6fdf18d3c","datavalue":{"value":{"amount":"+0.7504509091377258","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":"Q5277737$658E8F98-ACA9-4E86-A1A6-10B8A17AC07A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5277737","badges":[]}}}}}