{"entities":{"Q4236065":{"pageid":6265666,"ns":120,"title":"Item:Q4236065","lastrevid":89196035,"modified":"2026-06-04T16:36:54Z","type":"item","id":"Q4236065","labels":{"en":{"language":"en","value":"An Algorithmic Logic Approach to Formalizing Database Update Semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1268516"}},"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":"Q4236065$D39D8D53-AB2D-4F21-AB75-58EAD5490699","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9abf00d36962885345095596c5355ba0edee4bcd","datavalue":{"value":{"text":"An Algorithmic Logic Approach to Formalizing Database Update Semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4236065$D751D540-7406-4E66-9C33-04B27CFC4139","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ecbefe7ba1835d780a2b710fb34d5af4c056454b","datavalue":{"value":"0923.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236065$0C485C03-27AD-4069-84E5-994C6966C258","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8c2c7ada7bbe02ba9d32466ddceab60c4d0e6d64","datavalue":{"value":"10.1080/11663081.1998.10510942","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236065$C610FD94-913D-4FC7-8A4E-D4EAD36E8193","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"723f7a8c20ba940b54a5a868a45e4ddcc9fac080","datavalue":{"value":{"entity-type":"item","numeric-id":2721363,"id":"Q2721363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236065$3C09A115-014B-470D-9800-3A09F0E1C2B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9b67f3f133fe8ef48ab95e8b15a38a7bae99763","datavalue":{"value":{"entity-type":"item","numeric-id":1194573,"id":"Q1194573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236065$8F683F66-C5D6-47B7-9141-3970BBD6A7F4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236065$E5076451-1127-4E6C-BF4D-E50B6C3B1FF8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c181d2feac21a0f0954982c351421c590c4c609a","datavalue":{"value":{"time":"+1999-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4236065$942C1657-D71B-4D9A-811B-3DCC49841BAF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236065$BDE235AB-31F9-43F1-A467-A1AC0DF7CFC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236065$74C42607-5E95-4724-9401-C7681EA13683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236065$F773FE47-3225-47F0-8B0B-A5D7FFD5BEF4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b56c1c9d186c980b86196258d99b508215a4a3c7","datavalue":{"value":"1268516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236065$0B64874B-0DBE-4AD4-A37F-110868CCA50B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f3faf62af380d1613cdf26761707a72a95daaf4","datavalue":{"value":"event-formula logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236065$73E9F6B6-0CA3-4EAF-9DDE-6B2BE4033604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"556fa9dffffa0ec3596070e9a51d2142ec6742ff","datavalue":{"value":"multi-paradigm design environments","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236065$FDA08184-C08A-4BDB-9FA9-E7A868ED0C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"100336e59ffe810f6eb92fc3a35315a7e797f99a","datavalue":{"value":"specification languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236065$C9042044-3A40-4E1A-8214-E68DC5654926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b96eb45d03566f708002104edbdbc636e264e192","datavalue":{"value":"Event-Formula Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236065$32FBCFB3-FF8D-433D-B1B6-2411455B8D0C","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":"Q4236065$160846AF-603F-4B6F-8C3F-1695E0FC5643","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ba6397a7bc28f1735cb9178803dfbeb211bd6b45","datavalue":{"value":"https://doi.org/10.1080/11663081.1998.10510942","type":"string"},"datatype":"url"},"type":"statement","id":"Q4236065$57C9E950-071C-41DF-9097-E6E0B5CBB4B5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cbea0f33684256e25529f4dc9cabacfcaaa3c1de","datavalue":{"value":"W2060950104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236065$D2C580F4-9C24-40CE-80D2-70B84FBC1A09","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9b4ab3b43318aad8779713f2c55039e288fdef8","datavalue":{"value":{"entity-type":"item","numeric-id":1111778,"id":"Q1111778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236065$D5C667AE-DAC8-4AAD-8A0E-065C14C49162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc49a342e9162d7051af374bf9f5cc92770db402","datavalue":{"value":{"entity-type":"item","numeric-id":4002502,"id":"Q4002502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236065$F101EDDE-1325-4051-BAD4-4AA57213F054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5710cd0fb8b5907d40eeada6e14d4018e26669a5","datavalue":{"value":{"entity-type":"item","numeric-id":1255942,"id":"Q1255942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236065$7B0FF247-6CDB-4F72-A85F-73D82402C69C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e93cb6879e822271738405b8fcdaa055b7db2a03","datavalue":{"value":{"entity-type":"item","numeric-id":4000515,"id":"Q4000515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236065$52C49F71-D901-4F2A-9794-D7DADACAC420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71da3a0fe68bda320e93745444f707cd5e728286","datavalue":{"value":{"entity-type":"item","numeric-id":3777499,"id":"Q3777499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236065$69BB791D-8A25-465D-AA74-9470DC4D8D91","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c737125cef254e75df775adfcb94954127c7fcf","datavalue":{"value":{"entity-type":"item","numeric-id":3995235,"id":"Q3995235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"202f4be0f77b40bfb697105292f384f6926314cd","datavalue":{"value":{"amount":"+0.7140145301818848","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":"Q4236065$51750280-0A7D-434D-B4EF-1E4C00A8B16D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a6192638076a044c6e66d943b36c5c232250d41","datavalue":{"value":{"entity-type":"item","numeric-id":4247254,"id":"Q4247254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff9ccde917fd7dff24e7e30404d00404187a18d9","datavalue":{"value":{"amount":"+0.708451509475708","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":"Q4236065$C68A4EA8-0733-4E31-AF41-2C39726B0562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecec2ba8fe674571bd1a6eaaf32bbb05355fb672","datavalue":{"value":{"entity-type":"item","numeric-id":1124390,"id":"Q1124390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4fc72a2e0d5460d25a0e7587edcc7eacc065e81","datavalue":{"value":{"amount":"+0.7021787166595459","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":"Q4236065$491D7EF5-A7C3-4EE6-BA26-2E0408916954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"884912a7f01f8251e02e172b6e13fb72bfb9d15c","datavalue":{"value":{"entity-type":"item","numeric-id":3340205,"id":"Q3340205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90e3e1759d4187c42516cee9b2d78e2dd2964b50","datavalue":{"value":{"amount":"+0.693903386592865","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":"Q4236065$80D3FAAF-08CD-453C-9BEF-B45FA8F4DA8C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An Algorithmic Logic Approach to Formalizing Database Update Semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_Algorithmic_Logic_Approach_to_Formalizing_Database_Update_Semantics"}}}}}