{"entities":{"Q1916354":{"pageid":1927096,"ns":120,"title":"Item:Q1916354","lastrevid":78011945,"modified":"2026-05-06T10:34:21Z","type":"item","id":"Q1916354","labels":{"en":{"language":"en","value":"Behavioural and abstractor specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 896507"}},"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":"Q1916354$A7852D1A-D80A-41A9-A1C4-D1CCFF31C613","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"07af429e895a8cf6399977511e81f6fff9fca9a3","datavalue":{"value":{"text":"Behavioural and abstractor specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1916354$DF8DB12E-D8F7-48BB-B692-E0AC298275CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ac889420101e61874bbcb286581541c4c83fb22","datavalue":{"value":"0853.68130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1916354$166C77E6-7BC4-4321-842C-9C667B8CB1C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2d011737e835f063348effc5db16c76db96a8e0c","datavalue":{"value":"10.1016/0167-6423(95)00014-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1916354$F77E7FFD-49D7-4677-BE41-B398020EA2FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d6480161792098e32949425ead8570d90a9967f","datavalue":{"value":{"entity-type":"item","numeric-id":671499,"id":"Q671499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1916354$D979AC82-4203-4598-B143-AF9636A5E1D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"82d7e2ad3382677d83b89ec58edf18af8299f3c0","datavalue":{"value":{"entity-type":"item","numeric-id":549176,"id":"Q549176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1916354$FC30C4CA-C239-4891-8740-B9BA7F7CE47D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a63343326dc3782dfaf32190a15d54584cc577d5","datavalue":{"value":{"entity-type":"item","numeric-id":541294,"id":"Q541294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1916354$DB754601-4062-4B7F-B4DD-671DC04138B9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1916354$3253CADB-4C56-4E13-A982-47249D863D61","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f13b44a6c6ac165201d0e7e640db058e6e40346d","datavalue":{"value":{"time":"+1997-01-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1916354$9655303A-2CCC-4CD4-BEE2-A25F54361597","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1916354$E3B35849-331B-46FA-83DA-412F7BFF1A5A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc828cd58f8a785c96d0596f9348ffac0cf72e62","datavalue":{"value":"896507","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1916354$8ED856AA-CA98-4801-8AAE-9D02C8D581BF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fd7c8fa4533426fa7a0150ffce47a73f0a6d557","datavalue":{"value":"observational semantics of algebraic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1916354$1E12B694-4E9F-4999-8C4A-05C3C72E909D","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":"Q1916354$6554DB10-8914-4952-9BFC-C78A0AFAAB89","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"acb44bfa8ec22b87c0589d0be11302b78eaf4af5","datavalue":{"value":"https://doi.org/10.1016/0167-6423(95)00014-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1916354$C9446A32-F70C-43D7-B60F-9D3E0EE9A77B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"382155f99f84f98a101b1034fade62e62e549763","datavalue":{"value":"W1980425977","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1916354$C8552351-5143-4808-A159-5E796BC14E0C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aebdf736ab42d4c63a362e14d4af8b113c836db","datavalue":{"value":{"entity-type":"item","numeric-id":724932,"id":"Q724932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92fdf23bcacd656f28cfe96d862d3742c1a26302","datavalue":{"value":{"amount":"+0.9238576292991638","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":"Q1916354$BA748DDD-8973-447C-8E4A-C57AB9EBF082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43c5b68931cb6f92af8944912044dea6d82ae0fe","datavalue":{"value":{"entity-type":"item","numeric-id":4842536,"id":"Q4842536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae94d4bee5ed964bb1c5b69c61f77bdaaf452cbb","datavalue":{"value":{"amount":"+0.856065571308136","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":"Q1916354$10219E4A-7FDD-4B75-BF04-F4F669069A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eccb792ebeb18bc43a48bf5e11bdcf474cd3b65","datavalue":{"value":{"entity-type":"item","numeric-id":3677153,"id":"Q3677153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2edbae4aff2ebac11b674d1795bcf91131b6e507","datavalue":{"value":{"amount":"+0.8448469638824463","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":"Q1916354$DE1002AA-FBAB-4558-9C50-80A9EC55A438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26f9d2620d922ca6296813b0c27fba20d57ba843","datavalue":{"value":{"entity-type":"item","numeric-id":3777428,"id":"Q3777428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15bbc40938e4618760310c831fa036b93afa6691","datavalue":{"value":{"amount":"+0.8260449767112732","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":"Q1916354$3926122D-6370-4FC8-91EE-1B889F1CE2A3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Behavioural and abstractor specifications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Behavioural_and_abstractor_specifications"}}}}}