{"entities":{"Q5179356":{"pageid":7208928,"ns":120,"title":"Item:Q5179356","lastrevid":52229024,"modified":"2026-01-21T05:10:46Z","type":"item","id":"Q5179356","labels":{"en":{"language":"en","value":"Model checking merged program traces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6417334"}},"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":"Q5179356$BA5487F8-9E87-465A-84D0-A81C7160BDD9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bb620921a540f4a857b37c52cbd7599a45f81cae","datavalue":{"value":{"text":"Model Checking Merged Program Traces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5179356$5712BE44-564B-47FE-A8E0-FE385C980E94","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"faee119e117d18f54c5fc54d26c795b655a43416","datavalue":{"value":"1347.68244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179356$7B715605-2B08-4EF7-88B5-7FA9EB9B1915","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e66cd26b4d95aaf8b4b8f9fafc46985a993c8f8","datavalue":{"value":{"entity-type":"item","numeric-id":2999309,"id":"Q2999309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179356$FA83EF0E-2BAE-430A-BEEE-1F2231C5BB07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"28e40f79cd345b2f559e2c6c6072053d8371edbf","datavalue":{"value":{"entity-type":"item","numeric-id":967555,"id":"Q967555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179356$DD93A28F-E0CB-485B-BABB-08B1D8552510","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179356$2384221F-75C7-4239-8624-4A3AEFD8CF42","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"13363c53348fc4e0ea3eb8871ef50224bb94cc9c","datavalue":{"value":{"time":"+2015-03-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5179356$EBB07528-B5A0-474A-8558-CE3D6F00AAFE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179356$940EBD24-02F8-468B-84FA-14C206575026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179356$A7EEC538-5EF1-4065-9A5C-D23B7112245F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ba19326193f8dcd84bff452311d7d544ab2e41f","datavalue":{"value":"6417334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179356$A944166A-F7EC-4890-9B6B-A70E8EDAC04F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5179356$BC0A1A5A-85D4-48E2-B1D4-461BC07E0A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f828563fee5a57e5f16da87a79378ac587cea3ac","datavalue":{"value":"simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5179356$B857086E-E34F-4023-AD4E-1D3E2C0D98AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1e02abee36db78497dbbfeaea646ef9e348c939","datavalue":{"value":"runtime verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5179356$56A8B1AC-E193-40EF-B42A-264FC1C2D6B5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179356$6236D64A-587D-4C73-86A1-FFEF5D1FA0AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"beb205139d0971fca32ffa61e5b55aaac31a7181","datavalue":{"value":{"entity-type":"item","numeric-id":16768,"id":"Q16768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179356$FA498B4F-1CA5-4AB2-8778-FE58B7BBAF74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9a9c74aa24b153f54ef531f9b2f4668a3eb5a5c5","datavalue":{"value":{"entity-type":"item","numeric-id":39725,"id":"Q39725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179356$7E369EB4-F56A-4069-8900-E522D9845DD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c2ed3260fc2efd11bf985358bc6054dae94e904a","datavalue":{"value":{"entity-type":"item","numeric-id":34566,"id":"Q34566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179356$82E37B0D-7956-453C-9A84-9E75034880AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e435afb031ee44ca6c370c9a4082b74be3491e33","datavalue":{"value":{"entity-type":"item","numeric-id":16498,"id":"Q16498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179356$5B9DA330-2FC0-4F7A-A8C8-5E77959E0F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a52eeda01af484033d5f709c772c2dd369f74198","datavalue":{"value":{"entity-type":"item","numeric-id":43976,"id":"Q43976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179356$BA1DD27D-EE09-4E27-A060-9F49F2A3ED7F","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":"Q5179356$C3128024-7030-4F0F-9AB0-D266A7D25EC7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"597ca4922c74a6ed99f76a568b645c44bd34b0c8","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.05.047","type":"string"},"datatype":"url"},"type":"statement","id":"Q5179356$1769BE67-13C8-43A0-9D12-1257C5C15D58","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fb41c9767b2b4951509a50740d015fd4692332ad","datavalue":{"value":"W1997518723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179356$235CD9EB-F32A-441A-BD77-6697E704820D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5557e309257b86628836399c6e159ec785039d0c","datavalue":{"value":{"entity-type":"item","numeric-id":5178894,"id":"Q5178894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179356$17DC990F-3892-4132-92A3-FE84BA90BAE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f541623726371fa1e6609e8c2eef0b9f81a4c6c","datavalue":{"value":{"entity-type":"item","numeric-id":4804909,"id":"Q4804909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179356$D2C57D29-44A6-4E30-9DF1-470FAD81CD75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179356$9D5CA11E-FADC-422C-BC1D-9B25A2B368A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458dfa6fd44072143815c860d3690f1687a12132","datavalue":{"value":{"entity-type":"item","numeric-id":2463543,"id":"Q2463543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179356$07E29E42-EFC7-41AC-ABF2-E06610B72618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d56be3c28f0922b42868a7e597f4189f5e96248","datavalue":{"value":{"entity-type":"item","numeric-id":1878915,"id":"Q1878915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179356$19BF6682-669A-4A91-AB9F-FE79567A321F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"75837ec255ffe8bc929e79154137a235621818a9","datavalue":{"value":"10.1016/J.ENTCS.2009.05.047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179356$F5BC5CFB-C9B0-4531-B6EE-8822ABEBD64A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d801ac31e27a461cda9fc3fc2dc85a8d9abe2a0a","datavalue":{"value":{"entity-type":"item","numeric-id":777889,"id":"Q777889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b902d7a8520168df5adc486cfd6430ca412d72c4","datavalue":{"value":{"amount":"+0.7107166647911072","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":"Q5179356$C61701EF-C770-447F-ABCD-B8CB4794160E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8249787cef558a97f4d6375bb559d706b0eff51","datavalue":{"value":{"entity-type":"item","numeric-id":4452609,"id":"Q4452609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60ace2bc4a4953dd2b6e99625197d3d4c533270f","datavalue":{"value":{"amount":"+0.6942733526229858","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":"Q5179356$72C6D4B6-073D-4BA1-9E89-47338D9F1756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb938d9d598046ea42ef47ea8515a69de2a93a97","datavalue":{"value":{"entity-type":"item","numeric-id":3617763,"id":"Q3617763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47b7d6171b5010bdb6077df18155fae37c6bf9f5","datavalue":{"value":{"amount":"+0.692256510257721","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":"Q5179356$50A4265E-64C5-4234-B3F1-E0B20F771E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fc569cd6da78ab1563458997417fc81178d4207","datavalue":{"value":{"entity-type":"item","numeric-id":2881076,"id":"Q2881076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e26f3d791c2eecc234c05cdac5d014355fc44d03","datavalue":{"value":{"amount":"+0.6911443471908569","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":"Q5179356$ACB71E2B-FE8B-427F-A06E-CC17A164C1E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f2d609404b886439389be5663df1705b5f1ebd0","datavalue":{"value":{"entity-type":"item","numeric-id":4411978,"id":"Q4411978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9df2ed1f31c6da5ff56f2e3eb76f380ad1d58ecb","datavalue":{"value":{"amount":"+0.6904947757720947","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":"Q5179356$21F05BD5-9DE7-4E9B-9C94-88F55655EEC1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5179356","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5179356"}}}}}