{"entities":{"Q2941174":{"pageid":2951894,"ns":120,"title":"Item:Q2941174","lastrevid":52332746,"modified":"2026-01-21T11:35:39Z","type":"item","id":"Q2941174","labels":{"en":{"language":"en","value":"Calculating certified compilers for non-deterministic languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6476401"}},"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":"Q2941174$C3AEC271-DD14-4A7A-924D-7D75B70D0EC9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"76dac47299d57e7a12eab2e8408f502993b149ba","datavalue":{"value":{"text":"Calculating Certified Compilers for Non-deterministic Languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2941174$7F41BCBE-DD86-4911-BE02-6F147C499D34","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d911e181c6d08e654f841ef6f3a591be12a3c99c","datavalue":{"value":"1432.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941174$70488D21-3174-4739-9DDA-A164B705E5AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44c9cce9bb8cddd87e1ea30cb8c7002d3e76a0ae","datavalue":{"value":"10.1007/978-3-319-19797-5_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941174$F922188F-84FA-4D2D-AA1B-9792C18EB695","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4136daa22cf2091db4454b4ad389b74934d06947","datavalue":{"value":{"entity-type":"item","numeric-id":667428,"id":"Q667428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941174$06820B5C-84DB-44B6-8A6F-8F06D79A3A9F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941174$02E4B8C4-7C7B-45DD-929F-01A706842FD2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f5d7e575ce06abec1e01331d693d8d1b08ceff3b","datavalue":{"value":{"time":"+2015-08-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2941174$DC4D082E-C9A5-4AA8-BCA9-CC33D7603EDD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941174$533FBD61-A76D-4DDD-9189-6543C451AAE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941174$55ECB70E-2B0E-462E-B086-7D00AFAE853A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941174$28E22323-7340-4B2B-B3F7-DBAF7E199304","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"00940a1e828675fc14dc390cbba4b439b6b40a8d","datavalue":{"value":"6476401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941174$720558BD-9600-4A71-A312-C674D844F940","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":"Q2941174$0C77E38B-5A7B-4291-9688-94F59F9840D9","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":"Q2941174$02CF71A2-0C19-486F-90F9-DACF2047A1F1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1b0de305165c3e5cf991f0c9539da70661af1b8f","datavalue":{"value":"Q58061581","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941174$968FC4AD-BD96-4076-AD4B-D3F9FC87D1DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1cf153912c0e208ffaa3d8d161e98b8ad1063f5e","datavalue":{"value":"https://doi.org/10.1007/978-3-319-19797-5_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2941174$0838CC15-1F95-4BD6-9A76-E3DFF615442B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"660ff05dc08419da26003e693e9068483002d6e5","datavalue":{"value":"W1188080205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941174$163758DA-E573-4BBD-BE2C-2A3537EDD1EF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2dceb0945904c43f199d35b1b3cc849bc44877","datavalue":{"value":{"entity-type":"item","numeric-id":2390256,"id":"Q2390256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941174$19FD8592-15EE-4C67-9771-7DFA725895F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76c06761ababa85bfa8f04a80be0c177741cdbfc","datavalue":{"value":{"entity-type":"item","numeric-id":5371953,"id":"Q5371953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941174$E0D8E8F4-A30F-4D7E-959A-DEC123D505C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27ebef1a8cead56989ed544ee3c516c448d6373c","datavalue":{"value":{"entity-type":"item","numeric-id":963342,"id":"Q963342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941174$DE80DCE2-607D-4252-A52C-A7899063C28D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"079cc22b61d8b762a9df203008804550e715a751","datavalue":{"value":{"entity-type":"item","numeric-id":5899343,"id":"Q5899343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941174$407F2256-AC00-4B68-BF34-3C586B6D0416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40d7428570455d80c78dc46721d2b1cb8825c0ed","datavalue":{"value":{"entity-type":"item","numeric-id":5428373,"id":"Q5428373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941174$FD83EB6C-4998-4842-93FC-1B079AEA1026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"573c6c41ed26aa070e75225c6352a26e064dd624","datavalue":{"value":{"entity-type":"item","numeric-id":3774923,"id":"Q3774923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941174$0123B615-0185-4E4B-A11A-A76B187CECAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f77790f3de0e7a5198a8f1c64a8023dd2bee09","datavalue":{"value":{"entity-type":"item","numeric-id":5348912,"id":"Q5348912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941174$D19E618B-9240-4366-9458-CDB6737DC1B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0bdd715b1026d1cb98b08aebff75dd42a415013","datavalue":{"value":{"entity-type":"item","numeric-id":3644935,"id":"Q3644935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941174$71529A85-759A-457F-99D0-879480FE1294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a55b91e5c798b087ec23f3a232894bb04f75c463","datavalue":{"value":{"entity-type":"item","numeric-id":3067474,"id":"Q3067474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941174$AEE3822C-F43E-4AAF-8961-F3DE9B0A382D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941174$6C897849-CB4E-41A6-995B-A798EFAC8FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38544e4d5b9b72e55b740515a4b055c67b48ec72","datavalue":{"value":{"entity-type":"item","numeric-id":3942416,"id":"Q3942416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941174$C8828525-31A0-4F1E-94F4-A73DE0680560","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98df0cec85db2ec70fd1052459c48929350c1736","datavalue":{"value":{"entity-type":"item","numeric-id":5371953,"id":"Q5371953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d33a7b9b77d3d73aacec1641ac731f57376998ba","datavalue":{"value":{"amount":"+0.7563086748123169","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":"Q2941174$C66FF70E-7535-43F7-AD17-400C2A42F181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f29474da1eb824221d8a9a3b9e4e3876194dc88","datavalue":{"value":{"entity-type":"item","numeric-id":5348912,"id":"Q5348912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"791a929a818ec6f7c20d0644ca810ac529eb27fc","datavalue":{"value":{"amount":"+0.7244978547096252","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":"Q2941174$65F82309-FC3A-4CD7-8F5B-13A6DC3C0BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de594ec2d6394cdc303d43ffa33d153085c0a830","datavalue":{"value":{"entity-type":"item","numeric-id":3718127,"id":"Q3718127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"038a4158ee99b4ca97e0d4229eaa90ed2a9092b3","datavalue":{"value":{"amount":"+0.7096868753433228","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":"Q2941174$0FB9A7A1-762E-48AE-9850-0CA7ECDD5932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65417b7c4d8073794042aa18b3464d8aa7dc19a2","datavalue":{"value":{"entity-type":"item","numeric-id":5255065,"id":"Q5255065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cc254d3fd55f2135ef8e83e46e59b91e24d8c0e","datavalue":{"value":{"amount":"+0.707427442073822","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":"Q2941174$F3610155-0D8E-4AE3-9089-C42D0D53CE22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"395c064621b7be02afe7be83f3da6c2d0ef02a4d","datavalue":{"value":{"entity-type":"item","numeric-id":2938050,"id":"Q2938050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df5c2c1b68eff7bbebd5591fee09ce40eb7a1cba","datavalue":{"value":{"amount":"+0.7039085626602173","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":"Q2941174$BE3608E9-E130-4790-A5C8-BC44D4F00FB3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2941174","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2941174"}}}}}