{"entities":{"Q1961920":{"pageid":1972662,"ns":120,"title":"Item:Q1961920","lastrevid":47436712,"modified":"2026-01-01T18:13:55Z","type":"item","id":"Q1961920","labels":{"en":{"language":"en","value":"A full formalization of SLD-resolution in the calculus of inductive constructions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1394793"}},"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":"Q1961920$5B9CEB01-53B0-4EC7-8BDF-159F81F0E20F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"301ad18703015ccd9eb03762b2ccebb9a42711bf","datavalue":{"value":{"text":"A full formalization of SLD-resolution in the calculus of inductive constructions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1961920$25D1708D-5757-48B3-9652-74410F43331E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"23d8be5c02a33d78499aae99a04d32ea137b13d1","datavalue":{"value":"0943.68110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961920$7BF0BBF9-94F9-4A80-8D60-D6AC09657378","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"918bd8e958069a3ac14d1395f73bb77846084950","datavalue":{"value":"10.1023/A:1006242018697","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961920$DB86E538-F084-4625-860E-024BD83131DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89abb343c9dcded92ff43484864af9956b446654","datavalue":{"value":{"entity-type":"item","numeric-id":1961919,"id":"Q1961919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961920$84BA6CF1-663A-4970-B553-2CFB81E4E910","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961920$770C224A-1962-480B-BBE2-13F3CB60DDE4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19945cc67174d34ebbeae4b89d0f3c36236e8191","datavalue":{"value":{"time":"+2000-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1961920$495ABE07-02F5-411E-A440-E75614F1200C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961920$1C554EAF-B40A-427A-BCB0-D8CB2255BADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961920$F34B99C9-0D4F-4B12-A48D-FE904C31AFDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961920$A53F2EA2-0407-45E1-AC8B-A9F3BEC0D620","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6152ca37bb1580e6310b6dd917056b6492611cb7","datavalue":{"value":"1394793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961920$8C47E332-58CF-4BB5-9FE6-1D753190E77E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ec129c7cf9e03ed386c8ea78f2172316be3c806","datavalue":{"value":"semantics of definite programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1961920$A6A8FBDD-DB5A-4FE7-ABBA-A5D2D476A802","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961920$D7B42AB6-08D6-4CFD-BF53-BC78DECA42F7","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":"Q1961920$AD885924-2326-4ABF-9DCA-A4953F12F667","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f942b42992d914e4c2c759a710851cbe43938c0f","datavalue":{"value":{"entity-type":"item","numeric-id":4353624,"id":"Q4353624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18f0c565f0b9c71e905075eb7279204e188f7159","datavalue":{"value":{"amount":"+0.9086732268333436","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":"Q1961920$F6744CD6-4DC4-437D-957F-8E19C482B16D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbaec2746b1bccca32932fae8a20b45338558eab","datavalue":{"value":{"entity-type":"item","numeric-id":1663242,"id":"Q1663242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8896668c6688938b6e2d23a55a0bff738e6fde3","datavalue":{"value":{"amount":"+0.7741466760635376","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":"Q1961920$32C92A43-1F2F-435F-B535-EBDEED3E8874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1703b32a2b77d0843308ad39e4abb09b5e4bc888","datavalue":{"value":{"entity-type":"item","numeric-id":2829269,"id":"Q2829269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a47eb8eb6c90205ede057571932a4aaf86d79e6c","datavalue":{"value":{"amount":"+0.7552788853645325","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":"Q1961920$39332220-850B-4E24-8A39-733328CB8AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e09e06bf88db1db02dcceeee9b9c6eb10b6484f","datavalue":{"value":{"entity-type":"item","numeric-id":4286221,"id":"Q4286221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e48490cb0675c7f1649d605f559daacefc2019e","datavalue":{"value":{"amount":"+0.7538877725601196","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":"Q1961920$D9009E41-86A6-4A16-80C9-B1E410A26638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9f1031a45b4cd5f7e3350daff411c86ab8841d9","datavalue":{"value":{"entity-type":"item","numeric-id":3210889,"id":"Q3210889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b736ef4e7e3ef8541b86627bd078eea3db9c9aae","datavalue":{"value":{"amount":"+0.7523557543754578","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":"Q1961920$ADFB68DE-1935-4DDA-821F-57F930AFEE48","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1961920","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1961920"}}}}}