{"entities":{"Q408330":{"pageid":410097,"ns":120,"title":"Item:Q408330","lastrevid":61633596,"modified":"2026-04-11T00:36:43Z","type":"item","id":"Q408330","labels":{"en":{"language":"en","value":"Assertion and grounding: a theory of assertion for constructive type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6022164"}},"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":"Q408330$E196FD09-DD1F-41B6-8FA2-00743514F5D3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7aea11833f10732f775ff9e131d728e34a81d277","datavalue":{"value":{"text":"Assertion and grounding: a theory of assertion for constructive type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q408330$B312F383-D9C7-4C43-BD5C-F5B77C7BB551","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"52e8d7f93b05e0ba5c1548dff028078c996d18c6","datavalue":{"value":"1235.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408330$984192F1-E27C-43BF-89DE-7E0280430B9C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a8c49e50e0dbea68af9e348ebdb0e3cafa35c33","datavalue":{"value":{"entity-type":"item","numeric-id":408329,"id":"Q408329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408330$0A64BA0F-AC84-4DD0-AE62-996A4856368D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408330$E5A850DC-5F73-41EC-89B8-10C01E81F549","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"55933209420c4addae42f7a1e8ad8bdc536c87b7","datavalue":{"value":{"time":"+2012-04-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q408330$834442CD-1B33-4173-B8AF-34C1413449CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408330$AF6928F5-7486-42E0-8D10-C9EEA10695F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408330$4D8CD160-8AB1-46AB-8132-FCB74CC68E67","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3865ff1cf38296a4635e38c759ca621b0471dea0","datavalue":{"value":"6022164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408330$0AA09032-F06F-4209-AA7C-201345107C54","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"211c0a282ed1c362ea9e705108f2140d599deb1b","datavalue":{"value":"assertion","type":"string"},"datatype":"string"},"type":"statement","id":"Q408330$78693A46-DE3B-457E-A109-3C62A66B765A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05026b25f6bfc4b1c968366de4ee2d5ced833a11","datavalue":{"value":"judgement","type":"string"},"datatype":"string"},"type":"statement","id":"Q408330$5B846E33-045D-4BDE-A734-525D908E2618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6c658f92cfca10399e0b9df9aa408c3bc22cae6","datavalue":{"value":"constructive type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q408330$2F821FFB-F1D1-41E6-AD1E-D6CB612EF75A","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":"Q408330$60801FA6-4F2F-4849-A7C5-6EEFBCBF66AD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3fbab10b153de4835e78ff427596280f3c173d42","datavalue":{"value":"https://doi.org/10.1007/s11229-010-9758-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q408330$FE90BC27-3C17-42B4-97C3-28F9583B1529","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4abd899bd7a5cb6af7db064f87f1c4550eaf3589","datavalue":{"value":"W1976861212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408330$8EA3A733-E821-4128-9C1C-2B3EBAB61E2F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d3498829075cfa7815c973b9567568f3d59f645","datavalue":{"value":{"entity-type":"item","numeric-id":4715560,"id":"Q4715560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408330$884F20A2-3D22-4ADB-A131-9AA64A22499F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7f44eb4a238f14667b1d05b4a3d16aecd7caaeb","datavalue":{"value":{"entity-type":"item","numeric-id":2702584,"id":"Q2702584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408330$52A8CE1B-CBCA-4547-9EDC-A1F5890A85A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5769eff0a2ede6650e8ecb17abc74e30a6cc9dd4","datavalue":{"value":{"entity-type":"item","numeric-id":4360856,"id":"Q4360856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408330$1006055A-CAD1-4F2E-8F02-E3B39AE920CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db4c6d9ba83c8d7d076cf23fbde61713704c7a35","datavalue":{"value":{"entity-type":"item","numeric-id":4247025,"id":"Q4247025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408330$125A8B4F-4D9C-4E28-9836-530DB986CE23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aee2f94b9261db91fcb79ee075343540417328d","datavalue":{"value":{"entity-type":"item","numeric-id":4843182,"id":"Q4843182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408330$02F80BCF-E6CC-477B-8063-B2000423AE4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2178408d2a19c078acedf49db5fed0c96dad00d9","datavalue":{"value":{"entity-type":"item","numeric-id":3207941,"id":"Q3207941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408330$9F75E581-075A-4EE7-8624-053B91B6725D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6664da2cf5abaf8bc534e14decbf7d316cae98c5","datavalue":{"value":{"entity-type":"item","numeric-id":4942691,"id":"Q4942691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408330$D5BECB5A-A5FE-4932-B98A-FABBCF55EA4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a49ed2b9c10931c861d39c90bc8dd43287c0034b","datavalue":{"value":{"entity-type":"item","numeric-id":2460191,"id":"Q2460191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408330$AB50AD1E-A147-4305-BCA5-F3B8C9C49859","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b92b1ba850fff1f92d76fc2314828568dea1c51d","datavalue":{"value":"10.1007/S11229-010-9758-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408330$927ABD39-CD4F-4377-84B2-A4035A33C62C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28ac3874935177e2b782c3ed104e4829b34dcdd9","datavalue":{"value":{"entity-type":"item","numeric-id":514084,"id":"Q514084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c3ee869aa3234abbe559ac4956b612df5afcece","datavalue":{"value":{"amount":"+0.708916962146759","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":"Q408330$8E43621D-0EB5-48FE-B90B-C3F342B6B87A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56d6b4528c0fa1da7aa077e1b44f84044e208169","datavalue":{"value":{"entity-type":"item","numeric-id":1688952,"id":"Q1688952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e05b23dba54865a615010fba10f18c300a018ea7","datavalue":{"value":{"amount":"+0.7084056735038757","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":"Q408330$B3A99B8C-64AB-490A-837A-0761DC5434BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf27a286aee00922a0d4ba6803d2b68fadbcdb24","datavalue":{"value":{"entity-type":"item","numeric-id":4823805,"id":"Q4823805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0959989805fb9ab3de9379c0955449c9d6bac6e5","datavalue":{"value":{"amount":"+0.7077848315238953","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":"Q408330$D1623980-CF24-4256-AC0C-262D7A75843C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04a8b8cf1651d502994da5c99cc35a2f34774d16","datavalue":{"value":{"entity-type":"item","numeric-id":5115861,"id":"Q5115861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42c2f97b19a783a514fb895438faa2ab6b69f61e","datavalue":{"value":{"amount":"+0.707410454750061","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":"Q408330$888B6723-09C5-42CE-9C2E-9A9F49732ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b22909c9d9d40ce9f0e3d30eee47a036e5aa0459","datavalue":{"value":{"entity-type":"item","numeric-id":383062,"id":"Q383062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ec149e8adfc47d2fa062562d9248dc056a7f231","datavalue":{"value":{"amount":"+0.7066630721092224","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":"Q408330$72ADBC46-3FA2-480F-9692-115915B5E96D","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"bee1ddd2bb542a0e64ca96574e4fab1bba361385","datavalue":{"value":{"entity-type":"item","numeric-id":57074,"id":"Q57074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408330$CD180AB6-269E-4C35-BA06-FDE3DB8C2593","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Assertion and grounding: a theory of assertion for constructive type theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Assertion_and_grounding:_a_theory_of_assertion_for_constructive_type_theory"}}}}}