{"entities":{"Q2469155":{"pageid":2479898,"ns":120,"title":"Item:Q2469155","lastrevid":50265755,"modified":"2026-01-13T16:55:04Z","type":"item","id":"Q2469155","labels":{"en":{"language":"en","value":"Soundness in verification of algebraic specifications with OBJ"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5231971"}},"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":"Q2469155$92228790-964F-4D1F-A5F2-10E4AFDF6946","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2dc9f688679e0674b6a9b77be2537d4b32d6001a","datavalue":{"value":{"text":"Soundness in verification of algebraic specifications with OBJ","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2469155$07AD0220-2ABD-431D-BC4E-5A92DF53FF70","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"745004740e8a0becf094d844858f34c660766a7b","datavalue":{"value":"1131.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2469155$0548DDEA-89B6-4AE6-9A32-C62844E0DF3F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a42274c31a188891aec0e5b6a1ca69be820f9c18","datavalue":{"value":{"entity-type":"item","numeric-id":2469154,"id":"Q2469154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2469155$2434C9A5-F55B-4555-BA3E-C4A2001CF0CD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2469155$ECCEE95E-8551-429F-A0A6-A9208A45B9BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e7d92ceb78f78f49389a1027568ad4fd3f39cc02","datavalue":{"value":{"time":"+2008-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2469155$0761CD3D-106A-4388-87A5-09DA42645BE9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2469155$54888915-8977-40F0-9BC5-B5F4E780B596","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"873808395c0507b2803cacdbe7fd999c88ac8ebc","datavalue":{"value":"5231971","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2469155$94724305-A4BA-4460-9436-D1563B18F48D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2469155$08BD8752-FE83-48CC-A11E-A40489A4DB15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9663dbe40b75b2eecc9a793ee1ebc204b2274cf","datavalue":{"value":"OBJ","type":"string"},"datatype":"string"},"type":"statement","id":"Q2469155$5CA2E387-9DC9-459E-AFEB-2067C550FB43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47aefda07ac5d6e74103bdf2455b1df41b0e324b","datavalue":{"value":"algebraic specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2469155$D6FD9048-8BCB-4B2C-B71C-C31233ADF1F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2469155$4A06C6C0-D1F0-4E6F-A625-4AACDDF14784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca1a231e3b3cc441d78d2f6754d104dbd78e7a6d","datavalue":{"value":"behavioural specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2469155$17EE568B-6B58-4BDB-B3AE-81FC6062391D","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":"Q2469155$AFB37580-CC3F-4249-B9FB-EDB349BB1496","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":"Q2469155$6A1BD162-D21F-4EE3-A90D-C661A1BAF56B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e27fee406505fec060221642474715fee257aeb3","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2007.07.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2469155$E6E74B08-507D-41F5-8743-1F28B5F697C2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4c4938972928470d99e498c076e0d9688310323a","datavalue":{"value":"W2109930174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2469155$BDAE6A25-A3CC-4DFE-8373-521D009F5242","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"907aa2ec32dd709ef2ac1f74163a80b2dde836f8","datavalue":{"value":{"entity-type":"item","numeric-id":3896478,"id":"Q3896478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2469155$1A6FBE61-8AFE-40E5-8FF0-67FB769779F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"685b6f2241ca731964008614149743ea5d098bf5","datavalue":{"value":{"entity-type":"item","numeric-id":2715825,"id":"Q2715825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2469155$F6D678E5-E24B-48C4-BFF7-FF11FE560A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c5ce624e253d3b568d117b876a6499bb57454ea","datavalue":{"value":{"entity-type":"item","numeric-id":3906381,"id":"Q3906381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2469155$F7878C72-53B2-43C5-AD50-B11C621E6BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9d81257f3403e2bd6dfaf12e4319d6962382d0e","datavalue":{"value":{"entity-type":"item","numeric-id":5096184,"id":"Q5096184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2469155$1DD1F669-D613-4EDE-989C-EFE68CD341CD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7ebb714236988885d4e5b40d9a9cb63ebe0f4d04","datavalue":{"value":"10.1016/J.JLAP.2007.07.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2469155$5909807E-A037-4CFB-B61F-3B437D230064","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fcf2e2c0c35e5cf85cb766eb656c24084d39e6d","datavalue":{"value":{"entity-type":"item","numeric-id":5403069,"id":"Q5403069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f3b1ea8fdee0dfd67cb8066da83a8f64ca4bd2e","datavalue":{"value":{"amount":"+0.7727405428886414","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":"Q2469155$9C201B92-5C5B-45FF-98FD-CFE633E5B3C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56ce37cdcbfcc7383350983ee8324db8eca7d07d","datavalue":{"value":{"entity-type":"item","numeric-id":2715825,"id":"Q2715825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a8793237a23930139bd4017315b9344ebee75ee","datavalue":{"value":{"amount":"+0.7422420382499695","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":"Q2469155$597751CE-4D39-45B7-B42B-C4A2D8740299","rank":"normal"},{"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":"5a8793237a23930139bd4017315b9344ebee75ee","datavalue":{"value":{"amount":"+0.7422420382499695","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":"Q2469155$4A273775-D958-4F99-8F62-72982EFAF9A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae5a5067d68700ed12e655efc2138a3863c6afc1","datavalue":{"value":{"entity-type":"item","numeric-id":3525098,"id":"Q3525098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43755cbdbf42229109332d491c73247036d3aa78","datavalue":{"value":{"amount":"+0.7396419644355774","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":"Q2469155$7FA483FA-085D-4140-81B0-F813E68D4552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9d04ed5003170bcac946af1ee44d1739359359d","datavalue":{"value":{"entity-type":"item","numeric-id":5757927,"id":"Q5757927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09f801d7e0f656d3b367587ae4c13ba2c23172c1","datavalue":{"value":{"amount":"+0.7343546748161316","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":"Q2469155$7100A7B5-6CD1-4A21-83FC-A3A508967BEC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2469155","badges":[]}}}}}