{"entities":{"Q4520535":{"pageid":6550128,"ns":120,"title":"Item:Q4520535","lastrevid":47547685,"modified":"2026-01-02T01:20:59Z","type":"item","id":"Q4520535","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1543079"}},"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":"Q4520535$F6259B97-CDD4-4B1A-9981-A487A54D225D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"64217fd0dd84a5447608720266a18385500f99d9","datavalue":{"value":"0960.68010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4520535$22F52274-CD7D-4554-802C-C3B381D651FE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0669000a2c75a544ff89c97d0a0c781a7f433d41","datavalue":{"value":{"entity-type":"item","numeric-id":540673,"id":"Q540673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4520535$879139F1-54C4-4973-9DB6-610FA8E36C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"358f5679e9554adbd1f71043d4fb8def6ef8c41b","datavalue":{"value":{"entity-type":"item","numeric-id":315282,"id":"Q315282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4520535$FF298035-368F-4C23-8A63-C97AFF8B0044","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":"Q4520535$FDA5302E-C044-43F9-8098-20F766CFA974","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8b5182f2812d42d6dbd8c91bc398bfc48a8b38b1","datavalue":{"value":"http://www.jucs.org/jucs_3_12/formal_analysis_of_the","type":"string"},"datatype":"url"},"type":"statement","id":"Q4520535$927397DC-C137-4EDE-859F-E39B728A1B4C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4520535$5BB13CE3-2D49-4465-B475-A11698AFF3FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a03d3c46240b2b368c314d3b46c9a7dae54db19","datavalue":{"value":"1543079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4520535$B04BE6B7-748F-4ADA-B7B6-0943AE1FE0A7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c76e78d030a123d1dddaa99d7dd19b757809086","datavalue":{"value":"Gurevich's abstract state machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q4520535$D472AECB-99EA-4073-9088-C6240D5EB3D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3f13e6d9c37bb3e1dc478701eb29651ebcc2c48","datavalue":{"value":"Kerberos authentication system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4520535$1CDBFA20-EA12-4B36-B819-E73092A985A1","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":"Q4520535$7A75ECDE-DC53-48F8-9884-E3CAE3A6F3B6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e04e97a220b439a9c6f509263280e03f2001dc16","datavalue":{"value":{"entity-type":"item","numeric-id":860899,"id":"Q860899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91ee77f2606ff32a9aa0f8f422960370163d55e6","datavalue":{"value":{"amount":"+0.8391770720481873","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":"Q4520535$F56991FC-A087-4DA0-8E90-CFD82081DBB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65a1c73195404dedb347e3749317da94d4e9a827","datavalue":{"value":{"entity-type":"item","numeric-id":4370271,"id":"Q4370271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c783783e84a9cd1481f2c1a111f53e9e54dac991","datavalue":{"value":{"amount":"+0.788867175579071","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":"Q4520535$D6C4D61C-9A55-43AE-A6A3-A90606E33236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52938173d04932b3988662935c6e5dacbef6dac5","datavalue":{"value":{"entity-type":"item","numeric-id":5862527,"id":"Q5862527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39ca9c28bac8756e9714282ac4f55467c580ab9d","datavalue":{"value":{"amount":"+0.7790855169296265","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":"Q4520535$871CA68B-1012-4862-868E-3060A86F7AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"623ddf7ff8621804385746dde25768156f6ca4d4","datavalue":{"value":{"entity-type":"item","numeric-id":2482453,"id":"Q2482453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ce299ebe758f91e378f13cae4e0369acc08cd95","datavalue":{"value":{"amount":"+0.7420817017555237","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":"Q4520535$D296663B-AC89-441F-8B8B-17D2A6A8F65F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6366a3d408ef4e5077e6b97a7018260e5a1ecfdf","datavalue":{"value":{"entity-type":"item","numeric-id":4206382,"id":"Q4206382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9e41f01ebfafbb2dc6deaeb0eb135898c9660f7","datavalue":{"value":{"amount":"+0.737446665763855","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":"Q4520535$620DFE3E-A841-4B09-BDA7-6F9511F29D60","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4520535","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4520535"}}}}}