{"entities":{"Q2473610":{"pageid":2484353,"ns":120,"title":"Item:Q2473610","lastrevid":50290784,"modified":"2026-01-13T18:38:52Z","type":"item","id":"Q2473610","labels":{"en":{"language":"en","value":"Logics of specification languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5241919"}},"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":"Q2473610$DD81E9D5-B836-4DC2-9E87-7A1621DC7F0B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c282a930ecca00c6e923872e51409241f5641ab3","datavalue":{"value":{"text":"Logics of specification languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2473610$50CE42D5-E7B5-44D8-A621-288F19DE1F07","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"51fbe2a1cb93f08fff42352f54f5782f5dbd224d","datavalue":{"value":"1138.68302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2473610$0B45E4CA-23E9-480B-A2B9-11FF01094956","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2bc0a9a072c54d3040ba50a648914eb5f0ef5f0a","datavalue":{"value":"10.1007/978-3-540-74107-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2473610$9D1E4DC0-0658-4724-B05F-316EB5FBAA29","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"74f349151f2e08910e2dfb7f7031081209eb9c81","datavalue":{"value":{"entity-type":"item","numeric-id":213237,"id":"Q213237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2473610$25E302FE-4EEF-4775-82A8-19E2FA220D75","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e043833a9750ce696490677ea45a75c6afd572dd","datavalue":{"value":{"time":"+2008-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2473610$4E9AD6A6-DDC4-4164-B29F-2C3F3E72D393","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2473610$94C66FA0-7900-42AD-ACF0-92CAF8A5FF44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2473610$945528E5-A06A-41D7-8527-CCEA649ED363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2473610$483D432F-241A-436C-9A9E-A7950EAEF219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2473610$BA97FF4F-26E3-4D9F-BB4C-48159FF62631","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"72ac0aa823f7efe6a840a76ef849f67854c27e5b","datavalue":{"value":"5241919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2473610$68A20972-C880-41DC-8C0F-45BDF1A99EDA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b340213c2b759957e397457c522c697b98bda44","datavalue":{"value":"Abstract State Machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q2473610$467D7DC9-D7D4-4F26-8BC3-149F993CD6B3","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":"Q2473610$B89A6DD0-BBAA-44D7-8421-57486AF94FFA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d8af7dce5bfe0f6f29c786265bdfc753fe214a67","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74107-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2473610$0B4A20A9-5CF5-447F-857D-102F7E55E72C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"94a644e5019136e08db161433d00d8c90817dbab","datavalue":{"value":"W593769067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2473610$BBA0D611-6CB6-4A0F-8E89-BF1F9C72CC90","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffd6d00c7b8a5d4081cfbfee8571f03304a3f7ac","datavalue":{"value":{"entity-type":"item","numeric-id":4210110,"id":"Q4210110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e255e82b2c065ccb06c4b181b96c4a69450c07c","datavalue":{"value":{"amount":"+0.7845267653465271","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":"Q2473610$6C44A746-B534-4891-8EED-52D29AF28DB2","rank":"normal"},{"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":"716119a761c4f96283ba1a89c79675ce21a86937","datavalue":{"value":{"amount":"+0.7731301784515381","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":"Q2473610$9CCF34F2-E532-4AD3-B38E-45BF37FB8D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b15f7f35530f0f5dde4d2341fd7eebd26a2099dd","datavalue":{"value":{"entity-type":"item","numeric-id":1773140,"id":"Q1773140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cc7039faa800d0fd4715648a6700806f1b8a452","datavalue":{"value":{"amount":"+0.7721526026725769","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":"Q2473610$CFCE0324-5E67-4F12-8D5E-87D29E8848B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"533b6d59ee2fa73074265492198af7ab7efe3b7d","datavalue":{"value":{"entity-type":"item","numeric-id":5287557,"id":"Q5287557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cc7039faa800d0fd4715648a6700806f1b8a452","datavalue":{"value":{"amount":"+0.7721526026725769","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":"Q2473610$6AC3CD94-9D70-42EC-9B77-29B40B12671A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29ab7cc9e9b3d1e6fbfdec577aa9a62f3f22ff42","datavalue":{"value":{"entity-type":"item","numeric-id":4680192,"id":"Q4680192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d237566c0bfa66126ea69b6cef9d3cad4140a1f6","datavalue":{"value":{"amount":"+0.7678824663162231","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":"Q2473610$EEE5148A-2486-40E4-AB14-CDFCB77CDB79","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2473610","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2473610"}}}}}