{"entities":{"Q3582743":{"pageid":5612647,"ns":120,"title":"Item:Q3582743","lastrevid":51062639,"modified":"2026-01-16T11:18:00Z","type":"item","id":"Q3582743","labels":{"en":{"language":"en","value":"An agent language with destructive assignment and model-theoretic semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5774545"}},"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":"Q3582743$D2DF0D65-1EBD-400A-BE05-DC8F3DF957F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"adf83b74cbd49906be52613ac68aab7dce210245","datavalue":{"value":{"text":"An Agent Language with Destructive Assignment and Model-Theoretic Semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3582743$D0797F1E-ABDA-4553-B3DB-70F729176822","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f2a1064c25bbe0f68910830c8fa0e6a2f169e468","datavalue":{"value":"1286.68417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582743$3AA4F11B-5118-4928-A583-8A161EFB9C98","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"25339bbb01fb428eef34ce40d4e5ded7196babb4","datavalue":{"value":"10.1007/978-3-642-14977-1_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582743$A9662CEE-8D22-42F3-BD37-E4D667BC6ABE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b00307f35e60c8191f73414fc0f32ebe37cbb927","datavalue":{"value":{"entity-type":"item","numeric-id":264955,"id":"Q264955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582743$547AE5F8-61AF-4D75-B812-CF8E7AD32F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"369360c10fc77318cbaf15e1de6db6ea358987f5","datavalue":{"value":{"entity-type":"item","numeric-id":264956,"id":"Q264956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582743$9C8B9766-2B7E-4303-9E6F-4DFD580B7C99","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582743$4A5D936D-51A5-42A0-87EC-35B7A10EDDF4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d01ea8a4f82b63cae0dd5c2ac5f8977df7e5fa52","datavalue":{"value":{"time":"+2010-08-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3582743$1E8B38FB-694B-4A32-9CAF-BAFB388AE0D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582743$84F81579-26A1-40EE-9AC5-6F4CB5AA34F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582743$4097387D-E019-42C9-93FF-64C0507FC3A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582743$E86A2943-A8DF-44CD-928F-DED550F10636","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e5275b9334841d68d6968949af264c3ba8e0286","datavalue":{"value":"5774545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582743$B706FB7E-7E46-4C85-BACA-C68DDFEFA239","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21f80e1f7a7440635e5ad49202f2216bd8ea398d","datavalue":{"value":"abductive logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3582743$F6B65CBB-90FB-46E9-8843-A4C27A138F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53507b89dc5a9fb9af9856bed9b7ecb36c9b1aa5","datavalue":{"value":"agent languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3582743$F95BDA38-6AC4-4979-A94D-3AD37184BDFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d1a530ebebfe9d67cc01e23074092169ca8f759","datavalue":{"value":"model-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3582743$791F3F45-9C4D-48B3-A49D-0515701746DC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f70d300d184d2214c5f3fd1a77a24a9291c84ca4","datavalue":{"value":{"entity-type":"item","numeric-id":18660,"id":"Q18660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582743$FD439BBF-FD6D-4940-8C77-A694254BC8BA","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":"Q3582743$A24D9700-535F-47D6-A09A-AD73D3EF9595","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fdffa5ab217006c239fa7d76e9d733f5788a3f44","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14977-1_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q3582743$8202C3DA-1EB8-4979-AACB-18DDD379BDB2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4436e7a57c14227568a45de0faac857417ce407b","datavalue":{"value":"W1823509325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582743$13B36869-59C8-42C6-A985-3C80E77F4301","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"224fdc7d5c2310ce5723a3f69d97c286a5c48359","datavalue":{"value":{"entity-type":"item","numeric-id":656819,"id":"Q656819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f805a65e129eaa7c5da262674a7c28ec963bc61e","datavalue":{"value":{"amount":"+0.9016475677490234","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":"Q3582743$C6349073-27B5-4953-8C00-3A4D39E1C0A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02a72984132e2a46315178a1baf4c99a63019ebc","datavalue":{"value":{"entity-type":"item","numeric-id":3655203,"id":"Q3655203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f39aca14abbf34f3587c8deaa4de56a06982aa1","datavalue":{"value":{"amount":"+0.7720634937286377","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":"Q3582743$840ECAC4-93B7-483D-80C8-80762E6412DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"335ece95a7e4ee9290f1cb7771595557974fb5ed","datavalue":{"value":{"entity-type":"item","numeric-id":2734940,"id":"Q2734940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbb20457dc8045cf0af808d2474324adec6a23a7","datavalue":{"value":{"amount":"+0.7328528165817261","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":"Q3582743$5441C2B9-63EF-42C9-BB41-6CAE8F207ECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b05f217f09206ee6dd3c11da9dc6c80ed8fa1c88","datavalue":{"value":{"entity-type":"item","numeric-id":2844922,"id":"Q2844922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03cd52a75f18877c9b3a77e8b2b53f10a2b5b631","datavalue":{"value":{"amount":"+0.7234298586845398","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":"Q3582743$C2F5DCC6-DA0D-45C6-A577-F7EF2BC110D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a0967fa0ecdf8773a548e4da382fb9a00b4415d","datavalue":{"value":{"entity-type":"item","numeric-id":4708902,"id":"Q4708902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0456fb1cb95846914b7d4b9a81e80d44c054b96","datavalue":{"value":{"amount":"+0.7233940362930298","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":"Q3582743$8B70A821-01B1-4903-876D-6E095EB1EB94","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3582743","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3582743"}}}}}