{"entities":{"Q5096765":{"pageid":7126341,"ns":120,"title":"Item:Q5096765","lastrevid":91358960,"modified":"2026-06-04T22:58:18Z","type":"item","id":"Q5096765","labels":{"en":{"language":"en","value":"Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectives"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7573016"}},"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":"Q5096765$B57BC9D9-982C-45F2-BE1A-4AFEBD378BFB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"704c0d38a1e85ab2091f1b14f7ec9e27f2f902da","datavalue":{"value":{"text":"Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectives","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096765$5DD43165-ADC7-4278-9B4F-4F908ECCC00E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c3c80507a76eec22f27e4cece3d2939fb39c45cc","datavalue":{"value":"1493.68229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096765$BFB543A7-0EFB-401B-ABC5-1011C4B4EBE8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e13f7bab89ff753075f9bf9d39cc657ce1840f8f","datavalue":{"value":"10.1007/3-540-55210-3_169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096765$19410CD3-298A-41E8-8831-386C872324D1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"73699815df52a11b9f0a027e039427fa47b837a6","datavalue":{"value":{"entity-type":"item","numeric-id":5096764,"id":"Q5096764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096765$442CB0F8-949E-4074-9639-A8862410B552","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc5d7d1bdf288a91b8530ddee2bbdc5e2a735b6a","datavalue":{"value":{"time":"+2022-08-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5096765$36664371-93BA-44FE-B428-695DD2E067DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096765$AAE48DB9-D9CD-4F26-83D4-7C80F8AFC17A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3bf3754f01288b4e40bfad4a78de1eaddf5d7c38","datavalue":{"value":"7573016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096765$0D70803E-6C55-4F9E-99C9-5449BB44F6E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fffd81c6aae76a5fc581ab482db7fffc27874219","datavalue":{"value":{"entity-type":"item","numeric-id":391417,"id":"Q391417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096765$CE1B4E36-C0F9-44B3-A3EC-E0DA5958E12C","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":"Q5096765$3E811352-A871-4D2D-B1CB-80617A668F8B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7e145ec1ff3cb09437963a03191485d2b4dad240","datavalue":{"value":"https://doi.org/10.1007/3-540-55210-3_169","type":"string"},"datatype":"url"},"type":"statement","id":"Q5096765$E7B29C03-36AB-498E-8159-1F013BE1A759","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a23ebe2abe44183c117c6815c41c4d8f8e27f2d","datavalue":{"value":"W1563875108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096765$470F8582-6EAC-4C7C-81DC-577D1F7FAA61","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8e304892b6b43b01c624022acb8786a559255da","datavalue":{"value":{"entity-type":"item","numeric-id":3809232,"id":"Q3809232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096765$4E96EBAB-8F7C-413B-A97E-D6EFB2F2B142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c95742e57826673115b0c856b8d8d2d847c7e06c","datavalue":{"value":{"entity-type":"item","numeric-id":1082804,"id":"Q1082804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096765$354C2EE9-A936-4E27-868D-C0B4532DF43C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a418f6210a4e69afb5e997d96eed5155d0019e0","datavalue":{"value":{"entity-type":"item","numeric-id":5184387,"id":"Q5184387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096765$C37F3B8A-19D6-4F8F-9BD3-59590B7A42AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6919ba84c94face972c4fcbaccdc5058745cefc","datavalue":{"value":{"entity-type":"item","numeric-id":3906394,"id":"Q3906394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096765$859CEF3A-A6DB-48E0-A4DE-A7AEF2B521D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5e6f00fe85e5cf392eb428fe128700ba8786eca","datavalue":{"value":{"entity-type":"item","numeric-id":1124317,"id":"Q1124317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096765$6FF7FA0C-2072-4EA9-B161-7DB64AE5CBF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe31339d73c57f8684c575de1924d8b9bbc7be57","datavalue":{"value":{"entity-type":"item","numeric-id":1202052,"id":"Q1202052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096765$3AB820D5-E0A7-4EB8-9B55-C2586FD5556D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22e1296fd2bde6b417d2e77f8a6a79922fb52933","datavalue":{"value":{"entity-type":"item","numeric-id":1346685,"id":"Q1346685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096765$D5623C4C-4F09-43ED-A72E-B5F5A9D08CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56ee2ab2bfe369cc3a73971160f426fcfd3db215","datavalue":{"value":{"entity-type":"item","numeric-id":3341871,"id":"Q3341871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096765$F536A2F2-4958-41CA-9E3C-951076B91003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca897a8c41bcaa8d142a48f17d1f2b052c9612d2","datavalue":{"value":{"entity-type":"item","numeric-id":3332238,"id":"Q3332238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096765$AECA4D2B-5C5C-4498-8A01-367354B84734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4acb866116ce642b1507d26463a95419186f8fc1","datavalue":{"value":{"entity-type":"item","numeric-id":1067767,"id":"Q1067767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096765$84A71F15-E615-4152-BF2A-84D4D6424F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ce9e05e258c5ad8727cb83fde1a8aaf415de994","datavalue":{"value":{"entity-type":"item","numeric-id":3197342,"id":"Q3197342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096765$E12CF072-E667-4BAA-8EF1-2ED4B0615CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13b3906f3cb7f17d40c5651d67daf8cd633db116","datavalue":{"value":{"entity-type":"item","numeric-id":914405,"id":"Q914405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096765$D82ECEFD-40A7-448F-B377-05ED07498548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"918054d5ef9a74c159726e5cedc74605d3ec3553","datavalue":{"value":{"entity-type":"item","numeric-id":1323357,"id":"Q1323357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096765$62E04E2A-39F8-4655-8D7E-8860E3A80BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f2e9eda5633627f3277aa943a0eb055885cf8cf","datavalue":{"value":{"entity-type":"item","numeric-id":4725720,"id":"Q4725720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096765$1F2ECC85-D4C4-464B-9BAF-95A4A32D2474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5be75b2de8c8bc279b3324aa378900b2836e97b9","datavalue":{"value":{"entity-type":"item","numeric-id":3666260,"id":"Q3666260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096765$26954A31-19F4-49BF-917F-7C281460A426","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a3dfa62e1d88cfd20de4fd45cf9d3702ef1cd35","datavalue":{"value":{"entity-type":"item","numeric-id":1124317,"id":"Q1124317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ba237808106d87369ab0a960fd3eff4df48cb49","datavalue":{"value":{"amount":"+0.8504774570465088","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":"Q5096765$6A1DB1F8-5A14-43C9-AD01-7AA33CB17502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a31f0318061d74de105dec16369707f90605d924","datavalue":{"value":{"entity-type":"item","numeric-id":4028351,"id":"Q4028351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f1367f54fd77bdc662187aa5cea5f2766ea5f8d","datavalue":{"value":{"amount":"+0.7861098051071167","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":"Q5096765$AC4E5B41-D2F4-4086-9248-44E6B025BAA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46ea0d870d484fcff379f682dd2ea2e422c61344","datavalue":{"value":{"entity-type":"item","numeric-id":3971276,"id":"Q3971276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f1367f54fd77bdc662187aa5cea5f2766ea5f8d","datavalue":{"value":{"amount":"+0.7861098051071167","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":"Q5096765$ECBA5390-ACA2-4C24-AB12-70885F232735","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":"7109bb8995c7887f010a0d6a052bcc81dd2b5229","datavalue":{"value":{"amount":"+0.765944242477417","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":"Q5096765$7E73B854-A803-49B4-B373-3BC0030C392A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"139ec918f6b4972880665f4c6ce4534e328919e2","datavalue":{"value":{"entity-type":"item","numeric-id":4680193,"id":"Q4680193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bf2d4eb26186b6bb07f830847ec687bbe9ff6fd","datavalue":{"value":{"amount":"+0.7656427025794983","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":"Q5096765$77B03547-C304-41D7-ADDF-35CC7D86EBEF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectives","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Structuring_and_modularizing_algebraic_specifications:_the_PLUSS_specification_language,_evolutions_and_perspectives"}}}}}