{"entities":{"Q2296283":{"pageid":2307026,"ns":120,"title":"Item:Q2296283","lastrevid":43835820,"modified":"2025-11-14T22:03:53Z","type":"item","id":"Q2296283","labels":{"en":{"language":"en","value":"A testing perspective on algebraic, denotational, and operational semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7168632"}},"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":"Q2296283$F2D3247E-1421-487B-9D58-39684D8B806A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0606d222378c9315fb46fdeb162063e708c8a490","datavalue":{"value":{"text":"A testing perspective on algebraic, denotational, and operational semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2296283$5DDDD352-EC82-48E0-B636-B7891F5FDC7D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d35bf343dca0a3bf7b2963cda1dd05cb084a15d7","datavalue":{"value":"10.1007/978-3-030-31038-7_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2296283$E6D07931-F809-45D2-BCD2-1C17176BA365","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dec56fdd824afe477f8efc3dd8518f3a1c55e418","datavalue":{"value":{"entity-type":"item","numeric-id":433333,"id":"Q433333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2296283$5E02AABF-8B4F-4AC2-B747-B86D8FF8C268","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05c57a87dbc53c05445a3141681500035fc1e9f8","datavalue":{"value":{"time":"+2020-02-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2296283$F0AA3292-3A22-48A8-908A-5B11FEF9E9E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2296283$D050C036-3135-4D93-9C3E-D7CA5D2B3582","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a78af48a181cc78249c3a87fef70223e47992ccf","datavalue":{"value":"7168632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2296283$F0018CAA-7D4F-47C1-B0E9-68DA39B1CA4E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2296283$F3F74DBD-882D-42FC-83A3-BEFA4C5FD6A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ae0ab669529f374a02a0cf027f802a43db5de0f","datavalue":{"value":"Unifying Theories of Programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2296283$53897E4F-678D-4FC1-99B5-CA1D7AB2317F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aca4802f74cb00648a44c22282b732304c6a044f","datavalue":{"value":"test-case generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2296283$03AC5C93-88CF-46CD-B368-175CB67AFC10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78c970019c5d7186e4fa8736dbf7afee746108db","datavalue":{"value":"model-based testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2296283$B1A88B47-F225-4F7D-8BB9-4AC00E16AC78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dac36a0d5bcef050bd5c5ec480998b0eb01458a6","datavalue":{"value":"SMT solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2296283$AB0D4CF6-72FE-4E83-BF30-230ADA2F8AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69dd490da9b67dc4fe4c624a05791d0c4fa27f2e","datavalue":{"value":"symbolic execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2296283$BC69A86C-8F04-4D56-AD6A-1A0FA831A8C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5803c8539ab94ff3c1b0ea4fd9a58404bc9906b","datavalue":{"value":"quickcheck","type":"string"},"datatype":"string"},"type":"statement","id":"Q2296283$8330F20A-248C-41D9-8DFD-A9B8062B4A32","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":"Q2296283$107EA9C4-472A-4252-BAE0-556169079923","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d2f408b4791e51d83fb4ec7ead395fd9229b88a7","datavalue":{"value":"https://doi.org/10.1007/978-3-030-31038-7_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2296283$2E6B5F8B-4185-400F-942A-43888C9E48E8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"601176407c9d4459c568abdb76d92fe48be44947","datavalue":{"value":"W2974556699","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2296283$D3ACCE6C-F4F2-4748-BD38-883F58847C08","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":"375b6b800aee110b9f48b9831185730ddf90b53c","datavalue":{"value":{"amount":"+0.9109533","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2296283$4F3C7CDC-20CE-4798-AFED-1857CAA9B24E","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":"01b2db271f0f44286ee3df3229e19c77a0e836f2","datavalue":{"value":{"amount":"+0.90323913","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2296283$9BA6B168-4235-471A-8380-5D1B00F35834","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":"fecdc52499979a1500b1b6967891782a7aea322f","datavalue":{"value":{"amount":"+0.9029599","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2296283$43FDDACB-1646-456D-B0CC-DD0FBDBD06DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eef6cfa8d366fad70f77bfee7f255e2362b79fa","datavalue":{"value":{"entity-type":"item","numeric-id":5431314,"id":"Q5431314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df252aa13e121460aa26c9d863bc6bb73265c7ac","datavalue":{"value":{"amount":"+0.8906704","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2296283$22F7591F-C27C-4B62-ABF1-57BBBE0E959D","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":"e8a26efa586242f1339982aa2612033a37072375","datavalue":{"value":{"amount":"+0.88059473","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2296283$458779E7-6E24-47B1-BED0-22D546D943EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3444ced1ae085d94979df1af5755b270ee99abbe","datavalue":{"value":{"entity-type":"item","numeric-id":4520178,"id":"Q4520178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b08e9853b1c714373b646b06449a97f4a1c209f8","datavalue":{"value":{"amount":"+0.8790761","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2296283$E58220DD-A904-4C09-9A43-567F365F6F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edcc0760caebde8b28a101b2efab75f0588d92ab","datavalue":{"value":{"entity-type":"item","numeric-id":1683463,"id":"Q1683463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa9ef779a7545958f80058fe22a3b8a361a573f8","datavalue":{"value":{"amount":"+0.8785596","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2296283$029C2368-AA1B-4AC8-AF9D-C52C7B607E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f57f710098182d6c2a07477b9fb1302d939b562","datavalue":{"value":{"entity-type":"item","numeric-id":3477937,"id":"Q3477937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d26e4c9ed8d203890dc62189829b4187fca668b7","datavalue":{"value":{"amount":"+0.87829876","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2296283$C495D067-EF52-4B60-9716-61DD46CB0C7C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2296283","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2296283"}}}}}