{"entities":{"Q5277805":{"pageid":7307380,"ns":120,"title":"Item:Q5277805","lastrevid":94659035,"modified":"2026-06-05T07:23:09Z","type":"item","id":"Q5277805","labels":{"en":{"language":"en","value":"Foundational certified code in the Twelf metalogical framework"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6744056"}},"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":"Q5277805$23B2F38F-B699-43BC-9ED0-BB3BBD479A86","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe44b54edee648fa58d21f24d03d44b58b57ed72","datavalue":{"value":{"text":"Foundational certified code in the Twelf metalogical framework","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5277805$72816579-763D-4468-A66D-EA1128093E99","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bf88e11d8c95d2e4d14722236c11698cdd8a0fa0","datavalue":{"value":"1367.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277805$3DD64EF2-AD60-47D1-9E8C-F14B3BC27F5E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"53ec8d0020afb3ad0d3c8e2e3aabcae58e76ad68","datavalue":{"value":"10.1145/1352582.1352584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277805$076863F8-80BE-4CD0-93DD-8CA1E2606C92","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2fbb79b50629b932bb23ebc740d514386b48edc3","datavalue":{"value":{"entity-type":"item","numeric-id":1629961,"id":"Q1629961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277805$E9AC0F46-7780-4710-99C5-22D949CC887B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"150a6b0b2b8289ee781f8cda58bd776255ac6b3f","datavalue":{"value":{"entity-type":"item","numeric-id":453522,"id":"Q453522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277805$3BBEBA3B-5007-4C9B-8244-E50A46A43993","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277805$302DFA05-F17F-4D07-9CAD-34C335B21D25","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da4ed36bae8b600bf66a15aabe0c472becc2ce16","datavalue":{"value":{"time":"+2017-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5277805$D93AE907-3373-4CFC-932F-1D88993AE03D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277805$0C4BD09A-4945-494A-9F34-215E002CBC1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277805$EB6E7614-7D02-4ADE-9935-3A88384B1F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277805$F9758F00-D8A1-4710-9C59-18DDFA94FA84","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a3e5edd509d03e6e22af330e258c74539e518bb","datavalue":{"value":"6744056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277805$5DB9592A-3613-479A-9C80-3C33CE9C5C0E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2036e8860808782063aac569091f82cd04244aeb","datavalue":{"value":"foundational certified code","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277805$2B2F67F9-0FCD-4C31-A787-1EBE10DB6616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277805$7979A9D8-CCDC-4FAB-A820-F6FCC20E9886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f7406f0eff820b5e7ff01ccb48867d9c8dfca15","datavalue":{"value":"metalogic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277805$478951AD-6B86-4DCF-A565-65B30E5ADE65","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":"Q5277805$FCCF665F-C8F1-49CA-86F5-BB958AB6BD1D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"072aec0fb93bc3aee228bfe9f0445b8a813aec61","datavalue":{"value":"https://doi.org/10.1145/1352582.1352584","type":"string"},"datatype":"url"},"type":"statement","id":"Q5277805$7BD6A844-B427-490B-8797-00BF498375B3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1d0cc3d263412a4f0bbb5fdc50e6379be3abdc75","datavalue":{"value":"W2019626854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277805$29B6A900-4BEB-438F-99BA-AF6970B6E51E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce34ef5f0152e7ef9185a106ce8ead91a9f2097f","datavalue":{"value":{"entity-type":"item","numeric-id":5900713,"id":"Q5900713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56f4ab2d7cb38e6325b3a2aed2ef5289ddd3aab7","datavalue":{"value":{"amount":"+0.9590129256248474","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":"Q5277805$F83137BC-10AB-40A3-AB98-1EE1D798328D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9207cc8a9d5215981c8d9bce1501b69ed721dd3a","datavalue":{"value":{"entity-type":"item","numeric-id":5703864,"id":"Q5703864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8d3a67c8aac015e0064f4a5df7d29a5cc6a356d","datavalue":{"value":{"amount":"+0.7777883410453796","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":"Q5277805$105571B7-B3E2-4E06-AE10-5EAF6050A480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24695374181717ad1bed4a90e0740942008205a0","datavalue":{"value":{"entity-type":"item","numeric-id":1826465,"id":"Q1826465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18cffe0ebc9dbe84bb9272c870210774256511a3","datavalue":{"value":{"amount":"+0.774920642375946","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":"Q5277805$6038546C-E027-4777-8AF9-18EDEB875245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fc263c08637b696bc78907fabc836af09196bd8","datavalue":{"value":{"entity-type":"item","numeric-id":3593496,"id":"Q3593496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"767379a59835033d266a87d5b4a2132174e84079","datavalue":{"value":{"amount":"+0.7709372639656067","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":"Q5277805$B9303405-8F7C-4958-9E81-611BF49E9EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"134c9cda8b29d55e7eaa5af49a9e13bcafc19127","datavalue":{"value":{"entity-type":"item","numeric-id":5704014,"id":"Q5704014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5237043a281963a41044781897096cb44d24fdac","datavalue":{"value":{"amount":"+0.7691307067871094","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":"Q5277805$817D25AF-A823-4F99-8676-191CF329AFC5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Foundational certified code in the Twelf metalogical framework","badges":[]}}}}}