{"entities":{"Q6654495":{"pageid":14265652,"ns":120,"title":"Item:Q6654495","lastrevid":55812919,"modified":"2026-02-17T23:14:57Z","type":"item","id":"Q6654495","labels":{"en":{"language":"en","value":"A type theory for defining logics and proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7959701"}},"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":"Q6654495$4339986D-16FE-4CED-A572-B04150F32A57","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d9b5652043bf88df251720918a7164cf51acf39","datavalue":{"value":{"text":"A type theory for defining logics and proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6654495$E9329EFA-3BAF-4B41-8366-D27F15A9CD5A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe8ddb452aeff3b1b676d4e0924af686ba31a5e0","datavalue":{"value":"10.5555/3470152.3470181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6654495$2F7BBE56-9FDD-4A3A-877C-863C171E4099","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8825a5f48e59e5b1e1510e59d52fce48da47c37b","datavalue":{"value":{"entity-type":"item","numeric-id":229739,"id":"Q229739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6654495$550B6C9C-2873-49F9-B35D-F4E21D21E10C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"737d28b070ce0e465798910a7ca8a8d691df24ea","datavalue":{"value":{"entity-type":"item","numeric-id":2931779,"id":"Q2931779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6654495$2B899BCC-9785-4F15-8776-11AE28F3EE25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fd295c773add0c694cee3f65e8e7cf93dc4bc27","datavalue":{"value":{"entity-type":"item","numeric-id":923882,"id":"Q923882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6654495$BF22B74A-F87E-4917-805F-9C2CA570AB83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e52cdd838bf45987c7ae2b1c85d4ee6ac69bc8f8","datavalue":{"value":{"entity-type":"item","numeric-id":2140475,"id":"Q2140475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6654495$D92F20D2-DC3E-4124-BFC9-439ADF5C0CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51c824a61fdd9e538d938c2be1c425e63d46dabc","datavalue":{"value":{"entity-type":"item","numeric-id":6654494,"id":"Q6654494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6654495$59405AF7-60C2-4A85-91E2-0D1FEDA6F4CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4e986e57a46b356e61a6b4db9acbb203ad87efab","datavalue":{"value":{"time":"+2024-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6654495$22C9912E-A76B-4765-9A90-21D99341FD98","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6654495$26B0A122-EA5A-45BD-8401-E6E99C1BE874","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6462c483b10018e87581a31b5515a647141cc1ab","datavalue":{"value":"7959701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6654495$21BD250F-E7BC-4C51-A185-67FB1C7C57E2","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":"Q6654495$943B471B-D0B6-4F69-A452-070E8F90A117","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c9af094cb20226c99db0cb8ff7bed51d584eaa7","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7e3fd87c776ebdb3a0fdbc81ee143b76177fee2","datavalue":{"value":{"amount":"+0.76041579246521","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":"Q6654495$347B8815-20EC-4666-A7A2-891EF91B5290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50f559e33bdae5d6031398bd74dad7b706db362e","datavalue":{"value":{"entity-type":"item","numeric-id":4282512,"id":"Q4282512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fb0f0a916723b852a0db77cd9f53b48f4bbc973","datavalue":{"value":{"amount":"+0.750349223613739","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":"Q6654495$229303FB-0EF6-488A-8CD2-31EDFD954C3D","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":"ba86b35e7214107dcec72a4794a0dcc9038d2b9d","datavalue":{"value":{"amount":"+0.7412786483764648","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":"Q6654495$F3916FB8-D34A-4B95-9C48-24C5AE547249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dafebfd5e58bb74a87b62c1042cc11c64f5d7479","datavalue":{"value":{"entity-type":"item","numeric-id":5096234,"id":"Q5096234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94c0c886e18e2300ab28399d997265b6b1564b23","datavalue":{"value":{"amount":"+0.7390368580818176","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":"Q6654495$8895314F-4D18-44D7-9CAD-E2C2C2F805AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c62c088cec7687b1ce357dc6e45c09b92cc3a17","datavalue":{"value":{"entity-type":"item","numeric-id":5883738,"id":"Q5883738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1aed89a7d1b8b68710ffcc1a237e3df1a1498b31","datavalue":{"value":{"amount":"+0.7387098073959351","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":"Q6654495$D361467D-A8E8-475F-A80C-9FD3E4042953","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6654495","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6654495"}}}}}