{"entities":{"Q1685776":{"pageid":1696517,"ns":120,"title":"Item:Q1685776","lastrevid":71981115,"modified":"2026-04-14T01:51:39Z","type":"item","id":"Q1685776","labels":{"en":{"language":"en","value":"Refinement of trace abstraction for real-time programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6820343"}},"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":"Q1685776$CAC2BCBD-8D3E-4D4C-8A75-8EBE29629576","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"075a4d9780d79ffb9814e6c9ab7829d84072b148","datavalue":{"value":{"text":"Refinement of trace abstraction for real-time programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1685776$943C7BCA-8F88-4C1E-A4EF-92BE8BCB2C14","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a6ebf52a5862271eb2276d2a8c67e5fb7e8e6cb","datavalue":{"value":"1478.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1685776$1E749313-717A-4F66-A777-6F003C150DFE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7c131163572f37b1bad7cf3314f7afbdc104f675","datavalue":{"value":"10.1007/978-3-319-67089-8_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1685776$3F8ED69D-19CC-4DB2-9C2E-245B8560D057","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d0cd92bc58c10a1fde8ab26d005df17543d6e92","datavalue":{"value":{"entity-type":"item","numeric-id":209127,"id":"Q209127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685776$EC5E8390-1830-4F57-8669-7BF05A9284B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2dcd7be7baee2e36f03a03258eb2168c5e33821","datavalue":{"value":{"entity-type":"item","numeric-id":1675811,"id":"Q1675811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685776$D3CCF60B-6D86-4208-8B62-7D300C987F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685776$37F2DCD9-DD5B-4AA9-827D-3B561329CAF8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d1f424280bd3a1cce6255069d9afac8f911a0ea0","datavalue":{"value":{"time":"+2017-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1685776$41EF5EEC-2D0C-4A99-9726-1D00A8DA1B34","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1685776$25A87774-407A-4CC5-AC0A-E020B0F7DC36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1685776$A74F880D-7D67-4843-BDA9-326BE6316DA7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f220ca27054d2750bff7f810e5a910ea0714a49","datavalue":{"value":"6820343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1685776$3180AC4C-46E0-4118-8612-4BE1C7C33718","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":"Q1685776$F2490422-E3D0-4AF8-96ED-25AA144BA0A5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"29122cab6034cf74cb7daaa920ca18fe993c39ad","datavalue":{"value":"https://doi.org/10.1007/978-3-319-67089-8_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1685776$59B24C80-ED55-4AB9-8E4F-547661128DC8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c7d752455a5d0497fd2f616a385daad123c88147","datavalue":{"value":"W2750367645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1685776$E2330D21-2ABA-4601-AC8F-3100C7EBF3FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f3ebf7e3d9bcf40422b7abd94ef74b0a520ec6d","datavalue":{"value":{"entity-type":"item","numeric-id":4989166,"id":"Q4989166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66dde77b997a309d2f6cf79eb5632dcdf8d01ab2","datavalue":{"value":{"amount":"+0.9413681030273438","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":"Q1685776$0D32AA53-05AB-41CE-956C-B241F432D222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf8ddc25104f6d3acdffb88d40f5e03345634d29","datavalue":{"value":{"entity-type":"item","numeric-id":4370268,"id":"Q4370268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23f55a4e887f0425132cc0281652f728163f7c06","datavalue":{"value":{"amount":"+0.7981974482536316","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":"Q1685776$CBE8374C-1AB7-41C9-AE68-F32F7EAF0368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b93186e530f81dfea244b26e03402cd97b7a27f2","datavalue":{"value":{"entity-type":"item","numeric-id":1589590,"id":"Q1589590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b380dfc06559b041f2805e53d1515f460cb18827","datavalue":{"value":{"amount":"+0.7738938331604004","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":"Q1685776$57ED42FD-007D-4F93-B819-0A419B936E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83c1cd95cebb0954a4a31772091de0d64788e00c","datavalue":{"value":{"entity-type":"item","numeric-id":2453108,"id":"Q2453108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a9c4e11802f3ddce2c0b154b0cc2eee4f73910d","datavalue":{"value":{"amount":"+0.7652081251144409","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":"Q1685776$0F8C61D1-0EAB-4E2D-B108-BD6F1A5C7DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fabdbece505fcb902edde9a9ec4c707847df64c","datavalue":{"value":{"entity-type":"item","numeric-id":858908,"id":"Q858908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2bb771a4a15ba1b7402d8a660b01b69f4e074d4","datavalue":{"value":{"amount":"+0.7603226900100708","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":"Q1685776$132A4AE7-43CA-42C1-8FBF-2CEB3503E111","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Refinement of trace abstraction for real-time programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Refinement_of_trace_abstraction_for_real-time_programs"}}}}}