{"entities":{"Q2879253":{"pageid":2889973,"ns":120,"title":"Item:Q2879253","lastrevid":52085357,"modified":"2026-01-20T22:02:50Z","type":"item","id":"Q2879253","labels":{"en":{"language":"en","value":"Formalized, effective domain theory in Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6341483"}},"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":"Q2879253$BF998264-C3BF-44EC-9F9A-43466558AE15","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6cf7dd91b24ba960be708ef8b2c8896cc866b854","datavalue":{"value":{"text":"Formalized, Effective Domain Theory in Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2879253$C6AA08CF-D304-4E58-A365-93B901B93240","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"010f485be2642da48d4966bcee1932a025badadd","datavalue":{"value":"1416.68158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879253$C8616171-AD1F-4E6B-A716-4907CB2CB732","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3f35e9273e58f2cec544661b69a82d3d27aa60e","datavalue":{"value":"10.1007/978-3-319-08970-6_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879253$7102822F-DC15-4C74-B601-2240DF48C8CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"481d29485605c03adc7bdf0416a1032ee00690e0","datavalue":{"value":{"entity-type":"item","numeric-id":1945920,"id":"Q1945920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879253$993048EE-2488-4B0C-9340-B51B625219EB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879253$AD965CA0-FEF0-4DA5-B926-47DAC84616D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"565bc5987614f46e32dc98add32d630fe2eeb533","datavalue":{"value":{"time":"+2014-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2879253$3D4E5A98-A46B-46A8-AEDF-2CB6143CD4F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879253$994A4328-8153-44CE-8ED5-615ECB9DAF20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879253$0357D1EE-65D5-4DFA-A50A-1668F2D2BEC2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e0528d18f4f0dabe61e5d03ad7b59cec20191e0","datavalue":{"value":"6341483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879253$34F129C6-BE55-48CF-83E0-D89F595AD4C8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879253$9AEF0A7A-D8E2-430F-8CDD-89822451BBAC","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":"Q2879253$2F269076-ABD5-45D9-972D-A52CEE4D795E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d007d0691128e688cfded417d5267488c59920e7","datavalue":{"value":"https://doi.org/10.1007/978-3-319-08970-6_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q2879253$52B2D351-8C1C-4BCF-BFB3-2A5562F2A7AE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"30bc484fcb07a11f0313ced088df55eaa1f9d701","datavalue":{"value":"W199262333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879253$C22C7889-96FB-4774-8B0B-6E14DEEB0177","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3e649413681a21d6a72aaed2e7c95ea38361baa","datavalue":{"value":{"entity-type":"item","numeric-id":3183523,"id":"Q3183523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1579961594c233111a83a1431cf2255b88fe850f","datavalue":{"value":{"amount":"+0.8613085746765137","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":"Q2879253$F7E8870B-05F9-4F5B-872E-7183A49AC615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f41c4d0a8b5b2af9d1b0eaf03ff14cbc5c60d1c3","datavalue":{"value":{"entity-type":"item","numeric-id":1318702,"id":"Q1318702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6701df9c2198f83d14957ab37bac32df108a3c44","datavalue":{"value":{"amount":"+0.7645361423492432","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":"Q2879253$5AD05BFC-DD1F-4DFE-83EC-278C35BD32CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"656c6c156615a60d13a9d30b7c5a2779a494e609","datavalue":{"value":{"entity-type":"item","numeric-id":5856423,"id":"Q5856423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2715f342871106120589a69848a79eae94077490","datavalue":{"value":{"amount":"+0.7634977102279663","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":"Q2879253$22E3000D-56AB-43F0-BAEC-12CA2563E02D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e1d31a1939b7e893a04b16b337fd391a8c5a3ef","datavalue":{"value":{"entity-type":"item","numeric-id":4335371,"id":"Q4335371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f0c9a78a904687c4c9ca3fa860b25c8faa00ee1","datavalue":{"value":{"amount":"+0.7554453015327454","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":"Q2879253$AE6FEC29-5E94-4D39-BD3E-D318CB68D180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f712d4fdb32936fdefb5a269f6c441dd791e2be","datavalue":{"value":{"entity-type":"item","numeric-id":1961922,"id":"Q1961922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f0c9a78a904687c4c9ca3fa860b25c8faa00ee1","datavalue":{"value":{"amount":"+0.7554453015327454","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":"Q2879253$5E0081A2-F060-46AE-9A2A-2E76CE472BEF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2879253","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2879253"}}}}}