{"entities":{"Q3612500":{"pageid":5642406,"ns":120,"title":"Item:Q3612500","lastrevid":50601077,"modified":"2026-01-14T12:59:08Z","type":"item","id":"Q3612500","labels":{"en":{"language":"en","value":"Specification-Based Testing for CoCasl\u2019s Modal Specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5527248"}},"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":"Q3612500$67130410-5A27-454C-9ED4-4EACF92A5F68","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9fec550a1720c3a993cc5c1483c00e3c36ac7da4","datavalue":{"value":{"text":"Specification-Based Testing for CoCasl\u2019s Modal Specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3612500$2A8A4448-B200-4338-99BD-4E8248A1F925","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"67c932e20b278c4f50cdcb3f32f8d1f09c0b3732","datavalue":{"value":"1214.68231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612500$5D258D1A-08D2-4927-B899-793A6C0EF866","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"869ad200c5f75d6b4831e44e6ff42b619876f9f6","datavalue":{"value":"10.1007/978-3-540-73859-6_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612500$DF7C50FD-AE5A-4547-ACDF-330BD27B4EBC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"192e7cd97b7b8e011a36ba44451f1e905baaf1ae","datavalue":{"value":{"entity-type":"item","numeric-id":530210,"id":"Q530210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612500$26EE0EC2-1244-4F55-A7C6-2C091778B841","rank":"normal"},{"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":"Q3612500$9B20AC9E-39B4-46FD-A02C-25A81CC9B589","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6c69d0d6931faf1bde94dc1cf33300ba4c2b8327","datavalue":{"value":{"entity-type":"item","numeric-id":2848933,"id":"Q2848933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612500$52A62572-F769-4D43-9BE4-6C9D0B111F5D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a78c90783bcf9fdd01d3c043b3bd0817808259e2","datavalue":{"value":{"time":"+2009-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3612500$A3AF14B8-D271-46CF-88AC-5C8597616919","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612500$7CAB24D6-C2BA-4B4F-BD2B-3D4EC88B6667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612500$A45F09A3-E426-43CE-9B07-DEEAC490905D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b680ec2ec0605fdcb8925315a5f37ea8bc41abd1","datavalue":{"value":"5527248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612500$549DE7D7-6E6E-48BC-BE4D-D8EAD41BFD45","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"099fbda601a6d5bab3eb5243e43b9ae25d22fef8","datavalue":{"value":"specification-based testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3612500$1E76AB1F-5A9B-4486-AFD4-15D80204AAE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1eee04b94420218e16f91fe0f2e6e149862a5cd2","datavalue":{"value":"axiom unfolding","type":"string"},"datatype":"string"},"type":"statement","id":"Q3612500$17E8305F-5B4F-4CE8-B52A-90F7EA92E2D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c467cebc16bcd8d1f96e9c5e032c6bb5655e89d9","datavalue":{"value":"coalgebraic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3612500$36A82175-679E-492F-B2B0-26FD481F9B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3612500$9F0D5106-798C-4C1D-923F-C1A7799368FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aea4a0ad89e5039e17eb7bba1bfc4be242b1708c","datavalue":{"value":"CoCasl","type":"string"},"datatype":"string"},"type":"statement","id":"Q3612500$E38B43C6-BCC9-42DA-823A-32D7C416D551","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"db773f0783d22fb6bffa08127db508527f4adb91","datavalue":{"value":{"entity-type":"item","numeric-id":24995,"id":"Q24995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612500$63D8057E-307F-44A1-BB4F-DE0EEEE150C9","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":"Q3612500$6DCB6430-FE46-442D-95FC-EACA395E44F0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fbfa316d5b24aa82b61a7d37276c6a48ca739f53","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73859-6_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q3612500$5A6FBE78-FC4A-42C7-9C1A-BBEB9454837B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dab1ea18dcdbf5f0321149d3cede0557f5623341","datavalue":{"value":"W2106763339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612500$70BA1BB8-EEEA-4CAA-801D-C2543EF5B60D","rank":"normal"}],"P1643":[{"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":"292fb6fb3d99933a638a85b81c40289970409816","datavalue":{"value":{"amount":"+0.7731308937072754","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":"Q3612500$29B5795A-49D4-4DA9-AC8C-8B45851313B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d97eba645ded9390357a50b4bccc8c256cc7a37b","datavalue":{"value":{"entity-type":"item","numeric-id":3043834,"id":"Q3043834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a06ba8bd97e8928d621a58d6a9192293ee1b451a","datavalue":{"value":{"amount":"+0.7664468884468079","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":"Q3612500$9A439CCA-3F61-440A-972B-ED2C0886C395","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":"59f41a1af838d4443939907e7597bf39c14eb491","datavalue":{"value":{"amount":"+0.7482844591140747","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":"Q3612500$C13F093A-70B3-455C-BF9C-9B671D37BC35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81a7d8c7d165ece242316c97c590e7ae90dc2777","datavalue":{"value":{"entity-type":"item","numeric-id":3526935,"id":"Q3526935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72a188180902479c0e71abc1bc3fbe86643f677e","datavalue":{"value":{"amount":"+0.7383922934532166","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":"Q3612500$E16AA0B5-C32B-4369-8A72-74156609717F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9efe8fbf03798aadfc9cfdc8b8c1bc9f59367ea6","datavalue":{"value":{"entity-type":"item","numeric-id":5179362,"id":"Q5179362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"283eb1d879308314a49fa016d1c59e306afda63d","datavalue":{"value":{"amount":"+0.7319837808609009","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":"Q3612500$35AD21A3-30B1-415E-B608-02F8ADB194B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3612500","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3612500"}}}}}