{"entities":{"Q1886322":{"pageid":1897064,"ns":120,"title":"Item:Q1886322","lastrevid":69191598,"modified":"2026-04-13T05:22:57Z","type":"item","id":"Q1886322","labels":{"en":{"language":"en","value":"An approach to deciding the observational equivalence of Algol-like languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2116238"}},"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":"Q1886322$CCC073BF-1FA5-4BAC-A547-13701BC19593","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"245d88530cf5aa2f7eb9ed67a405e333ac9f2f80","datavalue":{"value":{"text":"An approach to deciding the observational equivalence of Algol-like languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1886322$7B8EE09B-575C-4C3D-AE73-D21A625D6661","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d4caedeacea1e67526aebaf15e8b1731a85fbba","datavalue":{"value":"1072.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1886322$B608EA1C-9DD3-4144-BD1C-6DA9523A58AC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886322$BAA503C7-4A0D-4DA9-98BF-89D2C8BD6EA5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886322$DF4F455F-A45A-409F-8D51-2973B4E4876E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"037fcf95f864ae0e38f5b6894c4f594ea5ca568c","datavalue":{"value":{"time":"+2004-11-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1886322$996E44C8-0A64-4B03-9AD2-9312E1C4C85D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1886322$81FF947E-E2BB-4159-B90B-55D1D7B2308E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1886322$C6B05A9A-6BE5-4467-B03D-E41B033EC00C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1886322$A2BFFED3-594E-43F3-A20E-E34F8780FDDB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c007353d0e8bfd99f276fc040e6d38bf88477be","datavalue":{"value":"2116238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1886322$6A111955-8F64-4807-BC69-EEB7F6AAC9A9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f99b0dbcd6bf45d6cd7673dcec03a9d84450e3f1","datavalue":{"value":"Algorithmic game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1886322$5807B779-EB97-406E-BA38-25B022752DCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b214e06b5f2e50dc8288188a2310741266429cf5","datavalue":{"value":"Algol-like languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1886322$19C7A272-4937-42D2-BD06-9BE5F9D8FD82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13b6568d4d8e4667530e581b4c95931e0ed30410","datavalue":{"value":"Automata theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1886322$3DDE16EE-75B3-4C2F-A71F-51D69C9F93A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1be83ce12d100f8251488651c1a7dc92fd354cb6","datavalue":{"value":"Software model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1886322$5CD77595-B6D8-4462-BA95-37E17C0BC812","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":"Q1886322$D8AA3B7F-6BDA-4D6C-A122-B825BDF27745","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7a4582c4e42b8f5b05a7dea6192a7c4d9acc233f","datavalue":{"value":"https://doi.org/10.1016/j.apal.2003.12.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q1886322$0326845F-3991-46D6-BB54-D6A7EC49FBFA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"095c07a9dc314547838074ea556ee500bebf9272","datavalue":{"value":"W2135774937","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1886322$33DE4A0E-6C9D-4188-83D8-83B646AD7468","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b7f79dd9177e1d64d21e003dbc36ab810163cc0","datavalue":{"value":{"entity-type":"item","numeric-id":4823132,"id":"Q4823132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886322$C1F45116-83B3-4065-AEF9-24A8A24AE1B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"598d99525e9a0094b9fed1dcff845cc4b8ee91b7","datavalue":{"value":{"entity-type":"item","numeric-id":1854394,"id":"Q1854394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886322$39004D81-E919-4DA9-AA1C-750572591A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f38c139f8c492dec370418023cbf8c9fd1ef84a","datavalue":{"value":{"entity-type":"item","numeric-id":4222822,"id":"Q4222822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886322$B37B5710-B711-4044-93A3-B964A27BA7D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e73fc23e0e328f8c04156aa61bcdb245b6a446e","datavalue":{"value":{"entity-type":"item","numeric-id":4917052,"id":"Q4917052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886322$3A9EBC19-9320-4B98-A7D8-C068C0FA0CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50a57ad67cddac85a1ec8508c32d92cfd4c3ce3a","datavalue":{"value":{"entity-type":"item","numeric-id":2754137,"id":"Q2754137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886322$0B2A981B-3889-444C-82B7-07A239CB5CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4bdc1028b5bd29b72e5d3773bc059ad70e6d128","datavalue":{"value":{"entity-type":"item","numeric-id":5521476,"id":"Q5521476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886322$AA96866F-35A8-4035-A8A6-A13C7E0DEBFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86ccba58fd321cc33f9e40a7cc290be4560671d3","datavalue":{"value":{"entity-type":"item","numeric-id":674194,"id":"Q674194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886322$7DF8F355-29D7-4B2A-A1E9-D47407B60898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5128ea1fce41e0cabe1ccf3f99222f6d7ae49f43","datavalue":{"value":{"entity-type":"item","numeric-id":4225150,"id":"Q4225150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886322$B13C2BFD-1880-4C79-8C9E-57D16721E2AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b44d5c81f7735368555911d4bd1908764544894","datavalue":{"value":{"entity-type":"item","numeric-id":1854393,"id":"Q1854393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886322$7D3B4C82-7D6D-41AD-B54B-831E8E4E52FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d92cf0def4fbb849f85dcbaaef1e80009f50f3","datavalue":{"value":{"entity-type":"item","numeric-id":4147590,"id":"Q4147590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886322$2D5C75DC-9377-4A3E-BAF8-E3BB2A8F0472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb53b69a005134b7aae07b4949b21bc26d9d6bca","datavalue":{"value":{"entity-type":"item","numeric-id":4344149,"id":"Q4344149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886322$626C1671-F146-4038-9031-C0C0AEC058D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d61fd0251775ecc89999c54c5093919d359a307","datavalue":{"value":{"entity-type":"item","numeric-id":5958762,"id":"Q5958762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886322$A49210CB-3E80-46C6-A491-FFC0A76E31F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"102951b213f8d79ee3019575fb3b6a39fc73d353","datavalue":{"value":{"entity-type":"item","numeric-id":4870803,"id":"Q4870803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886322$DE4BF868-5195-4C1C-8761-D21666750D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886322$0441A991-1B44-4F4A-B614-A41832E9D307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11f266f11d0364bdec27a15e27ebdf3a6e748a68","datavalue":{"value":{"entity-type":"item","numeric-id":3264483,"id":"Q3264483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886322$10F823F3-888E-4D9E-AF70-F35E32EF0CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3683459034a240002f90c09e2ba2fe76d0cfbd1","datavalue":{"value":{"entity-type":"item","numeric-id":4369880,"id":"Q4369880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886322$25A0C88C-73BC-422E-A49E-96821F849F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3294a046827bedeee32877344550054a3b200f4c","datavalue":{"value":{"entity-type":"item","numeric-id":4415241,"id":"Q4415241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886322$B5788209-7280-4801-8AE9-074188F99531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d123ce3c6592eaecceee504819584bb2976aea7","datavalue":{"value":{"entity-type":"item","numeric-id":3888532,"id":"Q3888532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886322$2FBA98E1-C816-43A6-B22E-EAF82B5E8C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca8e84233097140277b284dcf67324b3ae9eb585","datavalue":{"value":{"entity-type":"item","numeric-id":4813228,"id":"Q4813228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886322$8745FB23-5F7E-4D66-9B5D-90959696DCDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f2421034b2e5b8c9a4605f25882b5ef4d7bb9c2","datavalue":{"value":{"entity-type":"item","numeric-id":2704328,"id":"Q2704328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886322$D2831A74-99E2-4055-8393-43130700ABA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886322$4F2EC07A-013F-439E-A2BE-816F7BC95E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5043892a0e511359188ed62fdaa6bd089f0b3629","datavalue":{"value":{"entity-type":"item","numeric-id":1314363,"id":"Q1314363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886322$1A6AB7CB-DC5C-4C7B-A1B8-F34913DBBB05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44f01f82b19f90331cfd390537d19adf974f07fe","datavalue":{"value":{"entity-type":"item","numeric-id":1589483,"id":"Q1589483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886322$C9600171-F79C-4E08-90E8-3C19B3C08756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcccba79861386df19c84997945862e47e9786d2","datavalue":{"value":{"entity-type":"item","numeric-id":5941060,"id":"Q5941060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886322$F9D5FF80-537F-42C7-88B5-45FF2B692D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"175d2b9e5ac09d03617896b1814f3ebb7e413d47","datavalue":{"value":{"entity-type":"item","numeric-id":4737211,"id":"Q4737211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886322$A840750C-0EEE-4A49-A0E1-BC72C9871096","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"04deac29a8a371b022d1d5b163b7c29d5387060b","datavalue":{"value":"10.1016/J.APAL.2003.12.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1886322$D27B24CE-BB5B-4E38-82F8-3BD22FC32DEF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c09916efe34d5d8230b8119d3d340bb83ab8674d","datavalue":{"value":{"entity-type":"item","numeric-id":5716839,"id":"Q5716839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bbfcac096736ffb404fb7d74fb10621db2ee454","datavalue":{"value":{"amount":"+0.8759651780128479","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":"Q1886322$C16A9668-5EA1-44D0-AC31-693B6DC3F9B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b0f813a95061df9883cf534d71c4a8b3ac4e248","datavalue":{"value":{"entity-type":"item","numeric-id":2474055,"id":"Q2474055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29c3386aa5de8aee5de58378002719cdab66c7be","datavalue":{"value":{"amount":"+0.8316876292228699","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":"Q1886322$BAD94618-6A2E-4BBA-9F2B-6BD5E41D3AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb9b547ab95fca7dc9ee72e6ded9711adbf9019c","datavalue":{"value":{"entity-type":"item","numeric-id":5705875,"id":"Q5705875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"060fd0a0bb58f87dd09c400881846ef05ab6d99b","datavalue":{"value":{"amount":"+0.8268159031867981","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":"Q1886322$FAE2E495-44F5-44A6-9DA6-186D6BE9D86F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cd754ce23cb45564afafb99eb2818a829ac1c3f","datavalue":{"value":{"entity-type":"item","numeric-id":5277737,"id":"Q5277737"},"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":"Q1886322$97ABCCB8-7FF0-42B7-B504-4A5F45EADC80","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":"c8000d02a5b92c655400467ac7b98d1a1391786b","datavalue":{"value":{"amount":"+0.7873687148094177","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":"Q1886322$86B4B482-70F7-4792-B299-F07577141507","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An approach to deciding the observational equivalence of Algol-like languages","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_approach_to_deciding_the_observational_equivalence_of_Algol-like_languages"}}}}}