{"entities":{"Q5402543":{"pageid":7432117,"ns":120,"title":"Item:Q5402543","lastrevid":51949421,"modified":"2026-01-20T14:56:24Z","type":"item","id":"Q5402543","labels":{"en":{"language":"en","value":"Operational and semantic equivalence between recursive programs."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6270104"}},"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":"Q5402543$CEADCE31-C924-4448-8AB7-F541A81398DA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ff2e515b7098eb4ab6e6c2e25bacbbaa5a43d05","datavalue":{"value":{"text":"Operational and semantic equivalence between recursive programs.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5402543$602900C9-6B1B-417D-9B64-2CBAE4D156E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"05e4d0da79bd6862c311408624e796b926e560a0","datavalue":{"value":"1282.68165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5402543$9B9E107E-BB23-495A-9129-DE772BDD4AF0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"78d4a8e848e46c1c79d54d15581a23eebd4ef5f6","datavalue":{"value":"10.1145/800133.804334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5402543$F3E57943-561F-477D-BAEF-67D64234C52F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b635c4a9aa15b39065cada86496465d1b2fe7add","datavalue":{"value":{"entity-type":"item","numeric-id":800735,"id":"Q800735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5402543$EC9F39C3-CBD5-4E3B-A98A-3AD2EA154C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b97bde5270147577b80be79d7539f14bdc38196d","datavalue":{"value":{"entity-type":"item","numeric-id":1145671,"id":"Q1145671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5402543$89AA5EBB-D407-4196-8228-E062F75C212C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2829c1a1386220ab006ee0a1468db55a2e8980dd","datavalue":{"value":{"entity-type":"item","numeric-id":5402534,"id":"Q5402534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5402543$E2D73094-A414-474B-BE51-456AED6C683E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b43a2c2b6eb630f564616ba070a6751b081d8977","datavalue":{"value":{"time":"+2014-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5402543$DCA5D67B-1E66-4047-9514-6517007DE246","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5402543$7B716C91-4300-40DD-ACB8-C464EAD6F005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5402543$F306438E-FA7E-400F-9093-0FB301DE2306","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fefdc902d58b8906803d1ac6c8ebdac066580112","datavalue":{"value":"6270104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5402543$1CF224F8-E6A9-41AA-A3B7-50AACD640663","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":"Q5402543$5AD29E15-680B-4EC9-8652-2686C1DB5DDF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a5073dabe18e3fd600077682ce2a6f926b607e10","datavalue":{"value":"https://doi.org/10.1145/800133.804334","type":"string"},"datatype":"url"},"type":"statement","id":"Q5402543$2417D898-AFE2-43AA-BD50-4699F077F475","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f80a729aa358ce1b6bdffd575288a51dcdde289","datavalue":{"value":"W1972439331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5402543$EBE3DBBE-9B26-4846-8AD2-F400C1EA24B9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed91df55789bbbd677ca0bf2646eada5f4853144","datavalue":{"value":{"entity-type":"item","numeric-id":3718135,"id":"Q3718135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2de52542ef44b1bf6cfdad6f4d6ec5558b6f9e1","datavalue":{"value":{"amount":"+0.8053604364395142","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":"Q5402543$0A115E71-F05E-4978-A5DD-34598F76F679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a18478b8024b0955b5f874bf63825d41b6bb2d6","datavalue":{"value":{"entity-type":"item","numeric-id":3685159,"id":"Q3685159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc54bb28b0132516d3eadd718ccfeebb1c3a37bf","datavalue":{"value":{"amount":"+0.8021325469017029","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":"Q5402543$DFDA25F5-AFA1-455F-AC89-9CE63E3A055D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ce34b6c7710227417a5b4f159837a7a7cccbb75","datavalue":{"value":{"entity-type":"item","numeric-id":4813228,"id":"Q4813228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"481df945d6a67bdeadb85894fe92bd8aabeb3059","datavalue":{"value":{"amount":"+0.7971436977386475","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":"Q5402543$573EB624-8683-4E26-976C-0F099FC14982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d9c5e69d703007b3cbf501ee3f528c126a08e68","datavalue":{"value":{"entity-type":"item","numeric-id":6116563,"id":"Q6116563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"893029e2293dd30dbbfc73570e35d4e58409df4c","datavalue":{"value":{"amount":"+0.791937530040741","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":"Q5402543$521E5D77-DE41-4EB0-B9A5-7F061F09F18E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71a60eb932c8557a8d9a340978cb9b5879fec5a1","datavalue":{"value":{"entity-type":"item","numeric-id":3587255,"id":"Q3587255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2896a4d4cdf24db7bd8c0bd83a5b519dbff9b45c","datavalue":{"value":{"amount":"+0.7813974618911743","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":"Q5402543$70D8F48D-C274-44E4-B27F-B53C576C7033","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5402543","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5402543"}}}}}