{"entities":{"Q1124317":{"pageid":1135066,"ns":120,"title":"Item:Q1124317","lastrevid":69841683,"modified":"2026-04-13T10:42:35Z","type":"item","id":"Q1124317","labels":{"en":{"language":"en","value":"How to make algebraic specifications more understandable: An experiment with the PLUSS specification language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4111984"}},"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":"Q1124317$531165E1-8149-4E2B-9997-9D41CD93F6F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a00efd65334e79ecd5ac107e2fc10f9fb6bb3ef","datavalue":{"value":{"text":"How to make algebraic specifications more understandable: An experiment with the PLUSS specification language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1124317$B356EAEB-6BE3-4D99-AF9E-B77FEBB02986","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"14af658b196a33a27f49aae8971cb41d783285bb","datavalue":{"value":"0678.68011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124317$A229F6CD-0AC4-4527-A05A-10C99ADD6B51","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dc9bb9b3a2cdfbb11dc3c464c202895ab9b6cf91","datavalue":{"value":"10.1016/0167-6423(89)90026-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124317$E09FE9CC-8D90-42A1-8D5E-99073F12D9F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d4f1a339315475202db0f8f353f59660491a322","datavalue":{"value":{"entity-type":"item","numeric-id":1124316,"id":"Q1124316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124317$8E45227A-788D-4B7A-BD6D-E1D5D67B9B49","rank":"normal"},{"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":"Q1124317$C8AE08A1-C616-46FC-95C9-1748F571D29E","rank":"normal"},{"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":"Q1124317$DCFC93FF-4E0E-434F-A62E-7C25B5AC3A51","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":"Q1124317$0E961EED-A60C-430E-A71D-DADEFB06EE05","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1124317$41B02BDA-47DE-43D6-BEDF-15E2678873D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124317$53867750-0E98-4821-B841-9610B3FDC67C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124317$C424AD95-087A-4F41-9150-1E06EC0CFC36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124317$4C9848AB-496C-447B-83AA-1BD4984DDD18","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"623a83d54696067044f4ae064aa7dbfc8a9f136a","datavalue":{"value":"4111984","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124317$C9920577-FB83-46D9-9D2C-6630F935B39B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47aefda07ac5d6e74103bdf2455b1df41b0e324b","datavalue":{"value":"algebraic specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124317$5B0DD848-E55C-47F9-A7CF-ABADE10D815D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afab020a93a953e42ee2cd584d4e30362940178a","datavalue":{"value":"PLUSS","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124317$47C0CF39-05CB-4FE8-BEE2-E80B97CEFE54","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":"Q1124317$1887F048-D791-4AF0-9226-B1D074FD2A7A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f61f988741e1ed0aad8ffac3635a35b10668e702","datavalue":{"value":"https://doi.org/10.1016/0167-6423(89)90026-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1124317$39000B4F-642F-42FF-A03F-5434EB884213","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ec7430be6f21a6572ba9d60a649bcc1556b98c2f","datavalue":{"value":"W2066925317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124317$68E791DE-8B36-488C-A35E-5F86DFAA79A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8b4b8683c0839738f2ca908c025d29d0bbf8be1","datavalue":{"value":{"entity-type":"item","numeric-id":5096765,"id":"Q5096765"},"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":"Q1124317$33B3B081-CE1C-45F2-B493-C5D57A9532CA","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":"463485313970a6f1fd656ab3640969ff4e63ca24","datavalue":{"value":{"amount":"+0.7377703189849854","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":"Q1124317$08FB26EF-2272-49AB-8626-A84A5A21194F","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":"f7a9e4b643ba9bf40704ca7748daa3af4c966718","datavalue":{"value":{"amount":"+0.7371025681495667","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":"Q1124317$807F8719-1B0D-4B70-AFC5-94B8A93899EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3b25c5809acbc147245ec75c5e5031bb9820d30","datavalue":{"value":{"entity-type":"item","numeric-id":1422256,"id":"Q1422256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7a9e4b643ba9bf40704ca7748daa3af4c966718","datavalue":{"value":{"amount":"+0.7371025681495667","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":"Q1124317$5CD99ADE-640A-4BBA-8E03-31592FBE6363","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":"38af38ba34bc5d30c09bd69b03858d55e761fded","datavalue":{"value":{"amount":"+0.7368530631065369","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":"Q1124317$05A364DF-F60D-4FD4-A7DA-569BEFBBF60B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"How to make algebraic specifications more understandable: An experiment with the PLUSS specification language","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/How_to_make_algebraic_specifications_more_understandable:_An_experiment_with_the_PLUSS_specification_language"}}}}}