{"entities":{"Q2989001":{"pageid":2999725,"ns":120,"title":"Item:Q2989001","lastrevid":52812191,"modified":"2026-01-23T13:38:02Z","type":"item","id":"Q2989001","labels":{"en":{"language":"en","value":"Checking protocol compatibility using Maude"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6721684"}},"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":"Q2989001$06E89759-BA0E-4D50-B340-3D105227BBAF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f25ee3f8b198d8f9c4a7913a8c1bc10bc32d6e5a","datavalue":{"value":"1364.68282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2989001$56BC32E2-6959-4BC0-8215-51C3696626B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e79680c85f7071a30303966dd871c96745d2ddd","datavalue":{"value":{"entity-type":"item","numeric-id":347376,"id":"Q347376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2989001$56FD078E-981C-445D-B07E-21BB1A79AC5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b825f2bff46df665b117d238e3c2868427c2bbe","datavalue":{"value":{"entity-type":"item","numeric-id":433345,"id":"Q433345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2989001$EE3F29DE-8BE9-4EC3-96DB-6C760E1AD4BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"65b4a98099b7ca5bd6ebeda9e47c41c524b13805","datavalue":{"value":{"entity-type":"item","numeric-id":433346,"id":"Q433346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2989001$6876D879-9BC2-49F0-8E84-8760E1B63166","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a59ae3429cdc3df09abb41b2b009b08d954a3dea","datavalue":{"value":{"time":"+2017-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2989001$7F8912DA-3C2D-4682-AB5D-AF279C125AB4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a978a81f88c99f5aa464f4e8f3f3c410de406f72","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066109004459?np=y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2989001$E37ECA89-714E-4F68-ABE5-602AA876E9B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2989001$4F517519-29B1-4D17-AB56-E1E1489737B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2989001$A8AD3ADD-C95F-40B7-BDC2-3095CC2F2FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2989001$70BD96C2-3096-4D32-8A73-BE9D95454BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2989001$BEE62BF3-2DBD-4ED5-9C51-BB075C17B377","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"841abe304bc1aca5dc309d9c82316607eda4fbcd","datavalue":{"value":"6721684","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2989001$FB615078-81D9-4F35-99E9-5CD245793D4F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51ed23b56706181cc9ffcdabfa285224d121dcf0","datavalue":{"value":"symbolic transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2989001$931CD820-3D58-4802-A7AE-5B17939E57E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d23cd35f0c2a55a4df09892085d6b691968343f1","datavalue":{"value":"non-observable actions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2989001$EC1D3C84-8B9E-4A3E-ABCA-31C6AFE84DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c81bcb66af213e97074519e81efa8116b63081a","datavalue":{"value":"compatibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q2989001$BDACA506-F0D0-4265-BBE3-57A73E509E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7837ca7b4ed6a21f47990cc2562459286134de64","datavalue":{"value":"Maude","type":"string"},"datatype":"string"},"type":"statement","id":"Q2989001$68970187-5E68-423A-B422-7A002B7ED2EA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ac4a23cff76ad725cb167f414f9667b8dc90e88d","datavalue":{"value":{"entity-type":"item","numeric-id":28711,"id":"Q28711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2989001$79E0FA83-94E0-4407-ACAA-84DDA5662ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4840352b17217b124b50c88ee4bd6bcc958c902f","datavalue":{"value":{"entity-type":"item","numeric-id":17510,"id":"Q17510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2989001$1032E317-C8F7-4B59-8F47-778F6DA02CC0","rank":"normal"},{"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":"Q2989001$EE7E8194-2B84-4387-BFD0-4CD892C57EAA","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":"Q2989001$702D6EEC-6F93-413C-A26F-69FA2B2836F9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbb5f8aaf32e2f09f911db359812a3c2c5ee0b33","datavalue":{"value":{"entity-type":"item","numeric-id":433347,"id":"Q433347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4966382989011c7ea9a1e92d34364809778a1bac","datavalue":{"value":{"amount":"+0.8884897232055664","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":"Q2989001$0129AB5C-DF9D-45C2-ABD8-EF8EAFCB47E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9af16efe4592ea4a40fdafdd15323c414088600e","datavalue":{"value":{"entity-type":"item","numeric-id":3507393,"id":"Q3507393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"332949ae2eb4f2a594e42ea4981b0330030b3943","datavalue":{"value":{"amount":"+0.7276835441589355","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":"Q2989001$FED7D4EE-7B35-4DB5-B0F6-586B492AA0A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e24014e506ab721db1dc35b0c7d6ead6d7db078","datavalue":{"value":{"entity-type":"item","numeric-id":5411652,"id":"Q5411652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22990f416bba72cac8a7188acc1b126bfa587faa","datavalue":{"value":{"amount":"+0.7123634219169617","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":"Q2989001$EF73254D-08E5-4872-8746-3A10CC0961F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ae679b0623748f1151d347642ddd404f3666e1d","datavalue":{"value":{"entity-type":"item","numeric-id":2921918,"id":"Q2921918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5049ce961755c2093ba0b1e7fc34d2586f081593","datavalue":{"value":{"amount":"+0.710951566696167","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":"Q2989001$F84A2711-72B8-43E3-BC07-EABBC8534B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"045404e0f218e7c500bb9b75fbffbd038c0d781e","datavalue":{"value":{"entity-type":"item","numeric-id":3510856,"id":"Q3510856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"428d56d4302dbdcca091812a7a0663c94ad63a6d","datavalue":{"value":{"amount":"+0.6982538104057312","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":"Q2989001$E6C432D8-8CF9-4835-BFEA-1A5AA1D90DE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2989001","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2989001"}}}}}