{"entities":{"Q4593008":{"pageid":6622593,"ns":120,"title":"Item:Q4593008","lastrevid":58284306,"modified":"2026-04-04T13:49:15Z","type":"item","id":"Q4593008","labels":{"en":{"language":"en","value":"Semantics of templates in a compositional framework for building logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6804568"}},"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":"Q4593008$ECF9A8D3-71A8-424F-BCFB-587C776430C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f55b1e74657b82be6558652454ce2653b751fece","datavalue":{"value":{"text":"Semantics of templates in a compositional framework for building logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4593008$96ED0619-A3E1-472B-AD44-A1470325C303","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9637bff9216926b2590221ff2ab394def91ad156","datavalue":{"value":"1379.68092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593008$A747EB1A-4EE3-4689-93A9-95753DBDC688","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"710e5e2e5f363252239565073446f58fa87c3bb2","datavalue":{"value":"10.1017/S1471068415000319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593008$D759F555-1EA7-4928-9ED5-3A9E630A7EA9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e49f7ac5b6359c00a0aabca0cf8a6a4721eca1bc","datavalue":{"value":{"entity-type":"item","numeric-id":4593007,"id":"Q4593007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593008$C9B9F9D2-108B-4745-95D4-C6DDFC8156B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff420c33f6583661703789fa0e35ee2fc656e38b","datavalue":{"value":{"entity-type":"item","numeric-id":2317965,"id":"Q2317965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593008$7F78ED47-51CC-4BB2-8B62-B72575BF5393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"10df364845edaced0a0bcab5763b691a5d68702d","datavalue":{"value":{"entity-type":"item","numeric-id":2317966,"id":"Q2317966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593008$814AFBD5-25E6-46C0-9452-96A8DD22A030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e83b218d9fa98ec7bd391365954ae9fba07e52dc","datavalue":{"value":{"entity-type":"item","numeric-id":598244,"id":"Q598244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593008$50B2BB2B-615E-47D6-A691-2FEFF66FE31D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593008$5B8D8F3C-1D6A-4290-9928-A6C041A78AA3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"643ded717d0ce40d496d15f1c6bbff7aeafb4a27","datavalue":{"value":{"time":"+2017-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4593008$B978DD10-05B8-4E73-BE76-1638079ABF6F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7f22595758125b416caebc1277dec5e7933aea0c","datavalue":{"value":"https://arxiv.org/abs/1507.06778","type":"string"},"datatype":"url"},"type":"statement","id":"Q4593008$27F34F4B-6F75-455F-A1A0-0CD8DEE646DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593008$5F216E93-E0DB-4CC4-AED9-61016129C2B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593008$9C459B0E-3D94-4925-81BE-9B30C3691F01","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"798724a45af7520270e426449db863006f968abb","datavalue":{"value":"6804568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593008$0ED96A81-1B0F-4F00-AAEA-DF35910BA5D9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dfba264ed923dd13e3004a251bcdab07ddaa86e","datavalue":{"value":"compositionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593008$3C24A213-80F7-417F-A703-F81CBB1578F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de7b85c4a93615f621aeed7bf65aeaf693dbddf4","datavalue":{"value":"modularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593008$FBF41A95-4FCC-4F65-9C0A-37EFE9B20CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1673013a0c6805fff87da58d5354b99ce6e79944","datavalue":{"value":"templates","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593008$C7D55AE4-B0F3-49E4-B895-6E06D433572C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7371ae1a2199039b5b7396c98e8f3e4509a526c","datavalue":{"value":"macros","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593008$396544C4-F63A-434D-8F55-8FE6CCD59A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593008$9F9FE54A-1045-4A20-9F48-0C5989AA9807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea811d864a984b410a67df5fbc1ccbc3b77db799","datavalue":{"value":"second order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593008$4C9E4120-2E97-4D3B-9A6F-072DE0B3015F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"caed363da2541ad310e0f82b01ecaf6d561a8988","datavalue":{"value":{"entity-type":"item","numeric-id":23738,"id":"Q23738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593008$677C229C-0D94-4DA0-9BAD-D8D82732FE8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"67c742ddc8c0df4e2405fcd2cc4fac307303288c","datavalue":{"value":{"entity-type":"item","numeric-id":14286,"id":"Q14286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593008$64B7D7A2-D010-4A76-A429-5AF34CB4116B","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":"Q4593008$F8F9B4D1-AD79-43F8-8C72-E9DA3A084EB3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"933369ae5d90623edf71bcd32cd2eb1dc07f68e4","datavalue":{"value":{"entity-type":"item","numeric-id":5449615,"id":"Q5449615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593008$0F6513EE-4FAD-4557-AE1E-8D711901D8DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65b498da1f57b359fe0412aa8066698c92774a43","datavalue":{"value":{"entity-type":"item","numeric-id":4036287,"id":"Q4036287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593008$70CDFC78-FDBC-4D7D-8478-BA4B1DCA89AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4918e571e5d554f95702f51f20ba36d95ab82f75","datavalue":{"value":{"entity-type":"item","numeric-id":4649729,"id":"Q4649729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593008$812CA1B0-CDEF-4C63-87E0-73F9FACCAC1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b59aca26d1786efe7945d486000ec6588adf243e","datavalue":{"value":{"entity-type":"item","numeric-id":2767097,"id":"Q2767097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593008$BB7D5ABA-BEF1-491C-B029-1EB31CF982E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3aa900194de12afc803b37e85dcb46e23f05f3c","datavalue":{"value":{"entity-type":"item","numeric-id":5398066,"id":"Q5398066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593008$91696F44-E216-4F88-BEA5-F9EDA630AB73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4118754afd2dcdc1ee0dad96a14d2a78b55da9c","datavalue":{"value":{"entity-type":"item","numeric-id":5277803,"id":"Q5277803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593008$ABD8F213-B32C-4B48-B7B7-DD3E8648ACB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593008$08958B11-7175-4A65-A7B2-09048D5935DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02855c18933035a88630f09d03ce867cf8502ae4","datavalue":{"value":{"entity-type":"item","numeric-id":3432854,"id":"Q3432854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593008$425A4156-C95F-4C25-A3BB-66AE711674CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef7491ab4a7be556ef06f48788ee23bf754a6ccd","datavalue":{"value":{"entity-type":"item","numeric-id":3172899,"id":"Q3172899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593008$8259E160-4B38-4B79-A301-84980BAF7CB7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"253b830e2cc93988d9221b69cc5eb0600ea2894f","datavalue":{"value":{"entity-type":"item","numeric-id":3413498,"id":"Q3413498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3530f854d776bace97f20b95221bd1a8ff3da9d9","datavalue":{"value":{"amount":"+0.6956844925880432","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":"Q4593008$7028E7EE-84D9-4F18-BDB1-852B33A51EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00aca7c03c64ed75a1eaf16ca34e9b3b51497b5d","datavalue":{"value":{"entity-type":"item","numeric-id":1314414,"id":"Q1314414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc41fa7b1706cc49b16529b87da176f7492c200e","datavalue":{"value":{"amount":"+0.6849917769432068","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":"Q4593008$D539C941-EB7B-4CD3-9A4D-47EE03B73194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bc264f0d122a3521daf0c59f61e3e27ccd0af0c","datavalue":{"value":{"entity-type":"item","numeric-id":2850303,"id":"Q2850303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f80d45914e3b7a6cb6fc5c64bd0955a9a47cd83f","datavalue":{"value":{"amount":"+0.6848055124282837","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":"Q4593008$D8AC9732-EAB3-48CC-AFEE-61309322DDFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b15dca19cbe1750d785ecea595e6920ecd08073","datavalue":{"value":{"entity-type":"item","numeric-id":5240216,"id":"Q5240216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a67e969bc80ca6e998553c1ed4e0b3a7fffd00dc","datavalue":{"value":{"amount":"+0.6824098229408264","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":"Q4593008$919EE244-61E0-4A38-A3C1-43A9646D8451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"235f58e65e65b3490f2b324acc2b516f396278e5","datavalue":{"value":{"entity-type":"item","numeric-id":1391732,"id":"Q1391732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fffbcb25775dbf2c6c0a0e2bef55fd8cea0cf6da","datavalue":{"value":{"amount":"+0.6796755194664001","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":"Q4593008$E5CE105B-7818-4D5B-B61E-9B43D4FB83A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4593008","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4593008"}}}}}