{"entities":{"Q3092325":{"pageid":3103040,"ns":120,"title":"Item:Q3092325","lastrevid":85756307,"modified":"2026-06-03T11:23:17Z","type":"item","id":"Q3092325","labels":{"en":{"language":"en","value":"A proof system with bounded non-determinism in database transformations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5948103"}},"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":"Q3092325$CAB0353F-B83B-4853-B537-B0C50A753A02","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e7230e658edadbab830250a940291278c87cc46","datavalue":{"value":{"text":"A Proof System with Bounded Non-determinism in Database Transformations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3092325$23D78925-AC39-419D-A72C-823E9DB22881","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d5a87aa4aaaad2456804fb9a81165f875bca93e","datavalue":{"value":"1347.68116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3092325$CD7174F6-29C7-46C5-A2F1-CC4DED25D79C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"12d5b9ab95ec76b1e70c302db3a02f5020083f39","datavalue":{"value":"10.1007/978-3-642-23441-5_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3092325$F04A3A58-ECCC-441A-A66F-9FB07BE5BBCE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"396f931b1c3f6615faccdc95c75a5c1ae3269050","datavalue":{"value":{"entity-type":"item","numeric-id":313980,"id":"Q313980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3092325$297CF456-071E-4757-90CA-2E3ED8C0DEAB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"71300883126201e7cf968d8bd8aa443dab6814b9","datavalue":{"value":{"entity-type":"item","numeric-id":3092319,"id":"Q3092319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3092325$91BB3DA3-46D5-49CD-A976-1468902F79B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cc45eb63fd270974cc03c12b380a0b0e37f4a488","datavalue":{"value":{"time":"+2011-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3092325$D08F12FB-A027-4F26-ACF2-43138403EA0D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6e448d50cc335a62f5ae55c0a9c454e917b2fc66","datavalue":{"value":"http://hdl.handle.net/1885/66915","type":"string"},"datatype":"url"},"type":"statement","id":"Q3092325$4489867E-A935-4401-A5F0-ECA4BA77796E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3092325$5F0EF292-5EA7-4BE3-BD70-E0339AC3E391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3092325$55426FB8-FD07-41FF-AD2E-679940C82778","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"faad47ee1d420a97fe1ca41d344cca584ba88b6b","datavalue":{"value":"5948103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3092325$72109881-B313-4895-BB44-24D55E2694E7","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":"Q3092325$717EC4D2-B78B-4E37-B343-B61F00CF1E48","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d919ef62358ae2f9ea1ac32d081ffca561bee543","datavalue":{"value":"W1853832670","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3092325$6FE1CEEA-B39B-4404-BA0B-B20997C5DFEF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d18cf84bd49d4a3b35fa5f91415e3b2e495c135e","datavalue":{"value":{"entity-type":"item","numeric-id":4429922,"id":"Q4429922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3092325$98389336-4107-4800-8B3B-0F743E4943C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b87d42ea44205b35a73a445f9bdd14d49dc880a","datavalue":{"value":{"entity-type":"item","numeric-id":1383163,"id":"Q1383163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3092325$C81282B1-5783-410F-A190-9C7D483B4BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cae0bc03ed6018505600b0a2b5a35948ff948254","datavalue":{"value":{"entity-type":"item","numeric-id":4312491,"id":"Q4312491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3092325$6C125742-3BA5-425B-BE4D-1232EAE7B2C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"092c87bd385bdffab3efa74e7021155389be7050","datavalue":{"value":{"entity-type":"item","numeric-id":5738899,"id":"Q5738899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3092325$0719E863-E320-43B4-916B-46A20088069C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19af37d190007ff6ebc0d93b6c1957931f3dcf9","datavalue":{"value":{"entity-type":"item","numeric-id":4698331,"id":"Q4698331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3092325$3266D144-E828-4CCF-8749-01402D1D35B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c85a6ad201ac72d0bfeeec0c3fa68b0cd85212e5","datavalue":{"value":{"entity-type":"item","numeric-id":4202952,"id":"Q4202952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3092325$90B42DF5-DEC7-45AA-AE26-AB8686E706EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05034ea26869e2698730db6894356aa44e577a02","datavalue":{"value":{"entity-type":"item","numeric-id":3077363,"id":"Q3077363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3092325$48D68089-0BC2-450A-86C9-F7EA043FD881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85e8f245d67713e7936af8670acd6ff40fff507b","datavalue":{"value":{"entity-type":"item","numeric-id":4783310,"id":"Q4783310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3092325$1B5CD60E-FB44-481D-ADBA-9F4A1429EEBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"961e2e78a3be96078a207dfb8c4469dc0b144216","datavalue":{"value":{"entity-type":"item","numeric-id":5445311,"id":"Q5445311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3092325$C349D84E-C7AF-423D-8886-A5954801E934","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4e8954347c9083d8dd4c7dc6dc6c0242ebe711c","datavalue":{"value":{"entity-type":"item","numeric-id":5095627,"id":"Q5095627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dd23ad08552dccc91b7134a05304726c71782b9","datavalue":{"value":{"amount":"+0.8849135041236877","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":"Q3092325$F9ACF7A1-84C1-4417-B5FD-02D96330DBED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9aeb8026d49683f9e3326ee4f05014487130d0c6","datavalue":{"value":{"entity-type":"item","numeric-id":3077363,"id":"Q3077363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5a3f30b8055393030bac0721b2f0dfad0a60da1","datavalue":{"value":{"amount":"+0.8189533352851868","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":"Q3092325$0C9028F5-8674-4528-A78C-F5EE7D012756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2addf2c549e2be3d0ff0dc1266e55247aaf31f6","datavalue":{"value":{"entity-type":"item","numeric-id":5445311,"id":"Q5445311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad7df5c42e08a84c44c4b8fced586eaad9b1518f","datavalue":{"value":{"amount":"+0.7649860382080078","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":"Q3092325$074F3023-D0C7-4BEA-8BF4-3F150F3BD892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9e85d630b01c6a61604d7a3d96ade0cff6fcdcd","datavalue":{"value":{"entity-type":"item","numeric-id":3075232,"id":"Q3075232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9adbdf909563b2f0bc74e795d810364b04deb8d0","datavalue":{"value":{"amount":"+0.7572873830795288","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":"Q3092325$46D15A9C-C2FE-48A0-91AD-08C2AD288461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bc5a4ae7053e40b8a33c7227049b5dbbc8505d1","datavalue":{"value":{"entity-type":"item","numeric-id":1854519,"id":"Q1854519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4161c4ae86306a9169280791d4472681badadd94","datavalue":{"value":{"amount":"+0.7352495193481445","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":"Q3092325$B8889137-77D9-4FD8-B095-B4523934B4BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A proof system with bounded non-determinism in database transformations","badges":[]}}}}}