{"entities":{"Q5287557":{"pageid":7317131,"ns":120,"title":"Item:Q5287557","lastrevid":46349247,"modified":"2025-12-24T15:06:10Z","type":"item","id":"Q5287557","labels":{"en":{"language":"en","value":"Formal Specification and Design"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 236853"}},"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":"Q5287557$AEFC4883-DB27-46EC-82E4-C50020D96EA0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6aa940e490c83a708af65bc50190bba5104d12b8","datavalue":{"value":{"text":"Formal Specification and Design","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5287557$BBBB1403-88EE-4213-9BDD-7141638FFA49","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6a5817e6d6189a19266c0a04c827aeb971dc49e2","datavalue":{"value":"0774.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5287557$D5A23429-069A-4C1A-AD76-0AE8832BBAC4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"84832510afd5701ebf30d4a6702bfeff1f60a08c","datavalue":{"value":"10.1017/CBO9780511569777","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5287557$9108BD09-0779-46B7-AAF3-A520A32F2CCD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"faab845f8da2080018c2a4bb0244a2994559ef51","datavalue":{"value":{"entity-type":"item","numeric-id":169674,"id":"Q169674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5287557$1D9F580F-CF4C-4E39-8C39-A6913CCAC76E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9340c11525dee1d0604cabb555ef6a3da3936259","datavalue":{"value":{"entity-type":"item","numeric-id":4321287,"id":"Q4321287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5287557$3E744A32-53EA-4290-84A9-5347B048064A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"894d5032358797407f7857caebc8713d13b51e11","datavalue":{"value":{"time":"+1993-07-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":"Q5287557$996003BC-4084-493C-922F-B599D6EC57E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5287557$FED946BE-043E-47D5-84D0-0B4D0AA071F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5287557$6FEDD42D-3986-4167-82AB-D2E3D1D9E6AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"907a602808dfb9f7f6c70e8e638eff3f9281007e","datavalue":{"value":"236853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5287557$31767B42-73EF-4400-87C2-69B97343ADDE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e1daee68cedeeadccdf496f924561e3065e4444","datavalue":{"value":"abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5287557$96BC6C84-D2DB-45D6-BB3C-D0D30D315F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a32187ba9436d3ff02ae6671af2cf9e24d36466","datavalue":{"value":"state-based specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q5287557$FF5DFB60-D932-4B30-BC3E-8D161BE7872D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf6483e93ff0b0b0a920caa3a8bcdc780bd2e5cf","datavalue":{"value":"algebraic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q5287557$B064520D-9219-468A-A0B3-D2095AF99343","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":"Q5287557$0956DB9F-4D7F-49B4-A3C8-CA7C45412AD7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e47e04cac792a73e8cf880fa4700876c3fd719cb","datavalue":{"value":"https://doi.org/10.1017/cbo9780511569777","type":"string"},"datatype":"url"},"type":"statement","id":"Q5287557$ED6E663F-8890-4708-A69A-5EAC517BB6A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9eb0475e46a1e39e731de353c28fe8fe295280dd","datavalue":{"value":"W1521991699","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5287557$F0F69AF4-6E27-478F-B58C-FD81A7A5E4B9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bb95ac63938cddaf154d3290568e8e6f413973c","datavalue":{"value":{"entity-type":"item","numeric-id":4267791,"id":"Q4267791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1bd1a5f9514290cee1400a545d81d3c703ad33f","datavalue":{"value":{"amount":"+0.8449759483337402","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":"Q5287557$D12C276A-BC30-451B-9DFD-00A9C4D8D5DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffec196239a57d473f65ac5b7119c8b72e33653f","datavalue":{"value":{"entity-type":"item","numeric-id":1187686,"id":"Q1187686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cca935e6e8015300f8519a58d2da66d898ba63e","datavalue":{"value":{"amount":"+0.8120587468147278","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":"Q5287557$35211526-AFCE-4D20-8CCA-85B6B4F2C652","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5287557","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5287557"}}}}}