{"entities":{"Q2423754":{"pageid":2434497,"ns":120,"title":"Item:Q2423754","lastrevid":74198001,"modified":"2026-04-14T18:54:47Z","type":"item","id":"Q2423754","labels":{"en":{"language":"en","value":"Automated test case generation for the paxos single-decree protocol using a coloured Petri net model"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7069236"}},"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":"Q2423754$8AA64290-07FD-4690-91E9-C30B9CE59C5B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"08f02856cf09c4ae387896310c8693d5ac7ffe46","datavalue":{"value":{"text":"Automated test case generation for the paxos single-decree protocol using a coloured Petri net model","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2423754$2CE73313-5307-468A-A202-64BDDB847491","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8cff2280f54d8a5874cd9bd14e57a021d98fb690","datavalue":{"value":"1423.68319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423754$F1E3551A-5C5F-4DF5-A7BE-1472F7065F68","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"06881a13e9a17045b45f40562997732138d56eb7","datavalue":{"value":{"entity-type":"item","numeric-id":272197,"id":"Q272197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423754$8DA8CD55-4183-4A0D-82CA-8DCE5B1CE143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a891879819daba05fb13f2a16980253787d508e","datavalue":{"value":{"entity-type":"item","numeric-id":2423753,"id":"Q2423753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423754$D1EDEEF3-811C-4D86-9CA2-F996E556EEBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b123cb8ed588008e378239d988da5831697738d","datavalue":{"value":{"entity-type":"item","numeric-id":338623,"id":"Q338623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423754$C846C1DF-60C5-4764-9F43-82AAFBE0520A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df3ac8b732cf333e6b12ba0f543377c635e7c488","datavalue":{"value":{"entity-type":"item","numeric-id":1768478,"id":"Q1768478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423754$C9BBE8E7-3377-4E9E-9031-1E91BACFC763","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423754$2EDBFBD8-4695-42DD-B857-8DE24A542B43","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42d1f5c0f5e8db34a69e71d479f8d7faaf3c37a6","datavalue":{"value":{"time":"+2019-06-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":"Q2423754$124B6D1B-46D6-4C3E-BF48-4AC712DE5BC9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423754$6A03B538-9468-4F46-B631-1C7EC2FB36F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423754$A0563406-4F4A-48A2-B60F-47F038C05175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423754$7FCBD5E4-4D35-480F-92A8-31BAB9C9D1EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423754$308559E7-49A6-4AE7-A35A-514C447C027F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc01b8738618107cf07a26f8992817ee7e03551e","datavalue":{"value":"7069236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423754$B5A30B3C-5CDC-4387-AC6E-1688068141EC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b7c826a5780d22d9a174de51c3a633554aea0a5","datavalue":{"value":"coloured Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2423754$115AD3D4-2831-4B7E-826E-EEBC5BD6B986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82d9744537c8929843a9f698e900cd31ff81587","datavalue":{"value":"distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2423754$413EE07D-3CF1-4ECE-8E4E-BA0E293CB2A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78c970019c5d7186e4fa8736dbf7afee746108db","datavalue":{"value":"model-based testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2423754$11766C7D-E209-4380-BF1A-4826ECC5C332","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7d06ab5629e6c8be6abf4aeb15fe2fe8af69eb74","datavalue":{"value":{"entity-type":"item","numeric-id":27968,"id":"Q27968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423754$B6CBD826-B406-4A36-9C30-29EB2E58CD00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"39f845fecb27dca4d042d6ff50d6e8774b88438a","datavalue":{"value":{"entity-type":"item","numeric-id":5972585,"id":"Q5972585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423754$B318000C-3530-4AF5-AB0C-B45F0E923115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"456da8def713aa6efc2f2611836b0efc489b582f","datavalue":{"value":{"entity-type":"item","numeric-id":31933,"id":"Q31933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423754$43FF78ED-DC52-434E-9EC5-6D2BB7E6EA11","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":"Q2423754$6A54A651-D8EC-4B4C-B619-EEE6E9F87007","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7d1986753c9a6fa00dff589f0e36f39c9973b04e","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2019.02.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q2423754$158284B3-CD26-4AF4-9EEE-7BB1A4AC8DBB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6e4098dbd3aacf20cd4eba73f900802dee9c3a4f","datavalue":{"value":"W2912325678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423754$65130425-BE0D-4450-8DC7-6AC7066AC37B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"89e8b25c54b3c0f9f4d6cd761804215252093da8","datavalue":{"value":{"entity-type":"item","numeric-id":4924446,"id":"Q4924446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423754$AC90E7B5-2E09-4BCD-9BD7-7239225198C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b518794232dd0a5121abdd4917f346fc1a37e986","datavalue":{"value":{"entity-type":"item","numeric-id":1954195,"id":"Q1954195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423754$E3AC95BC-1B46-4F21-A65C-CAB8B49EFEDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26f9c9c0da0bc3bdb62c24d5a0777f8a36a55f99","datavalue":{"value":{"entity-type":"item","numeric-id":3766835,"id":"Q3766835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423754$7351B9A9-325C-4F1B-B1A5-AEC28C7970A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b97112090117a97bd5558853f333efdb3e2620a9","datavalue":{"value":{"entity-type":"item","numeric-id":4371681,"id":"Q4371681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423754$3CC6A573-44F9-4F9E-9D55-63D5094625EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15ec5a9005751a18ac7e79fa6c9bf05bb0009cb0","datavalue":{"value":{"entity-type":"item","numeric-id":4369859,"id":"Q4369859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423754$BB25A568-157B-41A1-9E47-3C42061889A4","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7f0a447821957ee38a8886ddcba8ebe05585a2e1","datavalue":{"value":"Q128378072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423754$B88BC440-83BC-4C2E-82AA-101454B6C18B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"86a645ef09ba8fa925df289f279e0f05989e2f49","datavalue":{"value":"10.1016/J.JLAMP.2019.02.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423754$BF552F1C-72B8-4CD2-873E-2DBDC134161D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79ae0636506839ea53bbd41474f85cd4e5588882","datavalue":{"value":{"entity-type":"item","numeric-id":4413672,"id":"Q4413672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3938631cf32448ca541a2d76d52eb43d83ec582","datavalue":{"value":{"amount":"+0.6909376978874207","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":"Q2423754$059E8707-A25A-473D-92A1-CCDFE3B648FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c60652e210dfc7de4e00672e585566c276bbc548","datavalue":{"value":{"entity-type":"item","numeric-id":3011896,"id":"Q3011896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d94cc7ef71e29c526d96fe61c91b985f8376d15","datavalue":{"value":{"amount":"+0.6869428753852844","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":"Q2423754$E15A6BB5-B611-430B-B936-3A7C7A6EF5D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dae7cad4d40b58edabcaa0685658fd653f443721","datavalue":{"value":{"entity-type":"item","numeric-id":5902018,"id":"Q5902018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4f71dcea092779f525fe098f42e55d711af18b2","datavalue":{"value":{"amount":"+0.6755276322364807","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":"Q2423754$C6993D01-3117-44B9-8DFE-6E3F3319DC93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1af7e294b15d85ba7bffce5854ebb62f2ccf0bfc","datavalue":{"value":{"entity-type":"item","numeric-id":3612982,"id":"Q3612982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"062b54f72108cf6809e313646fce9ff30d6fd1a5","datavalue":{"value":{"amount":"+0.6700519919395447","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":"Q2423754$1E44F007-4075-4FDF-A85A-F46CA9D4D08E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dd65c80c89e75f08b96402efbef5d16ec7fea5a","datavalue":{"value":{"entity-type":"item","numeric-id":269474,"id":"Q269474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec7bbd4b398eb4af6cff67213c24de43fceb7474","datavalue":{"value":{"amount":"+0.6674826145172119","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":"Q2423754$125B766A-D631-4F9C-8D71-0DD4A4BF9BCC","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423754$BF0C59BC-9BA5-49B9-AB3E-2119042003B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated test case generation for the paxos single-decree protocol using a coloured Petri net model","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automated_test_case_generation_for_the_paxos_single-decree_protocol_using_a_coloured_Petri_net_model"}}}}}