{"entities":{"Q917282":{"pageid":919130,"ns":120,"title":"Item:Q917282","lastrevid":65364594,"modified":"2026-04-12T02:05:06Z","type":"item","id":"Q917282","labels":{"en":{"language":"en","value":"An axiom system for database transactions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4155873"}},"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":"Q917282$7E66098B-359F-41B9-9C2B-8A97570409D3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8d99e9d22de49596e61be98e7178b3c92a91d425","datavalue":{"value":{"text":"An axiom system for database transactions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q917282$8AFE9E92-80A9-4FA3-A5E7-0C675F30B5C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c0aedb12bc4afca560e6b4bb5fcd178c95cd482","datavalue":{"value":"0704.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q917282$0D8C5B0B-C135-42DE-866A-974F4048BACF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a99dccc95931edbcf6fcdd3e49dfe62b2e5ebcae","datavalue":{"value":"10.1016/0020-0190(90)90070-E","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q917282$6769AF8C-FC79-409D-8D01-FDD589037265","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f27b60656cc1f29def64d6aa1bd741d1585f3dc9","datavalue":{"value":{"entity-type":"item","numeric-id":917281,"id":"Q917281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917282$EAEEC44E-6C46-49D6-A1D6-2A1CE5C26ACB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917282$CFD07A62-DBAD-4C60-8D5B-011E4C6265B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q917282$0BAC1024-0EA6-4189-A832-116898AB1756","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q917282$2BBA610E-2ED4-480E-BA05-E974BA7E8AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q917282$02D8D5FD-C427-49C9-AFB3-E4E6F8AF9630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q917282$D055B2D4-8269-4AB2-9FA4-A8CAB2C29B1A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76e19f569704a947efa139215194b22e73964cfc","datavalue":{"value":"4155873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q917282$F3A2DEE5-C596-4E35-AA7E-81B4EB1E5C71","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q917282$7E23EE13-3E8C-4E4B-8011-7CB63B74A35C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q917282$BD9D2FFD-C685-41B1-9EE3-D17088C7F379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df040f138da0195d6bf7ee04b2cedfdeb81adbb9","datavalue":{"value":"program specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q917282$C4EA4F97-EB87-4B19-8C4C-91D8EC8542A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2af805d1e3b54e19f0617a9b3bc13fcdbfe56a0f","datavalue":{"value":"transaction verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q917282$638128BB-AAEB-4D96-8575-EE3114F0E6ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e2598584114d095baf208226c411f769db662af","datavalue":{"value":"database integrity","type":"string"},"datatype":"string"},"type":"statement","id":"Q917282$0A8B6C51-9BB3-41DC-8486-311F2EF2D96D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10c3c20aac25e6afe3c87679f11cc53aa7c42b42","datavalue":{"value":"data manipulation language","type":"string"},"datatype":"string"},"type":"statement","id":"Q917282$5281951C-CDD3-46D1-80E9-C0EF2C9AF1B5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"665c087d35058dfecf3255034a50ff046d2e18fa","datavalue":{"value":"Q114685336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q917282$39E35331-2FFC-4D47-B9DD-60570BBC4FAA","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":"Q917282$9C196D15-C73B-4D6B-ADEB-3F4581B90EC5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3e431e102992851f4251b8f4575e9b53ce3016d","datavalue":{"value":{"entity-type":"item","numeric-id":3777502,"id":"Q3777502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917282$7FACF782-66F9-4E93-9757-4A84DA4A6008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"710000289f3d7875e26b012c290aaac3a5619a8b","datavalue":{"value":{"entity-type":"item","numeric-id":3912081,"id":"Q3912081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917282$375295B3-A516-443E-8837-1A78A7287AF7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"612090a362eabdd7f8ab9b2e839731884fddbbe9","datavalue":{"value":{"entity-type":"item","numeric-id":3128529,"id":"Q3128529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47e8b9ca0ba637517e1971c845a4b24363be8d9f","datavalue":{"value":{"amount":"+0.7988135814666748","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":"Q917282$8EB9F0D1-F16F-4846-8EFA-C17B307365C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ad39dce14acbb35ecacddb35c13c084732e2c9a","datavalue":{"value":{"entity-type":"item","numeric-id":3476304,"id":"Q3476304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47e8b9ca0ba637517e1971c845a4b24363be8d9f","datavalue":{"value":{"amount":"+0.7988135814666748","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":"Q917282$0DA19687-188D-451A-A979-15C53E17B9F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ea411ba288cf944145ddab7f1be4c9fd91412c1","datavalue":{"value":{"entity-type":"item","numeric-id":3777502,"id":"Q3777502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e1dc9ccce97281e2ddab86a05b6fcae02fa8e3e","datavalue":{"value":{"amount":"+0.7963789701461792","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":"Q917282$069D093D-232E-4214-A4C0-762E148F68C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c85df0b456dd06689b69550fb308b9380df4c28","datavalue":{"value":{"entity-type":"item","numeric-id":4400802,"id":"Q4400802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f11e853a9e789c6ab68c184803e2fbdb7e6effa8","datavalue":{"value":{"amount":"+0.7878589034080505","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":"Q917282$9A98DF8C-15DB-4D2E-9429-43BD7B0C5158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efe38a0e728bf9622c7159bbd25c7de22930fa7c","datavalue":{"value":{"entity-type":"item","numeric-id":1092680,"id":"Q1092680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f11e853a9e789c6ab68c184803e2fbdb7e6effa8","datavalue":{"value":{"amount":"+0.7878589034080505","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":"Q917282$ED451B26-3E6D-45C1-9E35-FE819BE9CB38","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An axiom system for database transactions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_axiom_system_for_database_transactions"}}}}}