{"entities":{"Q3725523":{"pageid":5755429,"ns":120,"title":"Item:Q3725523","lastrevid":50761595,"modified":"2026-01-15T02:09:16Z","type":"item","id":"Q3725523","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3956411"}},"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":"Q3725523$009EC693-C43C-4C16-8F8C-25CF65EB6072","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"34a8e53c397c8aa1bb83b178bb580bf8b70b71bf","datavalue":{"value":"0594.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3725523$700B51A3-F546-4D5C-8D93-2D56D106AD02","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2bba2c9af0018b72d43bc0848f9ccbfe551f17e2","datavalue":{"value":{"entity-type":"item","numeric-id":585249,"id":"Q585249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3725523$A7A73667-6690-44F8-91F4-ED00D57680E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3725523$ECFBE186-4D2B-4E7A-80D7-E9C3149DA843","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3725523$3C205171-B7C7-4C3D-96DC-5D6013526C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3725523$DC87F6F5-AFE3-4E46-9598-E78917851429","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1dc4bbe4904a660fcc5318c0143de16dbfb2a3ad","datavalue":{"value":"3956411","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3725523$9AE1A6C0-19F6-460A-95C8-79A5708E8E04","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be5f6c9236617803c16c76b5dce6b99f277308f4","datavalue":{"value":"initial restrictions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3725523$A83E985A-BFB4-4FDA-A8CF-2801CE9B8A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf2b88efe8773921309f55a0f9141b74ab78ee06","datavalue":{"value":"algebraic theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3725523$F34A2454-895E-4361-98CF-5C3919366125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"017b09619e648d42f88d6aeab76471f5a0b02cec","datavalue":{"value":"initial semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3725523$E295E36E-BEFA-47B2-A267-30474A4CDD95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"254ef004376af33d855bc955b4b7af381ac1f6fa","datavalue":{"value":"behavioural semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3725523$AC86D333-AEA8-4A53-A884-B1A583D75A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"538a94fdd259d2465d50a0dc5cfaf67b7749522e","datavalue":{"value":"partial algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3725523$FE02CCA5-BBB8-4AEA-9D59-4BE893D374E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bd2fcdca97fc0d300412490c6cb945ee50612b6","datavalue":{"value":"parameterized software modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3725523$536B683C-2212-4B12-AB4D-3AEAE042C409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da5e5fffa93cbd1444c1d6e73a7846ca7c851ae9","datavalue":{"value":"behavioural specification of stacks","type":"string"},"datatype":"string"},"type":"statement","id":"Q3725523$DEFA9058-DDDB-41B6-9B3F-E39C1A36F6FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4c5a2294949bd3dde0f42e5ee5a8c38938f865d","datavalue":{"value":"pushable values","type":"string"},"datatype":"string"},"type":"statement","id":"Q3725523$F220C4CD-C48C-4F76-861F-D236829DE178","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":"Q3725523$C0B05B31-F105-4CDD-BB86-E8F27E6C6690","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3234196fd2cf2e90c6caeac901e444f0b50255b","datavalue":{"value":{"entity-type":"item","numeric-id":4729318,"id":"Q4729318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0997b1ada059dcd43e82f69c37d31383bf723ae","datavalue":{"value":{"amount":"+0.81535404920578","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":"Q3725523$9C719E34-EB5C-4ED7-B6A1-BB0552551A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e1be45cb04835c9d3ca2485e401bf3163d33db0","datavalue":{"value":{"entity-type":"item","numeric-id":4005186,"id":"Q4005186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"238f8a86cbeeb1d4c9b484d5fbd4e1bdc9e29d10","datavalue":{"value":{"amount":"+0.7548473477363586","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":"Q3725523$06C0BAB3-41B2-4FCF-B684-132DE9FE3B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6e6e9432f56fd1ce7837da5c365e846fec9bbc4","datavalue":{"value":{"entity-type":"item","numeric-id":3757373,"id":"Q3757373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da2a2868826b2ea0cf7a07267f3e120d8a5b8173","datavalue":{"value":{"amount":"+0.7452607750892639","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":"Q3725523$A443D0B8-2C0B-45E0-A52D-E3551B9725D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"942b55b1739df49d0810db3076227b3b3602e20e","datavalue":{"value":{"entity-type":"item","numeric-id":406465,"id":"Q406465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39f9406f48a916316a09b626a3d20efbc7835128","datavalue":{"value":{"amount":"+0.728294312953949","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":"Q3725523$99E1F7FC-6E1D-49FA-BEDD-F486F9BDC936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16185d9dc59c298034be5a201f6d0b6f61bc7f79","datavalue":{"value":{"entity-type":"item","numeric-id":673181,"id":"Q673181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfd0a36caaa582b87683d08be4a5425831b0137b","datavalue":{"value":{"amount":"+0.7245758771896362","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":"Q3725523$293654E4-7C09-4E0A-87B0-79778BFC6195","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3725523","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3725523"}}}}}