{"entities":{"Q2093147":{"pageid":2103890,"ns":120,"title":"Item:Q2093147","lastrevid":71325735,"modified":"2026-04-13T21:28:35Z","type":"item","id":"Q2093147","labels":{"en":{"language":"en","value":"Debugging of concurrent systems using counterexample analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7612367"}},"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":"Q2093147$4DB30124-94A2-49BA-BAF2-4FCA4591B497","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1257144a18b8d0d3d08ec9a51d19e05dd9c65e1d","datavalue":{"value":{"text":"Debugging of concurrent systems using counterexample analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2093147$E844871C-ABCC-4F0B-B6F3-286EA8AF9D44","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b23522d3ddc229cc8e25ec1b0118cef90e941a39","datavalue":{"value":"1498.68150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2093147$80674C09-9B11-4361-9F22-D27ECA46C88B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"04d04305481bda6ab88427fce2f5e327fc85c335","datavalue":{"value":"10.1007/978-3-319-68972-2_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2093147$8CE7493D-C74E-44FD-B919-EB8A476560C0","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":"Q2093147$035DACB4-19D4-4734-BF65-15C9DC1562A4","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":"Q2093147$6F143DE4-82E3-495F-A15D-DE3ADB1FEE3B","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":"Q2093147$1E618B1F-8CBC-4973-B9FD-5CA393B5D5D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"96420cb12347695a963e770401ec584dde3a55d6","datavalue":{"value":{"time":"+2022-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2093147$A6DD3F7D-9155-44A2-BFD1-12CD54EF0B8A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2093147$7DF457F1-A52A-4D5E-A0B9-021F8741E7A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2093147$79DAD9BE-F72A-4516-B81F-814C120822EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ad646b5e4d744258ab5b821640943f222c697e1","datavalue":{"value":"7612367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2093147$8A230FF0-F6B1-4CAE-BA9C-2F0AC012E22E","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":"Q2093147$76F39C7F-4C81-43D6-A632-5073862773F9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ac1ae59cf8253bc0d6495d9228e8c6c033ee3daa","datavalue":{"value":"https://doi.org/10.1007/978-3-319-68972-2_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2093147$0B69EA06-C16D-452A-92A8-26E146F71AFC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"33b531fbc9141269230f311014d38a82451294b4","datavalue":{"value":"W2740174432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2093147$43AD650D-D88A-4056-8911-33906E110A55","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33f3ba2561e695602896c1492fdfc9326c4a4a67","datavalue":{"value":{"entity-type":"item","numeric-id":6039385,"id":"Q6039385"},"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":"Q2093147$D85C043B-6943-41C8-99A0-83671B059296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f3c0237bf17e873da72ef936df780a51b0dd890","datavalue":{"value":{"entity-type":"item","numeric-id":5316437,"id":"Q5316437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38a0c321c2662b7e37b2268ca7d56215e4572bc3","datavalue":{"value":{"amount":"+0.8205544948577881","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":"Q2093147$4EB1F7BF-0F0A-4E54-878F-6A14CAD91A28","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":"5ce7469b9fc0ec3ab8039d4124886fc1d3ecb404","datavalue":{"value":{"amount":"+0.7987856268882751","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":"Q2093147$799A3EB2-0052-4F0A-8AC4-B55FB46705E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"331a78c998c85878ef9877d179957ccc909188ae","datavalue":{"value":{"entity-type":"item","numeric-id":6488104,"id":"Q6488104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fa977e5883cd276d3fd37e4198048e28da53ad6","datavalue":{"value":{"amount":"+0.7927168011665344","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":"Q2093147$399D3480-0FC5-49E0-BB4A-86288949006B","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":"adca73aa198667264cc54b10b9852a731e7a7ef7","datavalue":{"value":{"amount":"+0.7750356793403625","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":"Q2093147$1E8950C9-4973-44E7-9E98-344BE31F20C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Debugging of concurrent systems using counterexample analysis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Debugging_of_concurrent_systems_using_counterexample_analysis"}}}}}