{"entities":{"Q2715825":{"pageid":2726564,"ns":120,"title":"Item:Q2715825","lastrevid":47615755,"modified":"2026-01-02T05:41:03Z","type":"item","id":"Q2715825","labels":{"en":{"language":"en","value":"CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1600565"}},"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":"Q2715825$8F456531-D825-4097-AE9B-511D716E896F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dda8c64fadbe6d679e75107af90ee0b3439622f0","datavalue":{"value":"0962.68115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2715825$77286164-0CF1-436B-8465-B25D4F8F0230","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2289c57fe71d0e69841efc981491fa17b2cd3710","datavalue":{"value":{"entity-type":"item","numeric-id":344795,"id":"Q344795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2715825$6C79A1FC-ACAF-4605-B385-8C9CC97D0AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f6f99687ff908843c429ffd48d1e31213ec62ef","datavalue":{"value":{"entity-type":"item","numeric-id":520243,"id":"Q520243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2715825$977752B9-CC7D-4C78-BCA8-46F82E824EB0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e7044733408cd7fa759518d10aba229d93299ca","datavalue":{"value":{"time":"+2001-05-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2715825$FB6A5FE1-237E-4AAB-BE59-859939720150","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2715825$559237C4-95C2-4494-B3B4-50FCFAF15712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2715825$FF2E8B5D-51B8-4F0B-AF7A-EF2313FE0DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2715825$30F971E6-E958-4B51-B983-BF5C2F1441FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cdefb68dd5ab7ee2edd600b517ec6e52b7183c2d","datavalue":{"value":"1600565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2715825$5ECFF54A-3544-4F7A-9AEA-7AD1E62B4153","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af9c2931efeabb6be53fe1748bab25fbce055d99","datavalue":{"value":"algebraic specification language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2715825$69D93B3D-C28F-4CBB-8A65-044139484F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9774ec536a335bf339af8b08118f8757f918204","datavalue":{"value":"CafeOBJ","type":"string"},"datatype":"string"},"type":"statement","id":"Q2715825$F7B4414E-247F-411D-B6A3-7FFCF79CEF8E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9cc08f1ee64c2fc0d984a8fe54c7c857eeb0cc4","datavalue":{"value":{"entity-type":"item","numeric-id":18366,"id":"Q18366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2715825$76011C54-2299-474E-A9AE-21392F343204","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":"Q2715825$5AC05349-7405-4C8F-A2C5-77A8E9A28DD6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d8b3fdfdb7acac20968fed33c13c5caee6601163","datavalue":{"value":{"text":"CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2715825$C2D5A06F-30C8-4391-B478-03586CFE1197","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"de7c1184212cf980a51821acc2ed2ed2c2994349","datavalue":{"value":{"entity-type":"item","numeric-id":2715819,"id":"Q2715819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2715825$FBC73CD6-1F0C-4F71-BDCB-00BEE5FE2726","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"829d599ee99f99e8f18209f7fc970f7f62999852","datavalue":{"value":{"entity-type":"item","numeric-id":4680190,"id":"Q4680190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee55322fc45839a7d22e8ed93a0e25fd3181c660","datavalue":{"value":{"amount":"+0.9139876961708068","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":"Q2715825$78EA4EA3-1C36-435F-AFE0-1355C86658C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f010496b4d6a10cdad341aff8f9c8eb5c248577d","datavalue":{"value":{"entity-type":"item","numeric-id":4409149,"id":"Q4409149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11bd5ac2fdfbdd6dd444302bea6729959facbd42","datavalue":{"value":{"amount":"+0.8579710721969604","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":"Q2715825$A895EDCD-68FF-4BF6-96F2-FD0A3566B7DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dbd2145597199f44597da7afd790879bc4f8131","datavalue":{"value":{"entity-type":"item","numeric-id":4671707,"id":"Q4671707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11bd5ac2fdfbdd6dd444302bea6729959facbd42","datavalue":{"value":{"amount":"+0.8579710721969604","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":"Q2715825$C0178E94-CBCA-4B60-9922-1F647A078823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae4d0eb7dc951f0f734c94be3a6c19c55765506e","datavalue":{"value":{"entity-type":"item","numeric-id":1608919,"id":"Q1608919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f6cde4ba5beb22bf2e352845c0e7b90eb6b534e","datavalue":{"value":{"amount":"+0.8445594310760498","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":"Q2715825$F1E5CD06-C56C-48BD-BAF8-CCC705CADFD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1f256f2e0d8dc322624b9f7dbc57c029f2e78a6","datavalue":{"value":{"entity-type":"item","numeric-id":4255593,"id":"Q4255593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfd05a2e113d87c20fb5c2edd8276f431f55ef8f","datavalue":{"value":{"amount":"+0.8137583136558533","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":"Q2715825$32323ECA-C416-490D-9DCC-FDEF022DECBE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2715825","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2715825"}}}}}