{"entities":{"Q4033837":{"pageid":6063569,"ns":120,"title":"Item:Q4033837","lastrevid":55231408,"modified":"2026-02-05T02:48:59Z","type":"item","id":"Q4033837","labels":{"en":{"language":"en","value":"A framework for defining logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 166346"}},"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":"Q4033837$143D8F9F-A80C-4DD2-9490-0EC278C928D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b7ca9e84eb7882efd5590fa50773f43648e50ad3","datavalue":{"value":{"text":"A framework for defining logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4033837$AF9D50D6-3953-45E6-8ACE-1E763687BB58","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d58f7c3a47a196ff22f57cba49032ab945f12f7a","datavalue":{"value":"0778.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4033837$0A10AA0F-8424-4286-9274-A90165CEDEA9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c5f6a03e048506207b82c8bc582a588636ef394b","datavalue":{"value":"10.1145/138027.138060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4033837$3255A555-043A-4A28-B27A-048EB0562B0D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c54adbdcdd8e58c67c424995e904ed84263f16dd","datavalue":{"value":{"entity-type":"item","numeric-id":724929,"id":"Q724929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4033837$868EBAB3-FAD9-405B-9DC7-9E3CB2D9F13A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffcbaae663fdd44dde18d8343056deb33f781162","datavalue":{"value":{"entity-type":"item","numeric-id":688568,"id":"Q688568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4033837$C40E2161-86D3-4706-A5FD-744FD4F15B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"387a3219b709013614b6a72c3083dc1a75c5189c","datavalue":{"value":{"entity-type":"item","numeric-id":371257,"id":"Q371257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4033837$01901BF2-1C1D-4CF7-A6D3-627AD929B3C4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4033837$4BAC4C0D-7037-4692-A725-B0FFC17BFC73","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1772b6c81a5108c06854e0de4518fb90e5a6ebdc","datavalue":{"value":{"time":"+1993-05-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":"Q4033837$7C2A9E2D-5FC1-49C4-8EAA-40E3B66E432F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"39eb93d50dab45b8fc0eaa6d51997ac680a232aa","datavalue":{"value":"http://hdl.handle.net/1842/202","type":"string"},"datatype":"url"},"type":"statement","id":"Q4033837$584761EB-C356-4478-A1AF-9B4A611660EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4033837$9F53B7C5-2461-4E17-A7BC-160D06CDEEF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4033837$1DFC3F3B-AC43-4993-853B-90A0C9258F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4033837$6D73A25B-5C8A-42C5-A5E7-DDD5B2BA1777","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d69d632fcd9173d525db6552514b51f98812e3e","datavalue":{"value":"166346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4033837$432D7FF6-C361-4842-9DFF-2A8FB2F2DE09","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66040eec798fa7d182443c16b59531175d83cf5e","datavalue":{"value":"logical frameworks","type":"string"},"datatype":"string"},"type":"statement","id":"Q4033837$E4544C3C-E710-4864-B974-7B898A6DB467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39c23b450ff29d10fd6d4dca1ba9df94dabd8b4f","datavalue":{"value":"typed \\(\\lambda\\)-calculus with dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4033837$BC483569-653E-47A2-808E-4E7D447AE8EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c559d0ed7a190ec6a2f37a35658c4ab8a51196a2","datavalue":{"value":"meta- logic for defining logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4033837$39C0103F-40B5-4F51-B67F-CE629F18923A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8026960d6f36428821b4502bc1641829b1806e7e","datavalue":{"value":"higher-order abstract syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q4033837$E638469E-BC77-4F5C-8BC6-968E46E52F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"916cf77d349ed57b1af47eca392decbf64518d3f","datavalue":{"value":"judgment as types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4033837$2B1A7867-5678-420D-B193-E18948072A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1a71720841142d1c395179eeff8418e72708a57","datavalue":{"value":"LF type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4033837$06B94B43-CEC2-40B3-8BF6-37C3FDDEFCFC","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":"Q4033837$1DBBCCB1-4FDF-4D74-83AD-CCAC225FB231","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"832215ceda9fdac2713f8a22550f90aaac9107ff","datavalue":{"value":"W1974190112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4033837$B014D124-0A61-459C-A315-F4FB7B539D56","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44ec43f150e0dbc8e2356d4a810ffb760b54eafc","datavalue":{"value":{"entity-type":"item","numeric-id":6488533,"id":"Q6488533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c678e1db465b1db86867c2693606801cc56149e5","datavalue":{"value":{"amount":"+0.8170642256736755","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":"Q4033837$D043DCCD-58C2-4C5C-A2AD-AE447A2DA038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6850f32c4cd09c5f2143a5206e88925f5c5e9079","datavalue":{"value":{"entity-type":"item","numeric-id":4823135,"id":"Q4823135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d1239dd7ac9f144d9f47015ce06d9b1978661b0","datavalue":{"value":{"amount":"+0.8070486783981323","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":"Q4033837$9ECC03F8-D1D3-4304-B377-3A88A0A902A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4a5467214381d9eb97275e6ca78397919ead761","datavalue":{"value":{"entity-type":"item","numeric-id":5308093,"id":"Q5308093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8865fc4ba7b0dc48635d00a6cd467ba207e23cb9","datavalue":{"value":{"amount":"+0.8066446185112","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":"Q4033837$E2592378-41A0-489E-833F-99DEFA5F5D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0474a820aa477245d719307dd6b245e63ef2e649","datavalue":{"value":{"entity-type":"item","numeric-id":4012879,"id":"Q4012879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7597e6963b3fa84582bb94f528a8fed0f37dd84e","datavalue":{"value":{"amount":"+0.7988713979721069","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":"Q4033837$A97C097E-8F69-4A84-B2E2-15C65F3A8041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dacbd805b7b44902c13309d5bd3b30627095ad8d","datavalue":{"value":{"entity-type":"item","numeric-id":5738952,"id":"Q5738952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7597e6963b3fa84582bb94f528a8fed0f37dd84e","datavalue":{"value":{"amount":"+0.7988713979721069","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":"Q4033837$45BC3FF1-0CDA-463D-A5DE-D2E362E82956","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4033837","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4033837"}}}}}