{"entities":{"Q5398047":{"pageid":7427621,"ns":120,"title":"Item:Q5398047","lastrevid":51933947,"modified":"2026-01-20T14:03:24Z","type":"item","id":"Q5398047","labels":{"en":{"language":"en","value":"Towards testing concurrent objects in CLP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6261531"}},"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":"Q5398047$28CB0837-0C74-4E1B-AB65-7DA134E60A17","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d529ffb13a82a098cec7b30874d8c45542cbb286","datavalue":{"value":"1281.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398047$59FDC6C5-B911-46DB-B4D0-CC9A9AF5FF68","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db02a25ee0188485f9ab7c84ccd406f8866487b6","datavalue":{"value":{"entity-type":"item","numeric-id":232928,"id":"Q232928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398047$B41945DA-1213-4B47-B4BB-37068507440E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"39970b65b758bc4386597449acf75bee389cd656","datavalue":{"value":{"entity-type":"item","numeric-id":764295,"id":"Q764295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398047$2288FD1C-7A3C-4F72-A27C-2E30D3398CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2f5c7b71b96166a103050eb41122d48b5fbbacf","datavalue":{"value":{"entity-type":"item","numeric-id":989515,"id":"Q989515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398047$8372F91E-A689-4494-9478-7613D05F85BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"efe2faed09c4ec490640e4d710dd813f29d8297b","datavalue":{"value":{"time":"+2014-02-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5398047$9A6A3443-80B0-4219-BFA5-328A9E6EBA6C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398047$51184840-FB35-429D-B80B-EF23CE93C3B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398047$9EE55AA7-36D0-4B81-AF6E-A4A57A0C9937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398047$9C80537B-7C84-4DD2-829E-833929233063","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb33c7e632784485c63a846594f2b067710862f0","datavalue":{"value":"6261531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398047$1F14AAB1-9622-4C66-9DEC-A5D87231A956","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0b02200c6b6f46ca6bdfe1551afa6691b5d3cb9","datavalue":{"value":"testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5398047$E451131A-DECB-49DE-B21F-6FCDF59ECC97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f62ca726a0d598cf6826af0abc80688766111d8c","datavalue":{"value":"glass-box test data generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5398047$BACF3791-51A2-42C5-9004-7BA48585CD50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b5294a0619ee097680dc92417aff603b2a595bf","datavalue":{"value":"active objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q5398047$636424FB-352F-4DDC-AEB9-FF824F7171E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69dd490da9b67dc4fe4c624a05791d0c4fa27f2e","datavalue":{"value":"symbolic execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5398047$6E618184-1208-4EA7-9E97-5CFD44463633","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb53464f503d9a1ce40ddbd2910afda304ca3ad6","datavalue":{"value":{"entity-type":"item","numeric-id":21593,"id":"Q21593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398047$F5F170C7-FDE7-4E45-9620-B4ADFBE5E59D","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":"Q5398047$A0894910-CA33-4651-9E74-E6C6597F37C5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e97a74986cfc48c4e03fa2038f41d8c1f6a1de0c","datavalue":{"value":"http://drops.dagstuhl.de/opus/volltexte/2012/3613/pdf/11.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5398047$15DFB0FC-0201-453B-98F3-3E023111BA35","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"61177a56ee41f51de22ca71e503a6e70766c9b44","datavalue":{"value":"W2105003810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398047$5C3D7EFD-308A-44E2-BEFB-532138B24D53","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9637ddfbed14b9bbcfce91e73d427c136f43957a","datavalue":{"value":{"text":"Towards Testing Concurrent Objects in CLP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5398047$F28AB3D1-A74E-40D1-AD88-F1CE50AC51C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dc339b32ebf2e08bd5c9ba6796d48e5f8f35c22a","datavalue":{"value":"10.4230/LIPICS.ICLP.2012.98","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398047$275FEC1E-121B-4A95-8C0B-5F65B7040C7E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"228ffd0f458cc4c566d4139ef289598a4fca3f9f","datavalue":{"value":{"entity-type":"item","numeric-id":3585175,"id":"Q3585175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cca87e0c81ff4f24999ce7bd7ac83f62b53468ff","datavalue":{"value":{"amount":"+0.7430177927017212","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":"Q5398047$88AB0D61-F1C1-4504-A22C-AC6CCD0AE0D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2a515fc19d49cec56d9ec6a53315f3422cc3692","datavalue":{"value":{"entity-type":"item","numeric-id":5140007,"id":"Q5140007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f116b75e2851724b13e1718b8bbc9cf2fcc0bae9","datavalue":{"value":{"amount":"+0.7322264909744263","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":"Q5398047$A1A210FC-7A51-4CBC-ACF7-AB235E0FDC24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b71ddc45725ea9a13c735bab2921e4f5ccc827d3","datavalue":{"value":{"entity-type":"item","numeric-id":5505611,"id":"Q5505611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e98042dcaa778572de863a4090bae6ec5c133e6f","datavalue":{"value":{"amount":"+0.7271544337272644","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":"Q5398047$4691248E-2463-44D7-B8BA-65CCCF47BCEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d790044bfd3b5580a2bd497d534b607aaaa8cfe4","datavalue":{"value":{"entity-type":"item","numeric-id":3460568,"id":"Q3460568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6cbcdd24a5ebf76180fe620b3a8e076d38d451a","datavalue":{"value":{"amount":"+0.7236812114715576","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":"Q5398047$ACBEB5A8-6159-4FF7-B0AC-BBFEB68FC923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aecfbe113934a78ccd3805db9f684132790f4391","datavalue":{"value":{"entity-type":"item","numeric-id":3999590,"id":"Q3999590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adae01104f45de52b9c4e612e2ba038654f2a704","datavalue":{"value":{"amount":"+0.7193316221237183","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":"Q5398047$9E5C22C9-D27F-441D-A442-04A48536AB3B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5398047","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5398047"}}}}}