{"entities":{"Q4820463":{"pageid":6850043,"ns":120,"title":"Item:Q4820463","lastrevid":74751138,"modified":"2026-04-15T00:10:09Z","type":"item","id":"Q4820463","labels":{"en":{"language":"en","value":"ETOILE-specifications: An Object-oriented Algebraic Formalism with Refinement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2108053"}},"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":"Q4820463$35B2EBB5-64A7-42B3-B045-42571590A39B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d5cdcc2434ae4a71a1ea32d69a1fbfedeff7d21","datavalue":{"value":{"text":"ETOILE-specifications: An Object-oriented Algebraic Formalism with Refinement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4820463$CAFD4CE7-B8B5-4F97-9CCF-A5E5AA2A1479","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2d3b41a9935e8cc109daa1bd406a9155a8f43a6d","datavalue":{"value":"1104.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4820463$0EA2E3B0-92B9-44A4-9356-32C15FBEEF79","rank":"normal"}],"P16":[{"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":"Q4820463$19E61A91-3C60-48FC-A740-A282BFE968C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7d89478774456ded62a19904fc3ea510aad4b87","datavalue":{"value":{"time":"+2004-10-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4820463$91F8DBD3-0F93-4A8F-AF00-CC8CAA579A9F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4820463$BC60661F-7ABF-4556-88D2-54E0CC57A24E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4820463$BE395697-9249-4837-9222-89E948FE221D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"528d6ac6101037fe4f364c3c580ebdea4729b658","datavalue":{"value":"2108053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4820463$B0F4E3BA-D3FC-4103-B127-BD91632E6D19","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1e12017310e842d82815192d3e7cb50673fd5a7","datavalue":{"value":"Object-oriented specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4820463$1408818D-E802-4B9E-93A0-FE1BC2E973AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf6483e93ff0b0b0a920caa3a8bcdc780bd2e5cf","datavalue":{"value":"algebraic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4820463$FE1B9978-320B-44E3-AEAB-9B4FC891F3DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebe66fb4489ec42f23624ad04a1ad945e04b56bc","datavalue":{"value":"dynamic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4820463$3459D2BE-72B6-4BD9-8335-4D4D9185120F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4820463$AC09522A-55DE-4103-BD11-4B7D7610538C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bba6ba195b5d1f43c06eba3986a9ff9bc98d3bf","datavalue":{"value":"algebraic refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q4820463$21E65DBA-69A5-4906-B93D-D113A59CBC18","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cba2f313ea2959f110ac642e1b84e6e89a9f1c6b","datavalue":{"value":{"entity-type":"item","numeric-id":14779,"id":"Q14779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4820463$704258FB-89E0-4D19-867B-CC8CC93DDAD0","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":"Q4820463$4590A723-9263-4087-BC3C-E65F67C7E981","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"89b5137ab36727925e6a44cc5359d3a927344639","datavalue":{"value":"https://doi.org/10.1093/logcom/14.2.145","type":"string"},"datatype":"url"},"type":"statement","id":"Q4820463$13C55E49-1BB2-4839-924C-4B4CB7BA544C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3465b3cfb28243ac6a7553ee4275f533b79f9d5b","datavalue":{"value":"W2079241091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4820463$6DCA1396-E9FF-4C95-8886-5131BA1D5572","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"94f9054a230bad74a025c5b28bdcfb4e3c0bdcad","datavalue":{"value":"10.1093/LOGCOM/14.2.145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4820463$80989CED-E69E-4B2D-B63E-7F81BC5F415B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4820463$96FBE9C1-BC02-4ECA-888E-D1493DABFB64","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adcd81ecb807be6bc95a741f18334ded334875f2","datavalue":{"value":{"entity-type":"item","numeric-id":1608926,"id":"Q1608926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b0be0720939b9747bf649461aceb648aca81952","datavalue":{"value":{"amount":"+0.7608168721199036","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":"Q4820463$38E5826E-F06B-4780-A1FA-1BE558186C0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5036f4fcdc5e6744984e85371eeff325b0c173a9","datavalue":{"value":{"entity-type":"item","numeric-id":5943269,"id":"Q5943269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38a1cb5c8b68075cd0220a0bdc15122a811b4359","datavalue":{"value":{"amount":"+0.7425485253334045","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":"Q4820463$F59A413D-FBB1-4663-96BB-D6083CFE2CD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"239b61c1abfb5c4202f217b91207a8832ee82d58","datavalue":{"value":{"entity-type":"item","numeric-id":4940107,"id":"Q4940107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38a1cb5c8b68075cd0220a0bdc15122a811b4359","datavalue":{"value":{"amount":"+0.7425485253334045","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":"Q4820463$50264950-65F9-4441-8098-21246D9486C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0cfe5316668a61004dc55e01e01fdf1a79bee10","datavalue":{"value":{"entity-type":"item","numeric-id":4375195,"id":"Q4375195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aee8863efee7e9e54778323f2e3e5d5d6c03351a","datavalue":{"value":{"amount":"+0.7290440201759338","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":"Q4820463$F0634A2C-A961-4E66-93E7-AE6B14BED214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15b2697f8b06c6eb2861be38f10afeb23a395478","datavalue":{"value":{"entity-type":"item","numeric-id":2765661,"id":"Q2765661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d957a6dc9f11a2e417ab926d16a3c87db5372f35","datavalue":{"value":{"amount":"+0.7290436625480652","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":"Q4820463$30363430-58AC-4372-B680-20A33EF8B4A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"ETOILE-specifications: An Object-oriented Algebraic Formalism with Refinement","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/ETOILE-specifications:_An_Object-oriented_Algebraic_Formalism_with_Refinement"}}}}}