{"entities":{"Q4520534":{"pageid":6550127,"ns":120,"title":"Item:Q4520534","lastrevid":47547682,"modified":"2026-01-02T01:20:59Z","type":"item","id":"Q4520534","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1543078"}},"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":"Q4520534$862F6A2F-430B-4237-B008-AD3AAC386ECE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0843d929613672a353f56b018b09095a4a62e139","datavalue":{"value":"0960.68102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4520534$ABCA7B29-E3C1-43C1-94E2-85A8C9C2D144","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6dcfc376cacc0af28cb9f64ea7bf332729d87ea6","datavalue":{"value":{"entity-type":"item","numeric-id":555782,"id":"Q555782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4520534$37AAA3EC-EA03-41F2-BB87-D01D5042A8A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de18b131831b70e74b35a5b913c7f46523fa607b","datavalue":{"value":{"entity-type":"item","numeric-id":4520533,"id":"Q4520533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4520534$C58808A3-995C-4FE9-95BF-2FD424F453FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8dd3d0fc585eed54c845d3fdbd41c1d291c43a14","datavalue":{"value":{"time":"+2001-02-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4520534$B3D4E758-6B27-48A6-9A14-97C04B7A3792","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"18002be27f9ebaaf78d5d7536c7b4d7c71f57cfe","datavalue":{"value":"http://www.jucs.org/jucs_3_12/abstract_state_machine_semantics","type":"string"},"datatype":"url"},"type":"statement","id":"Q4520534$FFB4A999-5FB4-4C0B-8529-048667279B68","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4520534$86F23623-D73E-4C8A-9F16-44015DC145D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4520534$8E4642BC-36C5-41F1-B41A-A6AAC32ADBC3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e4fb04f5a743c08e12a4d5a58a1e05a52c583518","datavalue":{"value":"1543078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4520534$42EC6C18-ECC0-4B9F-9530-8195B38415C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5b5d45cc77a48cd5b7af689f70af3aa903e4d66","datavalue":{"value":"basic SDL","type":"string"},"datatype":"string"},"type":"statement","id":"Q4520534$22F8B706-431E-411F-8950-C5AD34AA957F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3a192508161eb3cef7b14d09a6310d44cc8eb90","datavalue":{"value":"formal semantic model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4520534$C003D427-5ACA-4432-B2DE-7FFCC3B54DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b09407bc9a8219847f22bbc21415735bc4ca63c5","datavalue":{"value":"abstract SDL machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q4520534$15FEBB5C-70AA-41D6-BA23-5FA692286E23","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":"Q4520534$54443579-C2F4-4CB4-B12E-BE1214329A7A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3abb87a8f6e67131087c7e4a25fc90dc0f7295b","datavalue":{"value":{"entity-type":"item","numeric-id":2753711,"id":"Q2753711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d82014cf11afd8e443f410fbb12a59ecbf9a97f","datavalue":{"value":{"amount":"+0.856549084186554","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":"Q4520534$2CFC90C4-E237-4C87-ADD6-82C14F0FD969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78b3eda6dd602cb419a2c1cdfa04f754a505e96f","datavalue":{"value":{"entity-type":"item","numeric-id":6487390,"id":"Q6487390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d82014cf11afd8e443f410fbb12a59ecbf9a97f","datavalue":{"value":{"amount":"+0.856549084186554","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":"Q4520534$E2E6827A-B6C7-40E6-B0A6-30C3D2FF909E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61a8ada0f639084877d14da8b1bcea249eacca18","datavalue":{"value":{"entity-type":"item","numeric-id":1400428,"id":"Q1400428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a64bfc0911e825a324887fb81ff29d6c07a9aae","datavalue":{"value":{"amount":"+0.8240995407104492","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":"Q4520534$37A53B41-7A42-4EB3-8AE6-D8A7F0A7F5EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24a41a65f6e667c7731bf9c151f00275e25a2367","datavalue":{"value":{"entity-type":"item","numeric-id":4413757,"id":"Q4413757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f6e42956c6034b4e2cf3ecdfd44939650803138","datavalue":{"value":{"amount":"+0.7899988889694214","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":"Q4520534$59F82F6E-41E7-45DD-AC3F-3649C7886383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8da88015ee0c9d4ebd10f9785bef03f4da07cb5a","datavalue":{"value":{"entity-type":"item","numeric-id":749198,"id":"Q749198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c033fa5fee9402b5a6a54963d06c0eb42547946","datavalue":{"value":{"amount":"+0.7665436863899231","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":"Q4520534$C0EE8DA6-765F-45B6-95F3-79C8A36838E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4520534","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4520534"}}}}}