{"entities":{"Q2804331":{"pageid":2815069,"ns":120,"title":"Item:Q2804331","lastrevid":52518605,"modified":"2026-01-22T20:54:49Z","type":"item","id":"Q2804331","labels":{"en":{"language":"en","value":"An open logical framework"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6575042"}},"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":"Q2804331$5A712682-89D2-4CF6-BA67-F83001D93675","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed31f12f67cb52c11db8457a616d67912c7ffcf2","datavalue":{"value":{"text":"An open logical framework","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2804331$2B491716-898F-46F6-902F-3D6FC131D9F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e9d84c772e60a2a8650294d6af1c67e8ada095b","datavalue":{"value":"1352.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804331$51856978-1314-4CF4-8760-B543EBF37EBA","rank":"normal"}],"P16":[{"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":"Q2804331$4CD8C28E-6586-4741-BB8B-21DC2E057310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee9771119692ddffd69d111df56f64f5e92dbebe","datavalue":{"value":{"entity-type":"item","numeric-id":556820,"id":"Q556820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804331$6DF521B1-D3C6-4D56-B4C6-79DD89CFB85B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8432f88f23f21535a388b135123ce41d5ada4709","datavalue":{"value":{"entity-type":"item","numeric-id":897933,"id":"Q897933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804331$B28DBE4A-9E34-46A2-857D-7FF23ED5D8B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84b1829080916ca34a6287f584b653442826b5b3","datavalue":{"value":{"entity-type":"item","numeric-id":930883,"id":"Q930883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804331$3738D075-0438-4A59-8604-5FA1C0B62AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c5e231b3dbbc5d1bd2f4dc979442fdd78789897","datavalue":{"value":{"entity-type":"item","numeric-id":6771347,"id":"Q6771347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804331$C136A50D-00E5-4C7B-A0D5-9D3895DDD268","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"023d69fc066169597fa101da2e0c4ab7a589a584","datavalue":{"value":{"time":"+2016-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2804331$70C78756-59A4-417D-8415-DF7FBC4538BF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bfcdd6678edca9e4e96c6b1863e10b97af17184d","datavalue":{"value":"http://hdl.handle.net/10044/1/29759","type":"string"},"datatype":"url"},"type":"statement","id":"Q2804331$F6B4AA8C-8248-4532-9046-77B4DC334492","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804331$50092B13-B578-4EBF-BB84-4ED60FCE5938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804331$0C2CC8C6-2A96-4466-AC84-DF415AC518A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804331$81E09D89-CEBC-41C3-8675-547245EDA863","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd1c35223b352b51da95fca95ea207e45f95d5fa","datavalue":{"value":"6575042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804331$FADD6F52-E4D8-48D3-9255-EF6A123BE9A1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fbade4461d2c54186a685f132cb947d5d896e30","datavalue":{"value":"computer-aided formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804331$C958465E-E5CE-4D17-B65B-D4D1AAC0DCCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804331$A34FB7D2-4214-4E3C-8B0B-28CD42ACE1F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66040eec798fa7d182443c16b59531175d83cf5e","datavalue":{"value":"logical frameworks","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804331$D1731D17-A515-4109-A16E-D4C0C5BAEBA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01f639a56e1e38a2490c4463ce011c878a3d36ab","datavalue":{"value":"typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804331$77529762-2A60-4851-B327-75BDBA6B5C5F","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":"Q2804331$ECA9E3A4-7452-43AB-8C30-11D5C8683758","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"41798817d98b391d0287f039aa06a5cd3893e3e8","datavalue":{"value":"W1999838273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804331$C63FA74B-C68D-44AF-93E5-F673ADE7E824","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d5ce231032aca552cb6194ea1ccd7b5ace5b68c5","datavalue":{"value":"10.1093/LOGCOM/EXT028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804331$36354C06-6B8E-4C36-B53B-177857ACFB06","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4e284497c1d95ed03031b32369f55bf404c9e002","datavalue":{"value":{"entity-type":"item","numeric-id":6768690,"id":"Q6768690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804331$6AFBC0BF-C331-41D4-AAC5-71D66DFD3E80","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"491ae276abe92f2ec40b4854410c8b8e1b4ba3d5","datavalue":{"value":{"entity-type":"item","numeric-id":5505549,"id":"Q5505549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66589642bf1ba7bed2891e0affe46e6afe3e5346","datavalue":{"value":{"amount":"+0.8378127217292786","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":"Q2804331$D668D894-C164-4747-8E7E-28986545D876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97b6433f8ac5bc91139158e99b590c3a2c322baf","datavalue":{"value":{"entity-type":"item","numeric-id":5278085,"id":"Q5278085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c8d19f420232321fc47cc44398d22484c2dee9c","datavalue":{"value":{"amount":"+0.8227298855781555","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":"Q2804331$E6215B29-FF71-48A6-BF16-3A830D888B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44b9186db654894550d7e57d85e3b92b8a3c2cd0","datavalue":{"value":{"entity-type":"item","numeric-id":5096264,"id":"Q5096264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d064bdd3cdb23b2bfe9b75d1ca5602b35b6de07c","datavalue":{"value":{"amount":"+0.8219972848892212","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":"Q2804331$FE3010E2-BE44-4A02-847C-9864FA025BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bd1bf22083eef73ffc41b2761f48f88695afda9","datavalue":{"value":{"entity-type":"item","numeric-id":2922027,"id":"Q2922027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28c4ea9384c9b37f78ab7f2a23aca6d8239b3916","datavalue":{"value":{"amount":"+0.8201058506965637","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":"Q2804331$6289FFE5-E31C-43D7-B696-CF5CEE353DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e93eaf4fcab877dc8917b9615a42145cb81a4488","datavalue":{"value":{"entity-type":"item","numeric-id":2864157,"id":"Q2864157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92631cf948e9ee81011d859bb8f7bbfe1840f484","datavalue":{"value":{"amount":"+0.8126858472824097","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":"Q2804331$034DDC28-7906-4368-9E93-7BF18847B73A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2804331","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2804331"}}}}}