{"entities":{"Q2909175":{"pageid":2919900,"ns":120,"title":"Item:Q2909175","lastrevid":85041770,"modified":"2026-06-03T05:39:54Z","type":"item","id":"Q2909175","labels":{"en":{"language":"en","value":"Implementation of axiomatic language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6073926"}},"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":"Q2909175$644A464F-322B-48C0-B60F-249FB0B8E310","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17244f75e2238d20aa90326dacb41ab3bc059a36","datavalue":{"value":"1245.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909175$8AF2CA6D-2BB1-4570-8681-40F0CB1DA9D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdf95df935504007aef1566e8a60b26a274e905a","datavalue":{"value":{"entity-type":"item","numeric-id":2909174,"id":"Q2909174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909175$7B19821F-603C-4285-8AA7-453C65B53BF3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ce614070009b11291ee6b015c78682bf76dc525","datavalue":{"value":{"time":"+2012-08-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2909175$4F6DAE62-9BDC-4F69-8C51-599F6B899958","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e80ef1e3defb93ad1f9df1742646620ff0bc37f","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_06be.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2909175$7E81F9E3-A2DF-48C1-AE72-36595918338F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909175$73C31946-579E-4879-B7E3-6AAAABC0FE0E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ed7211a88ed01f1ac0d5ce6840947052eedc372","datavalue":{"value":"6073926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909175$780F41B0-0A2C-494D-AC59-53109DBD51BC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"488555badde9a68946ad3e3db44bdb644b97e4ac","datavalue":{"value":"axiomatic language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2909175$75F7E476-FB92-430B-B50C-00D0A5279CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2909175$DB65497C-C739-436E-A790-893828EC5EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2909175$D3905242-B948-4B78-AF35-70D2E7ACD910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9b259504757f3968eb7286211a4fae9983a4b82","datavalue":{"value":"unfold/fold","type":"string"},"datatype":"string"},"type":"statement","id":"Q2909175$5C2FC107-E068-4129-B229-4E534F9F3398","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":"Q2909175$E8E68599-F6A8-49ED-83DA-CC6CC3918406","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5c10b93550ec372087b9250a5b22d0a8aba67772","datavalue":{"value":"10.4230/LIPICS.ICLP.2011.290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909175$EEAB63A9-27A0-4F53-A33E-95473E77842F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c689d073f19e4c36decf748a06b1e49fe825671d","datavalue":{"value":{"text":"Implementation of axiomatic language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2909175$BE9F2686-EDAC-46C2-AE75-F7E9A96720BE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ea05b8eeda0bfa881b7edcfa54a3db87556383d","datavalue":{"value":{"entity-type":"item","numeric-id":3819981,"id":"Q3819981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbd39e834789f720b7223b374e7fd063a9945f2b","datavalue":{"value":{"amount":"+0.7001736760139465","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":"Q2909175$267E4C13-502A-4BE5-8D69-2B71369B428A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cc72aa556cc2beca7ff7fdc1b2abcaefce35084","datavalue":{"value":{"entity-type":"item","numeric-id":4281605,"id":"Q4281605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"033076da70a26f8efd1816e6d0fdc7f1ccfc243c","datavalue":{"value":{"amount":"+0.6960243582725525","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":"Q2909175$5EB877AC-B460-4F7F-886B-12824CBD0A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67e2159e452265af1ec4ab9a245dc12133901d2a","datavalue":{"value":{"entity-type":"item","numeric-id":5184366,"id":"Q5184366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85f7c87d19d080399aba04cd7a8e8459857bf9d1","datavalue":{"value":{"amount":"+0.685405433177948","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":"Q2909175$7751F645-2A8F-453D-B91D-CF9DB9FC97D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c57641737abd65516be40214118c7b588758759","datavalue":{"value":{"entity-type":"item","numeric-id":5449645,"id":"Q5449645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab5dc87bf82edc2475b51d149c07caa5bf1eb28d","datavalue":{"value":{"amount":"+0.6782268285751343","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":"Q2909175$A653C1B5-ACFF-4E74-AEE5-B9CA51276AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a78656e009a875f791fb00201d65f8f9e3e67b0","datavalue":{"value":{"entity-type":"item","numeric-id":3200537,"id":"Q3200537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b17e11f9e3e03026e35032ff637cf7b25e83843","datavalue":{"value":{"amount":"+0.6759772896766663","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":"Q2909175$6AABE8D9-B7A1-4375-830D-E4134485A2DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Implementation of axiomatic language","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Implementation_of_axiomatic_language"}}}}}