{"entities":{"Q2848448":{"pageid":2859168,"ns":120,"title":"Item:Q2848448","lastrevid":42266079,"modified":"2025-06-03T22:10:27Z","type":"item","id":"Q2848448","labels":{"en":{"language":"en","value":"Testing from structured algebraic specifications: the \\textsc{Veritas} case study"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6211934"}},"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":"Q2848448$CFDE0267-69F9-43B3-A73A-FB859766F87D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4dcd10ce3219ca71d8325dd3301026083b0b178f","datavalue":{"value":"1272.68283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848448$E6650764-B852-434E-98CF-684DFC020774","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"97c54bf29f03a3babc60d7442e32e3d5fbec7616","datavalue":{"value":{"entity-type":"item","numeric-id":1941858,"id":"Q1941858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848448$03E2E510-0E02-44FB-A6C9-2B7F77A4BA5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a79b84e8d36cad8a7ec143369ecda1ebdc8e08e","datavalue":{"value":{"entity-type":"item","numeric-id":2848446,"id":"Q2848446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848448$66C7D441-734B-4CFD-929C-5DF14A0D5708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90c537d4c78bd3b5d444bdf4dc53a54d1769f589","datavalue":{"value":{"entity-type":"item","numeric-id":2848447,"id":"Q2848447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848448$6E021077-7020-45A2-A81B-DAFE656DB4B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e501c29c8ea4c97eab34b0d5605e8ded3909c714","datavalue":{"value":{"entity-type":"item","numeric-id":187428,"id":"Q187428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848448$FF9C2FA6-9581-4B0A-9507-E8A238B238A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"43e878d8f753446abefa1b1ceb0637b91afae47a","datavalue":{"value":{"time":"+2013-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2848448$9C348DA8-F163-4ECF-89CE-FA7FD3B42C8E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"563200a3555b608a1894797255e83519942ce233","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105002239","type":"string"},"datatype":"url"},"type":"statement","id":"Q2848448$7AF0B29D-954F-41A2-B6DC-8601878984B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848448$17B7E8BF-B51F-4B2B-865D-AEB836DBACEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848448$314ED223-8FBD-4DE4-A326-A8B532BADE64","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2961a832b683b97ef84d9d66fe73e1f216c46b71","datavalue":{"value":"6211934","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848448$464E429F-1D8F-4473-9697-A4EA796481A5","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":"Q2848448$6CF439A2-B76A-4AA5-8426-53720FCCDE1A","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":"e7adccbc30f977e73d1ea08806ca53ccc48a90ed","datavalue":{"value":{"amount":"+0.9418405","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":"Q2848448$48BAFAEC-8C67-4A21-8FF5-A70A84709D89","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":"217cf0b63c4f2a752d8e93bb6738ceb5217e447c","datavalue":{"value":{"amount":"+0.90454364","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":"Q2848448$FDA2ADB2-43DA-46AE-90CF-550C12DB8FD7","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":"fecdc52499979a1500b1b6967891782a7aea322f","datavalue":{"value":{"amount":"+0.9029599","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":"Q2848448$A67168C9-8321-4ED3-88D9-8F79B3F34834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e0ac21be2800d8cb510c335c1ec932d58342edd","datavalue":{"value":{"entity-type":"item","numeric-id":2827442,"id":"Q2827442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae86e395d71b288e4a596c3b74eb12905d658203","datavalue":{"value":{"amount":"+0.89335585","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":"Q2848448$C2DF5963-4515-43A8-8F30-B426EE2E8DA8","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":"b5774adb128194790aa999b1b751fd583c734fd0","datavalue":{"value":{"amount":"+0.88357306","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":"Q2848448$BF5143EE-8CA1-4305-ABF2-5E427B409EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bb30fd1acacdca1302f9bfbfa7c46c0fcb5d26e","datavalue":{"value":{"entity-type":"item","numeric-id":3434613,"id":"Q3434613"},"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":"Q2848448$BE3FF536-C82F-468B-A4B0-BCF7E61BDEDE","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":"54390b1135def28c458571f75bdd9288305840a2","datavalue":{"value":{"amount":"+0.8787653","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":"Q2848448$E982DE13-78F9-418C-8F59-D0201F026B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"149671b6813d5959f3eeb48efb302c2110234513","datavalue":{"value":{"entity-type":"item","numeric-id":2900178,"id":"Q2900178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af71929deb4d1733dc2dadec8598923e1e12c8f0","datavalue":{"value":{"amount":"+0.8675231","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":"Q2848448$3A182598-8E4A-4B71-8FA6-8FC3174CFB58","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b04e2dec209dba6790d2494161790cc77d382adc","datavalue":{"value":{"text":"Testing from structured algebraic specifications: the \\textsc{Veritas} case study","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2848448$96041F55-FDB0-407B-A9AC-9BBBE82B14EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2848448","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2848448"}}}}}