{"entities":{"Q3384883":{"pageid":3395586,"ns":120,"title":"Item:Q3384883","lastrevid":55395571,"modified":"2026-02-17T15:29:20Z","type":"item","id":"Q3384883","labels":{"en":{"language":"en","value":"Tester versus bug: a generic framework for model-based testing via games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7447738"}},"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":"Q3384883$9532C8EC-CB54-4A55-9451-24C823F3B858","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"04de41604536a4a663269317572614129fd60f1f","datavalue":{"value":{"entity-type":"item","numeric-id":2814130,"id":"Q2814130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384883$451C3C01-9394-43F1-8F8D-1205F946DD69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e81000e95d5baed5e5b30033cfcd1070b84fdc23","datavalue":{"value":{"entity-type":"item","numeric-id":225107,"id":"Q225107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384883$2E562755-A6D6-48DC-A970-3FF9CC88DCF4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34b299fdbfa6203a276028105b394bb6d77f2b95","datavalue":{"value":{"time":"+2021-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3384883$A04F6C16-7BCF-4704-8833-4F578DB81737","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6f0433d0fbe6156855fda0676aadb7d548a4d623","datavalue":{"value":"https://arxiv.org/abs/1809.03098","type":"string"},"datatype":"url"},"type":"statement","id":"Q3384883$8AB7BBF4-DCED-48D8-BD21-8D37AEC9BD14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"88255cf0e917d1d2baf5c6d12887317474acdd2a","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?GandALF18.9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3384883$992C9500-6222-4F13-9A79-BF860BEB1CCB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384883$94F57284-B076-470D-90B8-12C1F125C9D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384883$C06720B5-BD60-4EB4-BD3B-E359624F0C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384883$8D009820-7784-4999-B286-A3BC35D6521B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38afe3da56df0ae9229f5365ae5ec428e98c26cb","datavalue":{"value":"7447738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384883$8FCC358C-C67D-44C1-A21B-D6B77AADD9F5","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":"Q3384883$F619C2AD-D591-4D2C-AC9F-4F7B9F3010F5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"32998adf8a72dec4fa53d0a050f21591d857daf1","datavalue":{"value":{"entity-type":"item","numeric-id":3584922,"id":"Q3584922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384883$2B3FBF64-47C7-414E-BD05-F2B7906F845B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfc7710aae4636347b7acce12b63ad940c9b4b0a","datavalue":{"value":{"entity-type":"item","numeric-id":5692280,"id":"Q5692280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384883$8588808E-57D6-4CE4-A4D7-A5A0580852AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1640be00aadb6498fe517337b488d5444cb7d270","datavalue":{"value":{"entity-type":"item","numeric-id":2841992,"id":"Q2841992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384883$99682B6F-AA1A-4223-AE38-8AE63FAC58DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d8fe8aa93a4db3cd779b63f20f6c07ebb96a29e","datavalue":{"value":{"entity-type":"item","numeric-id":5176034,"id":"Q5176034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384883$04498A5A-14E7-4A0F-8D10-28F8659E652B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1d724983cbc854517e318f5823bdac599edcd68","datavalue":{"value":{"entity-type":"item","numeric-id":2344734,"id":"Q2344734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384883$43ABA8C3-F278-4F2E-B60E-D4FAA8BC3EC9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddd3ef0f0b081f6442535f1ae3378850c1f6fe7a","datavalue":{"value":{"entity-type":"item","numeric-id":3434603,"id":"Q3434603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"855fe8dda22228b04838d7502b2783c2f10b640d","datavalue":{"value":{"amount":"+0.7938228249549866","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":"Q3384883$9027719E-C3FE-4FD6-A217-5D32212053C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15ec1b2a7c7941d0ee0e1b337b0e43baa6322cea","datavalue":{"value":{"entity-type":"item","numeric-id":5466506,"id":"Q5466506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6f8c17a18c353d7f45bfd34fa2a7792652df2be","datavalue":{"value":{"amount":"+0.7566762566566467","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":"Q3384883$536F130B-C79C-43D0-8DD0-6FDFBAFE0045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd339a05005fc46f8bdced30c94e7ecfb18b31dd","datavalue":{"value":{"entity-type":"item","numeric-id":2842624,"id":"Q2842624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f46352cbc75889ccee4a4191167a9196e0904027","datavalue":{"value":{"amount":"+0.7372944355010986","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":"Q3384883$45C1996B-A72B-4113-A2FA-5BFA88978430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8d5111bbcb90876f647418aaa0f77143b2d244e","datavalue":{"value":{"entity-type":"item","numeric-id":5703771,"id":"Q5703771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c119490e31f2721f2df86205354b6fcdee9864eb","datavalue":{"value":{"amount":"+0.7308056354522705","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":"Q3384883$B1DCDF1E-8053-42C9-9684-F40D3BA0B1FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d997db2c75be40411256060cc12512a16d21e30a","datavalue":{"value":{"entity-type":"item","numeric-id":2801763,"id":"Q2801763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f1159acf8ee29a1ba3074150d687359bfbecbd0","datavalue":{"value":{"amount":"+0.7296150326728821","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":"Q3384883$B9E8E047-5CBC-4BCC-A596-9EC4895375D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3384883","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3384883"}}}}}