{"entities":{"Q2847780":{"pageid":2858500,"ns":120,"title":"Item:Q2847780","lastrevid":51821582,"modified":"2026-01-20T05:27:04Z","type":"item","id":"Q2847780","labels":{"en":{"language":"en","value":"Plug and play the theory of contexts in higher-order abstract syntax"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6207583"}},"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":"Q2847780$61DA8D73-CFE3-486D-AE86-CADC0AB4164E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"411656fdab62b10fb238c16beac71918f6783146","datavalue":{"value":"1271.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847780$FC0FDD69-371F-4AE0-B47D-474685E810EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d71615fb71a3a07e792b53a1795eab8ac6d26f1d","datavalue":{"value":{"entity-type":"item","numeric-id":817856,"id":"Q817856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847780$5F5DC7C4-B69B-40E6-8B70-0192A83EE29B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8432f88f23f21535a388b135123ce41d5ada4709","datavalue":{"value":{"entity-type":"item","numeric-id":897933,"id":"Q897933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847780$612B6032-2648-41E3-B2D1-917415295CF2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7fc63ddad5a8e5398cdc0fb5eaa54d5d147370a1","datavalue":{"value":{"time":"+2013-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2847780$D34DBF5A-5A54-40E8-8149-BB909A2E7DB4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"84b1383867635811db93b7191640f18e416c5cbe","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S157106610405145X","type":"string"},"datatype":"url"},"type":"statement","id":"Q2847780$0D50C29B-F344-4A1D-93E7-F0FFC4FF5715","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847780$8CD56077-3D69-44BB-85B8-921E9462A1B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847780$1B5E45DF-B7CC-4F7F-B13D-55CBD09105BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f621bcb628cf41b5016964f96affbbb5b82ae57","datavalue":{"value":"6207583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847780$18E8AC3D-DE66-4337-B567-7A9A5BAA0A4D","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":"Q2847780$9A516034-5058-4794-A1DF-9F80F879BA66","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb707b36d7caa1730a409667d19542182432f600","datavalue":{"value":{"text":"Plug and play the theory of contexts in higher-order abstract syntax","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2847780$EE67E0E5-06C5-4C54-BA30-14FCDC4A4A7D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de14ffc87ae9579150588c68efa3e67f7336822c","datavalue":{"value":{"entity-type":"item","numeric-id":2841274,"id":"Q2841274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c39d8123c9eb1dd05d5f7223746cae67eacdbcb2","datavalue":{"value":{"amount":"+0.8429772257804871","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":"Q2847780$26408A47-E498-4391-9BD2-EF20D113B9CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"069fcb18821dd8754f975c2ec6800d7d423e9bff","datavalue":{"value":{"entity-type":"item","numeric-id":2769442,"id":"Q2769442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"794fb58a3eee0f58435b0e5ed558bf9b1e343497","datavalue":{"value":{"amount":"+0.7757567167282104","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":"Q2847780$2F9DCDA3-0E94-4F4D-91F8-F6C1C06D5A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e50d3ac3bd4cc6f061083b443d146a408233f57a","datavalue":{"value":{"entity-type":"item","numeric-id":5472313,"id":"Q5472313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c31ece7b1df63b5a00b320f4326bdc41e22d7df","datavalue":{"value":{"amount":"+0.7751041650772095","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":"Q2847780$748610B4-704B-4154-86CC-8FAE0DEC6087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b41d2ff7117d54f8f148e9ac977fa1dd9a3a6199","datavalue":{"value":{"entity-type":"item","numeric-id":4222937,"id":"Q4222937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c19455ed7572aa7c6550719d8159a023cac3f026","datavalue":{"value":{"amount":"+0.7726049423217773","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":"Q2847780$12D37B7C-3BED-4DD6-BCEA-5907D64FAD97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14984f3cb58c984e4b4abbabec043fee8d0da6c7","datavalue":{"value":{"entity-type":"item","numeric-id":5958759,"id":"Q5958759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd1af1c8a6fac45f273f12f2e282f95d57ebf892","datavalue":{"value":{"amount":"+0.7719758152961731","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":"Q2847780$ACDFBC04-7A98-4B72-831E-6A0A3D16533F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2847780","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2847780"}}}}}