{"entities":{"Q3668854":{"pageid":5698760,"ns":120,"title":"Item:Q3668854","lastrevid":49974106,"modified":"2026-01-12T09:51:25Z","type":"item","id":"Q3668854","labels":{"en":{"language":"en","value":"SLAN-4: A Language for the Specification and Design of Large Software Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3823128"}},"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":"Q3668854$1F4D4A86-C6D6-47E4-B139-8F9A46BE2490","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f3e5b16a051162939e04c1005858e3273daf1c99","datavalue":{"value":{"text":"SLAN-4: A Language for the Specification and Design of Large Software Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3668854$829F39CE-A019-47F1-9EFD-55B33DBF3A72","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"04f08ca26e58f1894616066dcaed00431793cb1a","datavalue":{"value":"0519.68042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3668854$0AB5F4E9-047A-4ED8-B80F-395666AE793C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"502d18ff2a68ca81769688a4d8e1e6b1b82be443","datavalue":{"value":{"entity-type":"item","numeric-id":3314974,"id":"Q3314974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3668854$0AFB5B60-778C-4855-868B-A14337B962EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1d6147db152564e84ae694b814604d657aba342","datavalue":{"value":{"entity-type":"item","numeric-id":356383,"id":"Q356383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3668854$571F86AA-53BC-4868-9B3E-242CD5D520D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c5b3931acd01e32731554cc7603b48e342e1808","datavalue":{"value":{"entity-type":"item","numeric-id":3314975,"id":"Q3314975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3668854$DE3FA713-62A0-4A4D-995B-16A3F18DB8E0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ac97000bb9a6c8b51835fb6b9b95dbf469544801","datavalue":{"value":{"entity-type":"item","numeric-id":3208397,"id":"Q3208397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3668854$4E42713E-6F31-43F3-A54D-DACA4FFC4195","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3668854$8D0C8F5A-C923-48ED-A3D2-B02401F8A873","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3668854$2AD40829-8AF0-4FCA-A5BD-3500416AB25E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f683a5dbef3cd2f7da32c29f923018c6201e85e","datavalue":{"value":"3823128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3668854$2AABFD1F-D920-4D56-AAAA-83A89D0BD9EB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36681c79b19ee883ee254e3bee9c74d946086907","datavalue":{"value":"formal tools","type":"string"},"datatype":"string"},"type":"statement","id":"Q3668854$C0C0FB49-1E14-4697-B587-0E0EA6C3B4CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe59fcd674e3024a8bc58b2515a2350ece97c593","datavalue":{"value":"language constructs for algebraic and axiomatic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3668854$C5F09798-5ED2-436C-89BE-14D7A805CC76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd5de9b69812f0ef785895433e5bd2e4185f8eac","datavalue":{"value":"pseudocode","type":"string"},"datatype":"string"},"type":"statement","id":"Q3668854$FEC3CC70-6761-4285-9E2C-A2726C09B9C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c46f4b0aa64e62d41bad3f8c84bb1f44a43cd61","datavalue":{"value":"syntactic constructs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3668854$32A4CFA5-DE17-40F2-A344-3B40BBF40EAA","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":"Q3668854$3ECFF8A6-9E1D-4B06-9336-EB3EACD02BEB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9654661bce29b6f411a91202cc8e49e8eb16fa51","datavalue":{"value":"https://doi.org/10.1147/rd.276.0558","type":"string"},"datatype":"url"},"type":"statement","id":"Q3668854$87F594C9-EAE7-43F1-9339-EECC25929E7B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"feea5ac78ecb23931eee4ae44a484821a927f5f2","datavalue":{"value":"W2026370261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3668854$A555A670-7F5D-4599-9888-49BB830A7CB4","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"db62cdb14508f491830640743e3ecf393bcbeec7","datavalue":{"value":"Q111927798","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3668854$E3035177-7D40-4A5E-A012-FB172B83D6C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e0c516b5844f6c6ab000bc0df2a98f41d985efd","datavalue":{"value":"10.1147/RD.276.0558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3668854$2ED9461C-9F42-4851-92B3-3793712C9045","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3668854","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3668854"}}}}}