{"entities":{"Q3434613":{"pageid":3445316,"ns":120,"title":"Item:Q3434613","lastrevid":46248544,"modified":"2025-12-24T09:47:37Z","type":"item","id":"Q3434613","labels":{"en":{"language":"en","value":"Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5148564"}},"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":"Q3434613$7E2FBA9B-E558-4578-A8F7-399D13B44BEF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b537feea9ef94115771e3a0a89e0542830df3b2","datavalue":{"value":{"text":"Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3434613$2F9DF21F-9B43-4037-B1F9-7B20A185BA3E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de407c9efb60f557d5c67f64b6e2030c1038a1f4","datavalue":{"value":"1183.68175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434613$391C78FB-0267-4A1F-9902-1AD73EAF2031","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c4f04344ed77071f5b8029b55fece549af83190","datavalue":{"value":"10.1007/11759744_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434613$6EA8DD39-1E52-4312-BF47-A5A2A94D499E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"086e12049a4f65f0db8f7826b3d43f2cf3b6be32","datavalue":{"value":{"entity-type":"item","numeric-id":359892,"id":"Q359892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434613$E8D0920E-3E39-4F2F-A2DE-505344BE7943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da2f50dec62c539db6e330e6173864ba4c3d844b","datavalue":{"value":{"entity-type":"item","numeric-id":3192243,"id":"Q3192243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434613$E02F25A7-48AD-4B1E-80BD-F6B9AA67D408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"be196760b5ef841f5bc75e9f5ced81e21c1ebfaa","datavalue":{"value":{"entity-type":"item","numeric-id":3434612,"id":"Q3434612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434613$619D883D-2D73-4511-93CD-5D3E62FA4E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a54ebf41c09d98548c5a350681cdccac803d3244","datavalue":{"value":{"entity-type":"item","numeric-id":359894,"id":"Q359894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434613$ECD891A1-E1D3-44C1-9ECB-675256E06BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3bc0491754e459a38d76996b3a3b46f617346e2c","datavalue":{"value":{"entity-type":"item","numeric-id":2011565,"id":"Q2011565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434613$BF9D776A-4C08-4214-9216-A7E1AA7F3855","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dc2fb925f19d0a41d935c0d2a5f60b67d0da69d3","datavalue":{"value":{"entity-type":"item","numeric-id":3434602,"id":"Q3434602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434613$524C92B4-E38A-4D85-8AFF-1F1C2BABCEE7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"76e690768584aa88840deb200205c30c45e627e4","datavalue":{"value":{"time":"+2007-05-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3434613$802F5237-97E4-4925-9A7C-D5A30A442B18","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434613$1BE09AD0-DE76-423B-8A87-06A27B46BA75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434613$0DD2A9AE-0E6B-44D8-AB15-0EBFAC38F526","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f047eca054aac6d8059e4cc365e58dbe0a1db2d3","datavalue":{"value":"5148564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434613$4EFA671A-8181-4CCD-A1FA-B7BEA4DBF109","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"099fbda601a6d5bab3eb5243e43b9ae25d22fef8","datavalue":{"value":"specification-based testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3434613$E87C30E2-2CBB-4326-AEA0-57836B73BBF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf6483e93ff0b0b0a920caa3a8bcdc780bd2e5cf","datavalue":{"value":"algebraic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3434613$A51C0969-0F27-4D76-9399-F885DDFC6FAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f4ff50b194c7f91805f2fde31017ab877ff866d","datavalue":{"value":"selection criteria","type":"string"},"datatype":"string"},"type":"statement","id":"Q3434613$7B8C0391-47B6-438A-8BBC-F199C4A098D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25142d99e70f3e956d269c694dba0c0dca93e8fa","datavalue":{"value":"unfolding","type":"string"},"datatype":"string"},"type":"statement","id":"Q3434613$B02ECA0A-7E83-4A8F-95C7-C41D4ED31542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da2f33c24e85c3efacef4e5bd23fa3089d25558e","datavalue":{"value":"proof tree normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3434613$5AB20EA9-65F9-4252-A056-6DC5818C441E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2b32aca426b78b5f53b98e17acd6efaca9a8ca4","datavalue":{"value":"conditional rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q3434613$35B74062-2CFD-43D1-8740-16AF2453A1E8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6a5699a860dd7dc9c732976be3ba437fb61ff7dd","datavalue":{"value":{"entity-type":"item","numeric-id":19322,"id":"Q19322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434613$6AE5DD2D-DEB9-44C5-89D2-4F05435D2862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cae2801c307518b2eb271f3166f5d1e42ee4a7f5","datavalue":{"value":{"entity-type":"item","numeric-id":19304,"id":"Q19304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434613$89B5448A-ADBE-444F-887B-88B7342EBFA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434613$9FE2E699-C597-44DD-BEC7-563612582E7D","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":"Q3434613$AFCB3962-A8E1-4483-8310-F0E2CED0F839","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fb6cca38260d5402319e60efbb4e99d250a474dd","datavalue":{"value":"https://doi.org/10.1007/11759744_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q3434613$D01E1029-1880-4025-AB26-E2AA95B82596","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d086380e93e3a60fa7b1b00e48e634b088df15f8","datavalue":{"value":"W1515279132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434613$8DE30368-964D-4246-8EF1-8FCC98971447","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"962af23711f9033a64e2b4edfe314960a322c83c","datavalue":{"value":{"entity-type":"item","numeric-id":3434613,"id":"Q3434613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434613$4445FD1F-F305-4439-BADD-39F23599F93B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14bd513c7c8b6510483a52190c8c99b422eefe9a","datavalue":{"value":{"entity-type":"item","numeric-id":1916354,"id":"Q1916354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434613$207B460B-A3E6-46BD-AF4E-4D5DED575373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d118995af633adbe825b08e17c34663044d47f9","datavalue":{"value":{"entity-type":"item","numeric-id":5710649,"id":"Q5710649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434613$664A2E4C-5018-4024-BE55-0149980658AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97a087b503ba18c5561b88819123ac2b0461289c","datavalue":{"value":{"entity-type":"item","numeric-id":2767201,"id":"Q2767201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434613$9E042A7B-84CD-4EF6-A602-528F560E1DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b7b3e93b03b1d8cc357da264e745c1a9a961c7a","datavalue":{"value":{"entity-type":"item","numeric-id":2767202,"id":"Q2767202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434613$63854C35-9B61-49D4-94EE-76A1CA12AB6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4346340a8e33a5f8b8f7f2f7c5116072bd99b9f5","datavalue":{"value":{"entity-type":"item","numeric-id":4708599,"id":"Q4708599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434613$7A56F1EA-087A-4AE8-9FF8-01FE7372B9DE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"197d925f173e298f53c644c5c0fa301505090cbf","datavalue":{"value":{"entity-type":"item","numeric-id":2767202,"id":"Q2767202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2b6eb4ca3c9918932294962162c11db9863cbaf","datavalue":{"value":{"amount":"+0.8916494","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":"Q3434613$EB99DA31-5B89-4199-8C4F-D62C903B7D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1383c9dba4568785f04654fff667772e250d9c24","datavalue":{"value":{"entity-type":"item","numeric-id":2848448,"id":"Q2848448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46e4e9c8496cdadfcdb58cced9588fc4c4f8d95c","datavalue":{"value":{"amount":"+0.8810078","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":"Q3434613$0046B434-07DD-4300-BE8C-19FA7E22F40C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"badfc9f42f0dc8bd86c4c932ad93b10917551d18","datavalue":{"value":{"entity-type":"item","numeric-id":1125424,"id":"Q1125424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbb56776b6d7b5f174ff32f72216bab05e790782","datavalue":{"value":{"amount":"+0.8732865","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":"Q3434613$20C66D55-BB11-40C4-8223-C3BF259E5A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc708f7490838cd9f7ac31978684132580c81890","datavalue":{"value":{"entity-type":"item","numeric-id":2722044,"id":"Q2722044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9068acc8ab848bef0583153048e53ead421c990f","datavalue":{"value":{"amount":"+0.85701483","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":"Q3434613$D6BE3A33-5AA8-45A3-B3BB-84685183BC36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36c4bed5e7b5361de8633bfd4f87fc4d45282e8d","datavalue":{"value":{"entity-type":"item","numeric-id":2296283,"id":"Q2296283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2a4c7703e008af70c7a1f7171b9898f1d7839a7","datavalue":{"value":{"amount":"+0.8547718","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":"Q3434613$BCD4EBD7-BBBD-475B-BC03-93D33BB952EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e21d7a8d44a83d63f12387b4c8b9401d01d87a77","datavalue":{"value":{"entity-type":"item","numeric-id":3323251,"id":"Q3323251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d257488092d31e6fc76bb6d0ced9136c7435883","datavalue":{"value":{"amount":"+0.848106","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":"Q3434613$BFEDA547-B969-4CC0-A943-C67DC5CEB94F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"996e81c9497b14de9827fbc1b27ed0c9dc599184","datavalue":{"value":{"entity-type":"item","numeric-id":3508522,"id":"Q3508522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b47adef76573b09f031d75085f8dd58f0d3e4680","datavalue":{"value":{"amount":"+0.8469107","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":"Q3434613$4DE5515D-E9C2-4E5A-A903-073951D4605F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e8de1e14b895929d04da58d1c9919031eaa68a4","datavalue":{"value":{"entity-type":"item","numeric-id":2771764,"id":"Q2771764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5895cd41f8070bcd48940f5a4a2992c61565bea4","datavalue":{"value":{"amount":"+0.8447787","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":"Q3434613$B95E101E-6ACB-470B-BEB3-E7574CC37582","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3434613","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3434613"}}}}}