{"entities":{"Q2687991":{"pageid":2698734,"ns":120,"title":"Item:Q2687991","lastrevid":57125385,"modified":"2026-03-26T17:19:54Z","type":"item","id":"Q2687991","labels":{"en":{"language":"en","value":"Removing redundant refusals: minimal complete test suites for failure trace semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7660798"}},"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":"Q2687991$AD114F0B-BF9A-44CE-837E-CF59BB064436","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"34b3a94075484a10477480add92bce785ad220c8","datavalue":{"value":{"text":"Removing redundant refusals: minimal complete test suites for failure trace semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2687991$AFF45D10-F4AE-46A7-B459-53EA837EBEE3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7622e6463f471c18fd9dd17512411321bf100db8","datavalue":{"value":"1506.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2687991$CAF03EF1-6FAC-413F-A0E8-C9A96E4661E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93085f52138fad9fa73eacf47c42296b00e780b0","datavalue":{"value":{"entity-type":"item","numeric-id":1706140,"id":"Q1706140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2687991$306A50B6-8F3A-4479-A428-D4A73DFBC61C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a00842c97861ca85101f8ddc599167c70223ce4","datavalue":{"value":{"entity-type":"item","numeric-id":347399,"id":"Q347399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2687991$46103532-ED16-48E5-8DA9-F0609BCD36D2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2687991$74FA54D8-B70A-46ED-BE70-4281743C005E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"83dda9c01cce083054181e1e4d22c9d84774b25f","datavalue":{"value":{"time":"+2023-03-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2687991$38A06070-B2FB-4250-8227-5E8BDB50D89B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2687991$78EEC5E4-9512-4E19-AE39-70E93A96B8AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2687991$AE8D039B-C5D7-4701-9266-82DA921C0FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2687991$C5CF7878-6DF1-47BD-ACB6-CE8E039981A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89235701e16624e686b26b7e1ad15eedc99db4ff","datavalue":{"value":"7660798","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2687991$0633098D-0400-48E0-825C-EA7D300A676D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a426b3ee2c58275dc27872646ee690c86a095cab","datavalue":{"value":"process semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2687991$CC735035-6A89-4658-ABA0-C9E90CE51A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec857d7e40c027bbfbb8b7f49700410dfb8eb29d","datavalue":{"value":"refusal trace semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2687991$B4E80A30-1225-4931-938A-5F07CEB87D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a7e01c97fac8b42ff18f7327e78c78800240d7c","datavalue":{"value":"complete test suite","type":"string"},"datatype":"string"},"type":"statement","id":"Q2687991$1F20D7A1-0550-43F4-AC0B-E1F33B799C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"700191a5597813ab50ec33e35d92eab1d742dffc","datavalue":{"value":"characteristic formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q2687991$E23420AA-832F-4876-8FC7-625913F6D23E","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":"Q2687991$25C00E82-0872-4190-9E91-729A8D85F72A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8963406b72c4391c725e5f20e9329f6a5f117423","datavalue":{"value":"https://doi.org/10.1016/j.ic.2023.105009","type":"string"},"datatype":"url"},"type":"statement","id":"Q2687991$536FCFEB-6B7F-427E-835B-DAD8E185D2C9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"96c0e3cc83a99739a066c7793cf9522fdf8c9307","datavalue":{"value":"W4318035568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2687991$685ED776-CEAF-41FD-8BBA-F501D51224A1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"077ff53ae2b2205b555092a4a22f48106572ae4e","datavalue":{"value":{"entity-type":"item","numeric-id":5096726,"id":"Q5096726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2687991$B299879F-A209-46BC-88D2-689E794BB5EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bde89a2565987f3fce774ef2cf6b25f306124df","datavalue":{"value":{"entity-type":"item","numeric-id":2760238,"id":"Q2760238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2687991$4A9FD025-F391-4E24-B7B7-26DF0FDF6B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fafb0e0a58c3353a14f65d9b53dc934fe5ec110c","datavalue":{"value":{"entity-type":"item","numeric-id":2269718,"id":"Q2269718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2687991$59510AA6-7F1B-47BD-92BF-36CAE2636244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c516c05f43b68537a5c72310725dbfca17470f25","datavalue":{"value":{"entity-type":"item","numeric-id":580961,"id":"Q580961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2687991$FA7C6F95-AFA0-4C7C-BB1E-30FD03B10232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a88ea73e2c942029ee2e410013ee9fdb42608412","datavalue":{"value":{"entity-type":"item","numeric-id":5089269,"id":"Q5089269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2687991$3F68C55E-51FF-4D58-9614-836C88AEF962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14363173db863765e2f824600a1646cbc19444df","datavalue":{"value":{"entity-type":"item","numeric-id":5121275,"id":"Q5121275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2687991$646782BD-EFD6-4009-AA25-C7F2F1265466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c0e70fe217ff4249331a09fbb5f5a2e580cb33c","datavalue":{"value":{"entity-type":"item","numeric-id":5375295,"id":"Q5375295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2687991$69AFAAFB-6D11-42EC-BA86-83698929B920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b694292406e61836b5b724e75b6145e5711bf8d","datavalue":{"value":{"entity-type":"item","numeric-id":3417008,"id":"Q3417008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2687991$13131695-7809-41A6-A634-4D5B1A36CEE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c106f7cc54dee822f9d675291a8678b1806d2f8","datavalue":{"value":{"entity-type":"item","numeric-id":3719814,"id":"Q3719814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2687991$AFC36720-C32A-4D7D-A50B-65E721A8C8CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5735069a83c3299190a155d1f226c5bb8283daf","datavalue":{"value":{"entity-type":"item","numeric-id":1322469,"id":"Q1322469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2687991$B1358BB6-A11B-45EE-AF95-EDD919EB4808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3f0edd7e060f38db6ad7ad22f939c539dacf135","datavalue":{"value":{"entity-type":"item","numeric-id":2883115,"id":"Q2883115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2687991$33906C9C-F0E2-4803-BF4C-EB5C371B6851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f284be2cd26ee5234ccc954df81a04aa733b850","datavalue":{"value":{"entity-type":"item","numeric-id":5146592,"id":"Q5146592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2687991$5A63302C-1989-47B4-8A22-64A5DF00D145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15debd94f9b5ad446e382f2cc2abd7ea7aea0473","datavalue":{"value":{"entity-type":"item","numeric-id":2422016,"id":"Q2422016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2687991$029F6E7C-8F59-4E3D-AC9B-25F726095DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe312035add699e8123ed1a430b4ce0350176be1","datavalue":{"value":{"entity-type":"item","numeric-id":1935966,"id":"Q1935966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2687991$33E35FF4-6ED1-4122-92FB-73095A4A46FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2474b6240b574ef9f2636f70ccd59fd0539546c7","datavalue":{"value":{"entity-type":"item","numeric-id":1803666,"id":"Q1803666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2687991$D5DA1DBD-BDB2-4866-8778-0A3EEFAA4231","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d71f18756fa7e59a728c955b826616d6672ceaf6","datavalue":{"value":"10.1016/J.IC.2023.105009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2687991$35799E18-CE4D-40BC-B38E-7A1606C419E1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9fdb8643b56173d05862de9751d8096c2dfe4e9","datavalue":{"value":{"entity-type":"item","numeric-id":4935304,"id":"Q4935304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d101f64d238068ae8fef615722b035eb7d3dd7b","datavalue":{"value":{"amount":"+0.84565675","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2687991$0C88821E-71F7-4E26-818C-5EB27069AC3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04e7a7938d7436552660478df4ef0a67a1a39755","datavalue":{"value":{"entity-type":"item","numeric-id":2771789,"id":"Q2771789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb5e0e55f3afecf354743ce6a84622e2280c53d6","datavalue":{"value":{"amount":"+0.84170604","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2687991$AB9D3943-2522-4575-B1E6-1F942A801B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcfef2ded8ac6e77d73b407144d18f8908ad0a83","datavalue":{"value":{"entity-type":"item","numeric-id":1104076,"id":"Q1104076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bc04fbd47a01049b7818f14534f78c7f9eb2cb9","datavalue":{"value":{"amount":"+0.8227592","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2687991$655A9866-0355-43C2-9039-2343953FD52B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b9170b7a93958890a68cf92c4e886a0f5941471","datavalue":{"value":{"entity-type":"item","numeric-id":1207976,"id":"Q1207976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d7f1c7957447c30e7365d6a328d09d1ee6905e7","datavalue":{"value":{"amount":"+0.8094355","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2687991$63C501AD-B2DE-4DE1-A0B8-2619850C38AA","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":"Q2687991$883B7133-628E-48B7-85F3-1981170D2F41","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2687991","badges":[]}}}}}