{"entities":{"Q700978":{"pageid":702827,"ns":120,"title":"Item:Q700978","lastrevid":63628005,"modified":"2026-04-11T14:27:32Z","type":"item","id":"Q700978","labels":{"en":{"language":"en","value":"The universal resolving algorithm and its correctness: Inverse computation in a functional language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1815426"}},"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":"Q700978$A09C6AC1-A8BE-443E-A1B3-3D926FD02C75","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"29ebe2569d053e9ed125388b1534b02c9bf526c9","datavalue":{"value":{"text":"The universal resolving algorithm and its correctness: Inverse computation in a functional language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q700978$3698EFD3-5076-498B-8A4A-38594CB481B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c34d4501cb13fea61331515e8a7a5660a55cc12a","datavalue":{"value":"1014.68037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q700978$D8ECE6AE-E66D-4647-91DA-2BDBC770C869","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"41491b0f98302296d1240d45c3eb6fba112a61f2","datavalue":{"value":"10.1016/S0167-6423(02)00023-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q700978$4C24D230-38EC-4129-A34F-4ACCC57A211F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81032b0f581db8e37581bd17c6ad01498f4c3819","datavalue":{"value":{"entity-type":"item","numeric-id":232939,"id":"Q232939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q700978$F5D9A029-1EF9-47CA-A35C-03C1520BFA23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c715f7660adfc1d08e981d189dcfb1350f34c0b","datavalue":{"value":{"entity-type":"item","numeric-id":327076,"id":"Q327076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q700978$901F2F3F-E8CB-4A6C-9E7C-B7189C362EEF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q700978$CE1AA3F1-EBA7-4B41-8DE7-B6B0EBCA8BC4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8c9f84701e0c4849f03d0b9256647bbbcf5227cb","datavalue":{"value":{"time":"+2002-10-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q700978$C5999127-53CE-4CF8-A08E-6E232963C307","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q700978$B0293424-50C4-4421-AE4D-DC571C5191C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"edf7f892489faa2138da47b776454e92cecb45a1","datavalue":{"value":"1815426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q700978$C22E5D64-2C42-4C31-8B2A-43F09E755234","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1c4e43f766a54a5d0c892abb1a673c3a3b953c9","datavalue":{"value":"universal resolving algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q700978$86FDECF5-2680-4E9F-9083-739B27DBE8D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13ba9c9865e0ceb40f56b5df5192dd64ec004d1e","datavalue":{"value":"S-graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q700978$DC49E096-AC65-4BC5-B672-78F9A5F9E77F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2b77b25865163cc85b5def44593b59d9628406e5","datavalue":{"value":"Q62038268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q700978$0845A224-825A-44AD-B44F-05A2638C4B70","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":"Q700978$FB2CBB82-1F89-42B9-A63F-75945611F0C4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2bd1770e5543c39d576dec965de758490b285f85","datavalue":{"value":"https://doi.org/10.1016/s0167-6423(02)00023-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q700978$16205259-FCB0-4746-AE79-76619D706E58","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d8ea98f319e299e9a5913deee4077eea7faccbd1","datavalue":{"value":"W2038870167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q700978$DF23D936-B899-40CD-B131-E23CDAFFD81A","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"3bf3448914b465e5bbaedb99390f7a282c781580","datavalue":{"value":"journals/scp/AbramovG02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q700978$7BAE1C0C-D50E-4A92-9819-6ACC1ADFDC98","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d7fcb35ffd1daa797e472b94ed1553696b0ceb8","datavalue":{"value":{"entity-type":"item","numeric-id":2721101,"id":"Q2721101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40513af39e636c1a6898311c2a167e31bc8d70fd","datavalue":{"value":{"amount":"+0.9773179292678832","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":"Q700978$0554AD15-B5F9-4A8D-BEAE-E9C6B4C0E78A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85d67f279a6faf352c829ce272e51980a394505e","datavalue":{"value":{"entity-type":"item","numeric-id":3401933,"id":"Q3401933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1baf8cf1b7b310feb6f80d26167eaab3052abfa6","datavalue":{"value":{"amount":"+0.8910382390022278","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":"Q700978$53A06623-5D81-4C0B-A67D-D0D2ABA21D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae052ce62c48d2288a4a57457caf58bca9a0dcde","datavalue":{"value":{"entity-type":"item","numeric-id":4414734,"id":"Q4414734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"999b43dc07c7f97480f26e259dcb8c259b6558ea","datavalue":{"value":{"amount":"+0.8657152652740479","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":"Q700978$40C87EBB-48B1-4A28-A15C-0D2A595E36AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"285d3d4e700f077d32c596b0b76b7cd42e13f2e2","datavalue":{"value":{"entity-type":"item","numeric-id":444478,"id":"Q444478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89d42986a5467c00ed59b07b0993bbb722dfab41","datavalue":{"value":{"amount":"+0.7915838956832886","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":"Q700978$869F1121-9216-4ADB-85E2-062A3A0F39EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb61f7e540b958b7abf7c17fc345dea3517beec9","datavalue":{"value":{"entity-type":"item","numeric-id":3761674,"id":"Q3761674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6835c86fc491856b71a9385f38da682391c061a5","datavalue":{"value":{"amount":"+0.7252210974693298","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":"Q700978$EBEC4ABF-3ED2-4CF4-96B0-57668B3BAAFF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The universal resolving algorithm and its correctness: Inverse computation in a functional language","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_universal_resolving_algorithm_and_its_correctness:_Inverse_computation_in_a_functional_language"}}}}}