{"entities":{"Q5966632":{"pageid":8143428,"ns":120,"title":"Item:Q5966632","lastrevid":46257568,"modified":"2025-12-24T10:21:24Z","type":"item","id":"Q5966632","labels":{"en":{"language":"en","value":"The Clausal Theory of Types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 49089"}},"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":"Q5966632$25B402ED-5A92-431B-905F-4F60793472DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"011c66ea271a90d269950567096c8d57dac8228c","datavalue":{"value":{"text":"The Clausal Theory of Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5966632$BB28802A-F728-46F7-B515-8CD01E4CFB83","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b47d39c55c10f9ee4372e744136f6742517f9dd0","datavalue":{"value":"0782.68007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5966632$1953D282-D25E-4F63-978D-D6F3E4F14D8F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae2bd53ede85003374e6482fa8576d9664bd4559","datavalue":{"value":"10.1017/CBO9780511569906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5966632$654D9248-E07A-4B4C-BEE9-1320D2472EBD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"998d15757c31c4085737f7ae10fa09232a6e0136","datavalue":{"value":{"entity-type":"item","numeric-id":1262769,"id":"Q1262769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5966632$3898772E-8BA6-4E97-AE44-872D9C7C9E76","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f64992dbeef321276c91b04bb85fa175c4114d8","datavalue":{"value":{"time":"+1993-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5966632$8EC8F80E-9046-492B-9B77-D9A8191332A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5966632$65D1117B-6359-4B6C-BCBD-6EFBC8E093C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5966632$1A5CD31E-34CF-4A69-94BB-4D266D88F45C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5966632$C83F7A1E-7CEF-45AA-899D-2DF2AE968864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5966632$8F3803B3-58A0-4C2C-88A7-D49FB423D49D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54bf42b150fbedc35c672eedd862d8069d19592f","datavalue":{"value":"49089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5966632$92030C8A-3509-4074-9B58-2FC9342B1047","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"705e1da284f24fa57732766c70d0bf99374c646b","datavalue":{"value":"functional and logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5966632$F322CDEC-86A1-44FF-AF9F-752704BE68E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b63986b54af9fc4479f8ced04eb9fb42cacc82bf","datavalue":{"value":"clausal theory of types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5966632$E7AB4624-53DF-4E02-BCC4-A5C84598D235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ad2a6d0fba3130082a59a7aa5c129b195e5b2ae","datavalue":{"value":"higher-order equational unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5966632$FF130AA9-BF9A-4CC8-B040-E5FBAE64565C","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":"Q5966632$91F24BC0-802D-4D70-AB40-7F0F4EED147A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1114086957203c5932681b4e371129dce0cfddc3","datavalue":{"value":{"entity-type":"item","numeric-id":3751042,"id":"Q3751042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dab2a47c8826ae1ec881f5bc4dcecf26253598c","datavalue":{"value":{"amount":"+0.7991800308227539","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":"Q5966632$BFBFCF18-0BF2-421C-B64E-A7516C3FD90A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf6c94109ca21025909cdcaecfc630d853b08116","datavalue":{"value":{"entity-type":"item","numeric-id":3495673,"id":"Q3495673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"948f81e87b580c7ce61b65d562948efc61fe0eee","datavalue":{"value":{"amount":"+0.789914071559906","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":"Q5966632$00DA57A2-B9E6-49F6-85A9-2C7D790C49B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9441c225f6d3abc9609e8741ee6e1a4263c6077","datavalue":{"value":{"entity-type":"item","numeric-id":4229811,"id":"Q4229811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c730055924668cae51f16992bca1041c29e2ce66","datavalue":{"value":{"amount":"+0.7693254947662354","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":"Q5966632$523B306E-0F14-4E51-8B14-E99BD977C9D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba5ddd592d5b38bbc2651085afdaabc9d3ec7901","datavalue":{"value":{"entity-type":"item","numeric-id":3586992,"id":"Q3586992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb1b486c774cf8b76f3e566841502bcef5c224c5","datavalue":{"value":{"amount":"+0.7689206600189209","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":"Q5966632$6A9FD085-9C51-478F-9B7C-26DD34DFC410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c06f53546062943063e6ba8de30d0e16d815b29","datavalue":{"value":{"entity-type":"item","numeric-id":673971,"id":"Q673971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b32ef80a2dae78b1b552201c01a0ed958e720f9","datavalue":{"value":{"amount":"+0.7634379267692566","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":"Q5966632$F3EEE510-916B-49A3-9FBE-D4AE116D6261","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5966632","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5966632"}}}}}