{"entities":{"Q6039385":{"pageid":13121131,"ns":120,"title":"Item:Q6039385","lastrevid":98608403,"modified":"2026-06-05T18:03:47Z","type":"item","id":"Q6039385","labels":{"en":{"language":"en","value":"Counterexample Simplification for Liveness Property Violation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7682347"}},"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":"Q6039385$9A17D749-6E09-4BCF-A4BA-EAA78E5C47DA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c085d295d2149669a8de34a3896ccd857c757a4c","datavalue":{"value":{"text":"Counterexample Simplification for Liveness Property Violation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6039385$76AA8963-9BE8-4853-A7F2-099D5367A94C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e035fb73547f9a2d5f2190ae0f903992ea372dd1","datavalue":{"value":"1509.68156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6039385$B1AFADBB-8215-4280-BF0E-ADFE6BDE42C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"059522d6221f3b65dba7cbcda7e8bb766fe5befd","datavalue":{"value":"10.1007/978-3-319-92970-5_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6039385$44790C50-3E6E-49EC-A57B-FBFDBC30F0B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e82af5fc6f4c48f45474da83e6682821e4b54fc1","datavalue":{"value":{"entity-type":"item","numeric-id":2093146,"id":"Q2093146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039385$B1C9B59C-A5AD-470B-881B-3338B5431485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"447819abb9e8f8613252af63a7454a5dede7c525","datavalue":{"value":{"entity-type":"item","numeric-id":993048,"id":"Q993048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039385$8ED25CAB-E0C9-4FBD-B56D-49CD89D005CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"65b4a98099b7ca5bd6ebeda9e47c41c524b13805","datavalue":{"value":{"entity-type":"item","numeric-id":433346,"id":"Q433346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039385$2C602907-AE27-4E41-BF35-04940931B541","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a8f5cbf6360429635db718a7502a7494a9026ef3","datavalue":{"value":{"entity-type":"item","numeric-id":3095231,"id":"Q3095231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039385$2D66E87E-E159-41F3-8E46-B1EFAC0E52DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a9ffdd3d0278110160d03bdc1ac988576aaeda7","datavalue":{"value":{"time":"+2023-05-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6039385$556E035F-4633-4136-B77F-8C7EFF5DD2A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6039385$52641B85-695A-42C1-837B-321D21A65FE0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c0a4cd00afa25246578a3d245df524d2029ff9ee","datavalue":{"value":"7682347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6039385$7BFD2932-0CF9-4AC9-BA3B-6DC5B6587137","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":"Q6039385$EEF96415-DC5A-4E9F-BEB5-5FD055C0E786","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c48e96ce6be1c831a936bdf56d28f78cada83d6e","datavalue":{"value":"https://doi.org/10.1007/978-3-319-92970-5_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q6039385$6DFE31FB-3971-48DF-A767-655CC01CB4BA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c483c0bf70d5db1f231aeeccdfe84c52e04b962b","datavalue":{"value":"W2807114238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6039385$54A7C5E6-FEDB-4BC4-BF03-44C771FFCB9C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fca4cf07011724ca25b90d22378bf37771d4700c","datavalue":{"value":{"entity-type":"item","numeric-id":2093147,"id":"Q2093147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"453b49405045d0dfa4e22bb75d21cb0780708a91","datavalue":{"value":{"amount":"+0.8359827995300293","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":"Q6039385$E3397EA3-3BE8-499C-AEB0-A899CFAEB3E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13f4a1f5ea15d4d0f7b702eab6883bb0cf1fba59","datavalue":{"value":{"entity-type":"item","numeric-id":6045060,"id":"Q6045060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f978d3ed06b44cbd79e2cd06755107cf2ad3527","datavalue":{"value":{"amount":"+0.7473713755607605","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":"Q6039385$7D6E2493-7CDD-491F-BAC6-D358D8AD4D02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca6e684a073994f59d8dd7abc27806ae288f2280","datavalue":{"value":{"entity-type":"item","numeric-id":4417920,"id":"Q4417920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ce3ae1c47750373d51fd0b55d81e7940b32a642","datavalue":{"value":{"amount":"+0.7292603850364685","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":"Q6039385$D8F8F489-0844-4951-81F2-EA307E5232D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85bb48413431d965615b6bcc121c78faa44f889a","datavalue":{"value":{"entity-type":"item","numeric-id":5493257,"id":"Q5493257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ce3ae1c47750373d51fd0b55d81e7940b32a642","datavalue":{"value":{"amount":"+0.7292603850364685","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":"Q6039385$98260B66-2737-4838-9E52-F7ABC4498B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"256942cf2c028a1e575b6a31cef1482304605e52","datavalue":{"value":{"entity-type":"item","numeric-id":4426376,"id":"Q4426376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7970e01857099e91a7da8080648fdfda95e3fb79","datavalue":{"value":{"amount":"+0.7276987433433533","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":"Q6039385$2D0B7AA9-43A3-4BC8-8009-5A7A55DB2531","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Counterexample Simplification for Liveness Property Violation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Counterexample_Simplification_for_Liveness_Property_Violation"}}}}}