{"entities":{"Q1349886":{"pageid":1360625,"ns":120,"title":"Item:Q1349886","lastrevid":67204560,"modified":"2026-04-12T16:01:36Z","type":"item","id":"Q1349886","labels":{"en":{"language":"en","value":"The Qu-Prolog unification algorithm: formalisation and correctness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 983807"}},"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":"Q1349886$CD3E8018-9057-4CE2-B6D7-24EAC821C5F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"464e78c962a8ab5782e3d96499c1dd43006a79e5","datavalue":{"value":{"text":"The Qu-Prolog unification algorithm: formalisation and correctness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1349886$5F46D357-1639-47E0-9115-F66E2C5391C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a38af8df97e81b5dc16411e6e968cde1d0459889","datavalue":{"value":"0874.68134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349886$7CAF8E59-C5DE-480A-BB1A-4E140992B8E8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e48f7ce515238b638533b4015ca43bc1a7cd047a","datavalue":{"value":"10.1016/S0304-3975(96)00115-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349886$EB7B418F-12E6-4A9D-B419-33C8FDE3A65D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03564478d83285220a58622a441da22a93a57772","datavalue":{"value":{"entity-type":"item","numeric-id":594208,"id":"Q594208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349886$43E15674-BCCA-4A19-9E4C-012C7D9D6C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8d2de5877895937d2af49704410633dcf0bea75","datavalue":{"value":{"entity-type":"item","numeric-id":736793,"id":"Q736793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349886$76CE158A-BF7F-43A2-8241-E60418E320BA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349886$9251F8B1-610A-4BE8-A14B-B60610AC5810","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79c82e669aca3d97718bc55c57512b326a2a4ab","datavalue":{"value":{"time":"+1997-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1349886$0F0FF99A-5192-473A-8529-9688875A51F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349886$29126C51-F1E2-455D-B59C-42AF8AED72D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f8f1867e321ff741649aec82ea64978c5e4cdaec","datavalue":{"value":"983807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349886$62098A68-0E80-4A95-A33D-E8571E6E895E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2d75f286d3b7fafc7959ecf913797da4cf0ecbd8","datavalue":{"value":{"entity-type":"item","numeric-id":30419,"id":"Q30419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349886$3D639DB2-1962-4058-9D34-BA4727604C78","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":"Q1349886$1FEA0CC0-AEB5-4156-A77E-D70FBD554567","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349886$5EEA179B-D9D5-4C90-8AA5-5454808D26E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fecc7ce8fe53bf0ab0f560a96ff760721b70f9b","datavalue":{"value":{"entity-type":"item","numeric-id":1230505,"id":"Q1230505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349886$14ADDAD9-8BDD-4986-9CC6-764F7C0C027D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349886$42BA66E7-6E34-4CA5-8F41-02B6015331C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97a935d8a6d38fa08406cc5caf1b9ac2a739c373","datavalue":{"value":{"entity-type":"item","numeric-id":5586197,"id":"Q5586197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349886$74D92A23-E3BA-4641-B37E-B741969FE941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91bd407bcecb63e1d4876dcd09d799ba25c8af78","datavalue":{"value":{"entity-type":"item","numeric-id":4391451,"id":"Q4391451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349886$BDC6A3E9-79BB-42C4-B6BC-91A297DBFF43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f149ec444851c81f8f28cc669b90ac06bcf6ea","datavalue":{"value":{"entity-type":"item","numeric-id":1106190,"id":"Q1106190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349886$69DB1F8B-BC68-4B55-8CB3-66B5CEB83D2A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ac28dee5672db3a64fa585d9782c17c0c0647b67","datavalue":{"value":"Q127952218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349886$526A839E-3438-4C64-8CD0-54AAA1D52895","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d23a7beb7645e5912a00407c2fa6470a87fb5b7","datavalue":{"value":{"entity-type":"item","numeric-id":877825,"id":"Q877825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42a8884bd3f4251db77952c03a79d82e140d10e7","datavalue":{"value":{"amount":"+0.8999568","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1349886$46D6C7EF-44F5-4660-9029-B65FE3BA7604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"158f5dbceda60edaf127b1a6d8e93d2411f83997","datavalue":{"value":{"entity-type":"item","numeric-id":2922598,"id":"Q2922598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bab0b1c1e59170ca1d46b7df6aeafe805c8b4a62","datavalue":{"value":{"amount":"+0.8892644","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1349886$C6F1EEA1-EA58-4FB8-B28F-4FFC4C87B84C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"316f41812037143c55f949ca95fe8a48b96dfdb4","datavalue":{"value":{"entity-type":"item","numeric-id":3192183,"id":"Q3192183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62ee920f18c4ea646a3d531c17dd25b7c7bcbdec","datavalue":{"value":{"amount":"+0.8888571","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1349886$01FA6B5A-0CF3-45D6-A5BB-E3918CB01928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28e217c3b560cd8543039a1b3713154fc4e0c347","datavalue":{"value":{"entity-type":"item","numeric-id":679252,"id":"Q679252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a83b49d5f979334691f89efa4d9a6807bf6a4a18","datavalue":{"value":{"amount":"+0.8843536","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1349886$900CCC4A-3F05-47ED-9174-0F3E5C86ACD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc05dc10d9c03b58d64d8d3b2c03881f7090c6c3","datavalue":{"value":{"entity-type":"item","numeric-id":3100240,"id":"Q3100240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"058388c9c6b190ad1949a591fddf178642aeec76","datavalue":{"value":{"amount":"+0.883212","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1349886$70A915FC-3B50-42E8-9537-FE22F4A632A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fca0e7e93dd7042cbc7e59c47a83bea11c5a6406","datavalue":{"value":{"entity-type":"item","numeric-id":3612467,"id":"Q3612467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84315cdaa8eb79147e24748535a9e2899acb55a9","datavalue":{"value":{"amount":"+0.8831045","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1349886$F1704873-D510-494D-8018-422DC8CC7088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14b7761e53489b7c8fd78b7eac0279009b6b2082","datavalue":{"value":{"entity-type":"item","numeric-id":3691055,"id":"Q3691055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29e506bf6c1f8538a98e384daed2d0c031841997","datavalue":{"value":{"amount":"+0.87737244","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1349886$B06D26FB-6C20-4643-A192-B00EBD8167C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6f22fb4ecf339c9c4f0744e7d490d28aa4208ce","datavalue":{"value":{"entity-type":"item","numeric-id":4218853,"id":"Q4218853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dec2660639d0f5b12d9934e79c8a2ad814f7b01","datavalue":{"value":{"amount":"+0.8738868","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1349886$E18544DF-F516-4C67-9CD0-F40933C2FB67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdb0af3f560220db2025a07873e9e1ac205017b7","datavalue":{"value":{"entity-type":"item","numeric-id":3782840,"id":"Q3782840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f37b30b900f677cf36aa0872a467517245f243d5","datavalue":{"value":{"amount":"+0.87263227","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1349886$9615095D-9633-4B98-B65A-31FE428F70A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Qu-Prolog unification algorithm: formalisation and correctness","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Qu-Prolog_unification_algorithm:_formalisation_and_correctness"}}}}}