{"entities":{"Q2368949":{"pageid":2379692,"ns":120,"title":"Item:Q2368949","lastrevid":49821826,"modified":"2026-01-11T01:42:05Z","type":"item","id":"Q2368949","labels":{"en":{"language":"en","value":"Refinement calculus: A basis for translation validation, debugging and certification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5020360"}},"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":"Q2368949$74256CD8-ACB9-4D66-9800-107CC2F2B32E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47cf4389f53b8e5f33d1ee83227563e8dbf4b4e3","datavalue":{"value":{"text":"Refinement calculus: A basis for translation validation, debugging and certification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2368949$274FD6CC-3C7F-4F08-9C79-A7D171D27D10","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2596941909d76b26b86db585217c3c9056543408","datavalue":{"value":"1088.68037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2368949$E9202BA5-8D2C-4754-8E35-A468F10A8CC0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"21198760290cb2107aa3596f751bf69caeb1c2c8","datavalue":{"value":{"entity-type":"item","numeric-id":2368948,"id":"Q2368948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368949$5F47CEBC-4D9C-4DA9-A0D7-7E5294916A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6e169b57195ba199568844c5f0329cd366749c5","datavalue":{"value":{"entity-type":"item","numeric-id":553360,"id":"Q553360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368949$45D66048-0C05-40F5-AC16-75CB54CA58B6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368949$B0A564F0-B9D2-41FA-B290-659694D88EEE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8728e91b2b3c919aca654c671fc4eed9ec21fc4b","datavalue":{"value":{"time":"+2006-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2368949$E43D30C3-CB0F-4CAF-8485-E2F7632543C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2368949$4EF2A5C0-1C7E-4488-970F-CBB1FBDF5C18","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f025c49f8e2100e21c06e788c89be9cca6f2a22d","datavalue":{"value":"5020360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2368949$155BAF97-E18B-44B0-A841-9638AB0053B6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9d7a91cce9317b5dfedb3fde9933f83259b7348","datavalue":{"value":"Refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2368949$C8EB977B-96F4-409C-AA3E-3BE340E55EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1555a20dc74267a3e35c54d6c0134d55e1dc3db3","datavalue":{"value":"Symbolic debugging","type":"string"},"datatype":"string"},"type":"statement","id":"Q2368949$D320A2B5-A823-4CEC-B2A0-3C71D80CEBA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5515ab474ee7ba8827e603a41c5da1489a9fec1f","datavalue":{"value":"Translation validation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2368949$D21853A7-52A4-4CB0-A3B8-92A0D9927478","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"786a5236ac94f9692f521c02ac8270dab6d23cde","datavalue":{"value":{"entity-type":"item","numeric-id":29799,"id":"Q29799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368949$5863BD1F-7EAE-4BAB-A216-CC6C1561528A","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":"Q2368949$C133CE37-9CD3-451B-9AFC-685F67B415B3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a22b29581892b185139e1c3f070b57ff0df1d619","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2005.11.013","type":"string"},"datatype":"url"},"type":"statement","id":"Q2368949$8336A7DB-349A-4271-ADCA-31D7C1AFE91D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7e563537b321c8366f9d2f09177e2175e8910e87","datavalue":{"value":"W2055689996","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2368949$FFAEDA34-E1DF-44DA-936B-D6812E65B8C6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d5978f4bdf14ef5fd8b71ce390dbec5034a1e6","datavalue":{"value":{"entity-type":"item","numeric-id":805251,"id":"Q805251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368949$9A73BBEA-4992-4820-A7EC-E430C9E5572E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61ec63bea625b06509e4372389dbe27861ae44d0","datavalue":{"value":{"entity-type":"item","numeric-id":4343983,"id":"Q4343983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368949$B99B0D6C-EE17-4DEF-ACF9-1502F0ACC399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ef4c34557550cb71d2d9dad3c6f6d40bd5ab1a3","datavalue":{"value":{"entity-type":"item","numeric-id":2766648,"id":"Q2766648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368949$B3808E00-6C10-423D-8BFD-68F5284049FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb57361506023e4c70f88fc6f42f54fb30c8ee40","datavalue":{"value":{"entity-type":"item","numeric-id":3943986,"id":"Q3943986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368949$E80B8102-D55F-46ED-A44C-E6356B9FB3C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4855383c56a8b50304c27d3a3f14a05a442f459f","datavalue":{"value":"10.1016/J.TCS.2005.11.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2368949$00796EEA-FFA1-420E-99CF-7F0C6AABC500","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"012c23954d4f438873067eae5f473ad4270bcc00","datavalue":{"value":{"entity-type":"item","numeric-id":4370252,"id":"Q4370252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20fba936ecc1fa025381250de4784be6d178debe","datavalue":{"value":{"amount":"+0.7749423980712891","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":"Q2368949$DDD23E04-2B6F-443D-96DE-FCF282E3B7B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"551c3030ce794fadfa9659c442c44464cdaf83f8","datavalue":{"value":{"entity-type":"item","numeric-id":1272759,"id":"Q1272759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46cbb0caa95ee8b9f306556ca2f774e353fc14a3","datavalue":{"value":{"amount":"+0.7546651363372803","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":"Q2368949$06AE8D0A-B3ED-4155-89E1-DEAF2CA1483F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0a3f40c3b1d0f08e71c5e0668141f3ba3e3ebe4","datavalue":{"value":{"entity-type":"item","numeric-id":4037396,"id":"Q4037396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46cbb0caa95ee8b9f306556ca2f774e353fc14a3","datavalue":{"value":{"amount":"+0.7546651363372803","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":"Q2368949$0357AC11-9B43-4821-AAA3-F564176DF33B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"524d090d085cff50384ab46fc0b59b96caa6d641","datavalue":{"value":{"entity-type":"item","numeric-id":3079921,"id":"Q3079921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70a6d671d0cdc8730a2967d15cad312a27b95ea9","datavalue":{"value":{"amount":"+0.7487611174583435","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":"Q2368949$3E7247A7-1BD6-42B9-AFB0-170BE1873B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a53ce4dfde3b9187aa98a0aeaef051d4f351f960","datavalue":{"value":{"entity-type":"item","numeric-id":4370262,"id":"Q4370262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42b610360f42c5b7af0f4cc05c2818ff98a637c3","datavalue":{"value":{"amount":"+0.7452282905578613","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":"Q2368949$B7DBE522-8635-46FC-8DFC-C781FC2B668B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2368949","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2368949"}}}}}