{"entities":{"Q975885":{"pageid":977733,"ns":120,"title":"Item:Q975885","lastrevid":65790825,"modified":"2026-04-12T05:23:09Z","type":"item","id":"Q975885","labels":{"en":{"language":"en","value":"The axiomatization of override and update"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5720216"}},"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":"Q975885$47CD2DA9-FE67-432E-B247-4F630EE32142","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f2bc3482551039246e9341f526523c4e3fed09db","datavalue":{"value":{"text":"The axiomatization of override and update","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q975885$612E2F04-1428-461F-A864-2FCE8AA4382B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"795dad51e2a406cbb77223ee81965dd2cfc31064","datavalue":{"value":"1194.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q975885$8B293285-4099-4EB0-88BB-56B535C0ED56","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c77815e6e0771e36dec6b561265b7e20d34edc90","datavalue":{"value":{"entity-type":"item","numeric-id":975883,"id":"Q975883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975885$9D117BD2-4B41-4450-81A2-3E6462988DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c3f057a0d48aefd1923ddd9c2ff240d2a12acd4","datavalue":{"value":{"entity-type":"item","numeric-id":896907,"id":"Q896907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975885$A1AEFCA9-695D-4CB2-B974-39FC5AA636DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34804e6a2215a0425fe35226b8ec01b24c6b23d2","datavalue":{"value":{"entity-type":"item","numeric-id":437039,"id":"Q437039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975885$64A5B311-6F45-499A-AC39-8F8D2ADAC753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54eb5023137ee6a46a6a6864bec8731faa3ff206","datavalue":{"value":{"entity-type":"item","numeric-id":975884,"id":"Q975884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975885$80C02FF4-1F45-48ED-817B-E714298CA425","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975885$6E414D9D-6B93-402E-9DD8-39778E75F354","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8330f0162b04ee97697b5c3b59dea76e14d14e04","datavalue":{"value":{"time":"+2010-06-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q975885$F4D6F0C0-3CBE-43A0-A8AF-00B724519EB0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"86c182363e72f3f2d4ad60a03d38cbe0103ff351","datavalue":{"value":"http://hdl.handle.net/2066/83911","type":"string"},"datatype":"url"},"type":"statement","id":"Q975885$632517B4-F978-4AB3-85FB-1996104214EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q975885$0CBC0362-CC6C-4669-834B-44A4C76A4935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q975885$8D25946E-4BD3-453A-BE23-3C57D3E6F0CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"92a555e3a541c9f0978c54443cf0a96e2a43c4df","datavalue":{"value":"08A02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q975885$74D1F259-F729-40E8-B2F3-D597D04D7052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q975885$79057E81-879B-4596-8111-55867030155B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3168f9f7170673cf972388e883ef5bb2b66d7b27","datavalue":{"value":"5720216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q975885$EE27C8E1-860E-4743-9355-C38887E2B8F6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08e11cf8d59af209385bc4b95956bd7f609bcd73","datavalue":{"value":"overriding","type":"string"},"datatype":"string"},"type":"statement","id":"Q975885$7C294A7C-9218-44FD-A94D-D55F576DC722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab1b88d2b2ce7293175b5ce95822467df0ca5012","datavalue":{"value":"function algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q975885$5F02BB67-4DB1-4C34-9372-9F80EE7378A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744fd5f6b592344bd2a87ac1816bb7847861172e","datavalue":{"value":"equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q975885$90D36CC5-605B-4A3F-8EB7-E069A9066E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q975885$0095B0A6-17A4-4DF0-B297-596A42FC6458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61439d791f6aac729372268f16b553bcf47e3b78","datavalue":{"value":"SMT solvers","type":"string"},"datatype":"string"},"type":"statement","id":"Q975885$00A5788B-76DA-4F3E-AC7A-5D03A17C310A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q975885$ECA8A133-35CF-4434-B4BF-D001AE548DAD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975885$F964C2F0-EC64-44B9-85B8-7A976EC3FF18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"56183f18c1b7292025f517695163436751950f86","datavalue":{"value":{"entity-type":"item","numeric-id":22253,"id":"Q22253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975885$F44AF9BF-9AD5-4346-9BD5-75B5ED1F32B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"85575b60ef4d0a8413d3c895be2530b8915bc3fb","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975885$3F6F3C7F-B25A-47E6-8436-35DCA2351C69","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":"Q975885$14E9BB71-29F5-41F7-A118-FCE6F527CE49","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"31e494f3e98156b5b71a3bf0a2e4a921fbafcc9d","datavalue":{"value":"W1971094484","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q975885$66A4543C-EAE1-40E8-9F79-D385F322F839","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb12b188658ef9d46086882edec316113d94d7af","datavalue":{"value":{"entity-type":"item","numeric-id":3899466,"id":"Q3899466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975885$375CB917-72F5-4947-8C88-5E4D5784074B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ce47aaa57ed062610df59dbf8e315e80f656a8e","datavalue":{"value":{"entity-type":"item","numeric-id":4083730,"id":"Q4083730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975885$E4586F56-B658-417C-86D5-914966CE8305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0020a41a31ca177985d17d3a994d4def480e2eff","datavalue":{"value":{"entity-type":"item","numeric-id":3543301,"id":"Q3543301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975885$A0CFEAFF-B575-40E8-A2BB-240045B2D42F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c859dc9bc5c44c673f4132f2e7bef4d53162ec9","datavalue":{"value":{"entity-type":"item","numeric-id":1188602,"id":"Q1188602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975885$AE176F7E-952C-4A06-93BD-B74683AFA336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d4dd4faeed82b17a31b15b4f4a630199ca52442","datavalue":{"value":{"entity-type":"item","numeric-id":4692885,"id":"Q4692885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975885$1FD5AE62-4E51-49BF-9625-948FEF24D1D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77c925fe735c46759427f41d717bbf94e5f6fe53","datavalue":{"value":{"entity-type":"item","numeric-id":3812009,"id":"Q3812009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975885$FB6E8D40-08E8-4D93-BC13-2DD53C23AAFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83e646822c7e8f7e68867ade26f59c8b15d8260c","datavalue":{"value":{"entity-type":"item","numeric-id":3707340,"id":"Q3707340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975885$20D6A1AC-88A2-4FF3-9566-DB01A7B68653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975885$9D638287-8392-4032-8149-31D224554487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ae41416b3c63fb62fa987b6d8dfe2556eabf311","datavalue":{"value":{"entity-type":"item","numeric-id":5845380,"id":"Q5845380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975885$ADF23B68-4B27-4197-9E45-68E88AD6C528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a2c73ea523922ddf10917d5a60c3c9e9df84e94","datavalue":{"value":{"entity-type":"item","numeric-id":3995087,"id":"Q3995087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975885$382269A2-29E5-400A-B2A2-F2F80AF98171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cedf7ece85e83d0fdd06136616ea4a72e5345dda","datavalue":{"value":{"entity-type":"item","numeric-id":4760547,"id":"Q4760547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975885$3066D02F-3218-484A-A2CA-0135EC875527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c35a02114839df8ec37c9b47eb3fe93b7baaeb","datavalue":{"value":{"entity-type":"item","numeric-id":3141916,"id":"Q3141916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975885$0C8541F3-190F-4A07-82F6-C7ECACD45983","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"87881d25d12e4e240033b13d74a4ac57ad5037c5","datavalue":{"value":"10.1016/J.JAL.2009.11.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q975885$FA7F4B1C-C628-4BD6-B03F-A4C307DA4E3C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abf6da0d8aaecff61a8f003e3f7b50739457bece","datavalue":{"value":{"entity-type":"item","numeric-id":2200953,"id":"Q2200953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ab5c170a1b86f0883704bd5064a51a9734bcf0f","datavalue":{"value":{"amount":"+0.8640409708023071","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":"Q975885$CF28B3EB-5D88-47A5-B5F9-871AED0032AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5434636a85952aff332b945415ff11b4b8bce69a","datavalue":{"value":{"entity-type":"item","numeric-id":2446546,"id":"Q2446546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2502f644b7cf0ddde2611b3dc0fba09612452be","datavalue":{"value":{"amount":"+0.7150225043296814","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":"Q975885$C1272C5B-E5A3-4710-AB4C-897677FFC5E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4968d41cf7562173df60746b73224b7982226bd","datavalue":{"value":{"entity-type":"item","numeric-id":908324,"id":"Q908324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa3259559f4c046fac29def99c80b1a0380e99d0","datavalue":{"value":{"amount":"+0.6853594183921814","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":"Q975885$B09DB280-76F7-40A5-B487-50A7AD527642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d03b7f5cb32eb1acbd1fe0871d738cfbf41add55","datavalue":{"value":{"entity-type":"item","numeric-id":1317437,"id":"Q1317437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55b260301c6ecf0cfb9561bc2517f4c84b85df29","datavalue":{"value":{"amount":"+0.6772351264953613","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":"Q975885$85F190D1-6CD9-424D-8079-EF14B94A4FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b71fd20c58e5d5191880542e475a9c2b4ce0544","datavalue":{"value":{"entity-type":"item","numeric-id":4344794,"id":"Q4344794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"babe0e93d7ffbf79f45d4e87f9512d1adb0e356d","datavalue":{"value":{"amount":"+0.6753178238868713","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":"Q975885$85CE8EA7-AD70-4752-B5F4-6A58149D90CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The axiomatization of override and update","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_axiomatization_of_override_and_update"}}}}}