{"entities":{"Q2703704":{"pageid":2714449,"ns":120,"title":"Item:Q2703704","lastrevid":82796594,"modified":"2026-05-06T21:59:15Z","type":"item","id":"Q2703704","labels":{"en":{"language":"en","value":"Case studies in the specification and analysis of protocols in Maude"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1576644"}},"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":"Q2703704$453E0991-BC79-4DC4-957F-6C363418EDAE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c54830693effd35ca61f133fe010846a582041fd","datavalue":{"value":"0962.68105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2703704$FAC5E8A1-8B97-451A-9A37-102D0D534010","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"43ba5c4f0be9d1e78be2a75e896a86bab608585e","datavalue":{"value":{"entity-type":"item","numeric-id":2703703,"id":"Q2703703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2703704$B175570A-DB74-4414-9E9F-039A2DC6FB39","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"977947cd79f3920d9b8080aee0947b44a750ae0c","datavalue":{"value":{"time":"+2001-05-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":"Q2703704$CBB8979D-3AF7-4F26-8B01-7465052104FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2703704$A20846FC-A37E-4D77-83D2-C80FD298402B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33cf88005cdf55b7364af2429fc26ff15763f987","datavalue":{"value":"1576644","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2703704$B3119362-745B-4EBC-BBC2-1298ECCD1A6B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7837ca7b4ed6a21f47990cc2562459286134de64","datavalue":{"value":"Maude","type":"string"},"datatype":"string"},"type":"statement","id":"Q2703704$7325A83C-B335-4E44-A7E6-FF0281168EF8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2703704$03963394-D163-4359-8437-3CDABDB09DB6","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":"Q2703704$985AC07E-E60C-4F2D-A351-A062EA7E9490","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bdd3fe108c3abd38b8588c7a5c8c6930d77838f4","datavalue":{"value":{"text":"Case studies in the specification and analysis of protocols in Maude","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2703704$9D824C32-416E-4D11-9282-51F1387145AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9254ebf2b3d73b9a225532b178c259270211758","datavalue":{"value":{"entity-type":"item","numeric-id":462493,"id":"Q462493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2aecd55d5e23ba976a2476da59b4cf06438623ea","datavalue":{"value":{"amount":"+0.7611932158470154","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":"Q2703704$3A53F108-E46F-4202-A678-09B6E5249A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"780b74536356b39033ef5155017f45ba1fda429d","datavalue":{"value":{"entity-type":"item","numeric-id":3184784,"id":"Q3184784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4676c53110aef64564976e8f3736a3d0d6da0e21","datavalue":{"value":{"amount":"+0.7502344846725464","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":"Q2703704$8AC21FB6-7567-4B75-A923-8FD52763D81D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0aef46c0fd839ab2ded7d4ac639e97f48cb7f1f","datavalue":{"value":{"entity-type":"item","numeric-id":862853,"id":"Q862853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb84ef61be973d2b547e767195be5f4bf8ed716e","datavalue":{"value":{"amount":"+0.7495275139808655","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":"Q2703704$D54BC948-D52F-45BB-A13A-A09FAEF860D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6afeb225de387cd850ee506eb1f2f37d6519e92","datavalue":{"value":{"entity-type":"item","numeric-id":2764137,"id":"Q2764137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a610898bd6fd7d853e35b3c3d92dc770e745b003","datavalue":{"value":{"amount":"+0.7475764751434326","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":"Q2703704$923BE1F0-990B-4C06-A26A-C8ABE2172303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d339ad31296134780211c20586f1fba41ceb0cd7","datavalue":{"value":{"entity-type":"item","numeric-id":2851056,"id":"Q2851056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f290dbeddea18ab73eb2a1d3bfbc3e2343cc2669","datavalue":{"value":{"amount":"+0.7451808452606201","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":"Q2703704$E03E4BF5-088E-4301-92A6-D1B5D30B9647","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Case studies in the specification and analysis of protocols in Maude","badges":[]}}}}}