{"entities":{"Q2936808":{"pageid":2947528,"ns":120,"title":"Item:Q2936808","lastrevid":52166639,"modified":"2026-01-21T02:06:10Z","type":"item","id":"Q2936808","labels":{"en":{"language":"en","value":"Biorthogonality, step-indexing and compiler correctness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6383946"}},"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":"Q2936808$6A82AD81-9982-43C1-A308-47309A58E0FF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"572aba370b55b0533e41dd3afadc7bfc80fb3c11","datavalue":{"value":{"text":"Biorthogonality, step-indexing and compiler correctness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2936808$62456968-BEBD-492E-A528-59E83D316C48","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3106a7067f351f6e9f261d8ca417303e321dfd0f","datavalue":{"value":"1302.68083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936808$05F0E63A-9BE9-4851-9EA2-7EE9A84D8A96","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f8da0c243c53239ea16d3fd65d1d5eb3fbd67bd0","datavalue":{"value":"10.1145/1596550.1596567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936808$56AC39CD-F3B1-4F7F-8C98-24E9378756B6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"24edb71357444cfa1110c00b8f09fd608c1bc854","datavalue":{"value":{"entity-type":"item","numeric-id":2392478,"id":"Q2392478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2936808$482B0D94-28DD-4F74-A63B-600B2FBF05DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"61b4416adb1b221673db19b3bfc1a87bd25d3903","datavalue":{"value":{"entity-type":"item","numeric-id":1014643,"id":"Q1014643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2936808$0C0930C5-EA00-4F7C-BF18-2C23B5C71714","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"304e11f28f1f8f9fec1b2f20c4f059e0c713c531","datavalue":{"value":{"entity-type":"item","numeric-id":2936796,"id":"Q2936796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2936808$CCFD3D66-B97E-4198-BD40-81ABF4352335","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39d11daed231ddc9c09fdaf1d1bb16c5de77d47a","datavalue":{"value":{"time":"+2015-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2936808$F8AEDA24-8314-4034-8715-F14BDC3CCA8D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936808$ABF2E9DE-F599-4867-B089-439251AE5AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936808$58B2B35F-737A-4F2C-B455-4738D3B48B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936808$A44BF13F-60B6-4458-8BD5-FC8F58914457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936808$63B1DEB3-1A05-44A2-84CC-E9AB71E8294F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"25811af30e98c1795a70150a97c13fe9dea02287","datavalue":{"value":"6383946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936808$A0348D4B-27FA-495D-8699-A6192ED742FC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc5688260d56258e4916c5f7e7a5117477dbc3ee","datavalue":{"value":"biorthogonality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2936808$B424F103-654B-4229-B260-89B7AD069A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acd9c52c59d07d5822d39f1d47e4205b4637b9d3","datavalue":{"value":"compiler verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2936808$DF3D038A-20CA-4DCE-9C65-6613AC9516D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2936808$CE1F09D6-248B-4F41-9FF8-FB276EFB9EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddbcb2073b5c7b755f2e5b673e59622629e687d7","datavalue":{"value":"proof assistants","type":"string"},"datatype":"string"},"type":"statement","id":"Q2936808$0E392334-940A-416F-88A8-A01B31F6C070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"139b1f088b49f35ab54028904277935cea2e950c","datavalue":{"value":"step-indexing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2936808$CBE96887-BF41-461E-A881-BB3EF46FCFD9","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":"Q2936808$E53C91C7-B2A6-4C36-A847-D7325DD38D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"86ef5b0d92ed5cd124bea16e149650596f7682b7","datavalue":{"value":{"entity-type":"item","numeric-id":15211,"id":"Q15211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2936808$CB4BEF9E-3F80-496E-BADA-2A3029F30A05","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":"Q2936808$8634354C-AB0F-4968-A931-35ECA8B0F8B5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ad5d5cf7e9e7c10e136a57fd0e7a12a8dd5ebe5","datavalue":{"value":"https://doi.org/10.1145/1596550.1596567","type":"string"},"datatype":"url"},"type":"statement","id":"Q2936808$4D5284BE-FDEC-49A6-8A69-F0396F9D1EDB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d813e6cd5326d9e9b35d328467e71f270bdd0b9d","datavalue":{"value":"W2104795876","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936808$DEAA82B8-F467-4C1E-B83A-E5C343B2870A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"153f6faccca11810af9d0646421f1b68db302588","datavalue":{"value":"Q130862002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936808$05408899-6A35-4B05-BA09-D047E6514501","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f303fd2ee7371e98ef37333d2078a5990073a498","datavalue":{"value":{"entity-type":"item","numeric-id":1744423,"id":"Q1744423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3b3b0e8343bf3487d9a7a3d415a15630455b998","datavalue":{"value":{"amount":"+0.8598589301109314","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":"Q2936808$66BF1C0C-2B22-4EA0-8713-A6ECB8A7762D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a79e76fe41baa7869d6e8c24476d7f501810bf34","datavalue":{"value":{"entity-type":"item","numeric-id":5408538,"id":"Q5408538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1aa177f845bf187ece6af782e1986d902d2708c0","datavalue":{"value":{"amount":"+0.7578853368759155","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":"Q2936808$8834877D-F701-4590-B9E2-EBE0772B3712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"753995a7591fdc07125446e04545c9e631973be2","datavalue":{"value":{"entity-type":"item","numeric-id":4474853,"id":"Q4474853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03207331f3e5a917910f3da008add84958fe0c9e","datavalue":{"value":{"amount":"+0.7199976444244385","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":"Q2936808$CD5AB221-046D-48D8-8E14-88DD479B25CB","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":"3468223c0661b31cdc866d2ff6ff2e3bcb54d405","datavalue":{"value":{"amount":"+0.6990330219268799","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":"Q2936808$396D04AD-0D0E-4ED9-8E2C-65EF97CFBF08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0164021b7d4aeccf155540331c1876e0e8727ab3","datavalue":{"value":{"entity-type":"item","numeric-id":3316567,"id":"Q3316567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c07202a3c67dc59edc98ebf7b8d0e4fd260afe8a","datavalue":{"value":{"amount":"+0.6909325122833252","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":"Q2936808$79636354-410D-41DC-B21F-FCB30D9DE14A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2936808","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2936808"}}}}}