{"entities":{"Q5094888":{"pageid":7124464,"ns":120,"title":"Item:Q5094888","lastrevid":55417687,"modified":"2026-02-17T15:58:58Z","type":"item","id":"Q5094888","labels":{"en":{"language":"en","value":"Dependently-typed Montague semantics in the proof assistant Agda-flat"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7568234"}},"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":"Q5094888$586987AC-8629-4C17-843B-D6DFF261C505","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8d6172f17fc714cf4fafa3629fd17f141e8e572","datavalue":{"value":{"entity-type":"item","numeric-id":5094887,"id":"Q5094887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094888$EC415AC1-60BF-4991-9ABC-9A7B9FA6D072","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"563dfd2d7fe5e800709347107faac54b2d997517","datavalue":{"value":{"time":"+2022-08-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5094888$A6776FCB-C3E4-44B0-A2C8-7B2037B0F98C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094888$BED79E4D-47F4-4AD2-ABCD-21A38906D03B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094888$BC706EFB-3B05-430F-85E7-914EED86E661","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f67f0f5047c07e7a4590294d46e2df1ddbb0fe4","datavalue":{"value":"7568234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094888$C3532802-EEAC-44E2-81EC-A661CF53746D","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":"Q5094888$BD0A3D51-0E48-49F7-B66E-DCF40447AD93","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4eb81077d3278c2d62ff55c907e08d528a1318e","datavalue":{"value":{"entity-type":"item","numeric-id":5438967,"id":"Q5438967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc9ee1399673dc4d8f7961df696e803eb240510a","datavalue":{"value":{"amount":"+0.747757077217102","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":"Q5094888$F6F05514-5B5C-411D-8046-ED2CF1299A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af4f211bb387809534c3a4f022fd139f46c066a8","datavalue":{"value":{"entity-type":"item","numeric-id":5191088,"id":"Q5191088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdf2cd843e1a3b89638f3aa51778f22d7748891a","datavalue":{"value":{"amount":"+0.6830523014068604","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":"Q5094888$61FA44D8-A0CD-4F74-A877-416359BE653B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e923df3bf9608d52d0b963a0f393bb430f783da4","datavalue":{"value":{"entity-type":"item","numeric-id":4225149,"id":"Q4225149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3164e39037da98e750e5edc78f29ac506b5236e2","datavalue":{"value":{"amount":"+0.6814616918563843","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":"Q5094888$E04D9C84-DBEC-407C-B83A-86E1240C3F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf4b9484198e3afc4c8b76838c2595d71229dfbe","datavalue":{"value":{"entity-type":"item","numeric-id":3712304,"id":"Q3712304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69c8c21a3e2e9adf2e2b42124e1c823b3d9c58dc","datavalue":{"value":{"amount":"+0.6814391016960144","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":"Q5094888$07CAC1B9-8AE2-4064-94DD-F188BCB75CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5c7ca53337639fe5b13021e88eb0c5fd029650c","datavalue":{"value":{"entity-type":"item","numeric-id":1685927,"id":"Q1685927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8991d7eed494681328bc571a7bf5f5c2666464f9","datavalue":{"value":{"amount":"+0.6768120527267456","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":"Q5094888$EB1F6588-30B1-498A-9A4E-91118471F0CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5094888","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5094888"}}}}}