{"entities":{"Q5043580":{"pageid":7073157,"ns":120,"title":"Item:Q5043580","lastrevid":57522114,"modified":"2026-03-31T06:29:44Z","type":"item","id":"Q5043580","labels":{"en":{"language":"en","value":"Strongly-Normalizing Higher-Order Relational Queries"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7596571"}},"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":"Q5043580$DA0A07E8-D7D5-4326-AA4A-89B9D1C721A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"296d2d39d6c83b319557387132aff0e3ebfd3730","datavalue":{"value":{"text":"Strongly-Normalizing Higher-Order Relational Queries","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5043580$1901E79F-56C1-495E-8F39-CE6DEFD35D5F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aec9839e6b2c451febe526ce547ea5fd11508ee1","datavalue":{"value":{"entity-type":"item","numeric-id":744985,"id":"Q744985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043580$A16CB35A-1D10-429F-BE72-DD403C8E22EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5395fd6215daedab9dca2942f104c17e46b5bcc7","datavalue":{"value":{"entity-type":"item","numeric-id":616848,"id":"Q616848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043580$D7DAC6EE-3603-42CF-A783-5EC8683B47DF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043580$CD7F420E-1330-47DD-A564-F61A2358106D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c4b8c625cce62e7d70a9b6e0084c4288e777869","datavalue":{"value":{"time":"+2022-10-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5043580$89237568-F6BB-4128-BD2E-CB2FAEB82C8F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"beccf6e884dade257b358135c5f547f0b5d57552","datavalue":{"value":"https://arxiv.org/abs/2011.13451","type":"string"},"datatype":"url"},"type":"statement","id":"Q5043580$4D6EADC0-00F1-4EE7-B946-EF88E183E0B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5043580$CE27DB76-3721-4BFC-80DD-554C71F4F448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5043580$822AB479-A5FB-4513-9BF7-D454F0718F71","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"31f416c87ebb13bc3a2331a7665c0cb9585d1c43","datavalue":{"value":"7596571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5043580$11D8F127-25B3-4032-B48C-E480E46C6A09","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5043580$6DE8B61F-733A-460B-8578-CE8344F8BB61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00bbeea7c9d7a0b1c0625058a035fee77434b420","datavalue":{"value":"\\(\\top\\top\\)-lifting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5043580$33C7399D-7C17-42E0-A1F3-7354F9A607F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"866540e602d4b517044c959de9cf19d0f4256f2f","datavalue":{"value":"nested relational calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5043580$D71FBE4C-E985-4BF5-BF40-54D12414C388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2908e038fd8ed73361813ae99048cb48eb14ee7c","datavalue":{"value":"language-integrated query","type":"string"},"datatype":"string"},"type":"statement","id":"Q5043580$FE387FEF-9040-4B62-A4DF-18968F8258D9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"99a52005aa724b06d0b4adc32b5c339fca615b02","datavalue":{"value":{"entity-type":"item","numeric-id":39200,"id":"Q39200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043580$34F84259-7EED-42F3-8505-833018F8EAC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a1162be599e591d3cffccb8c45623f5822912f9b","datavalue":{"value":{"entity-type":"item","numeric-id":37129,"id":"Q37129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043580$DC2837C5-2EA1-421C-B003-8D88516C2AB6","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":"Q5043580$EAF3A42E-0792-48AE-A810-9D01B573284D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"61e60c7b66bf0e71071b319b75c9182bf8dc9868","datavalue":{"value":"W3037132443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5043580$C213E64C-6940-410F-9552-7A64EE1AA24A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5249c80fcd11fa0612fb7dd29644b8dc29907a14","datavalue":{"value":{"entity-type":"item","numeric-id":4939690,"id":"Q4939690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043580$77D33741-024F-44CD-8811-BF7EF872514B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27728b985aaefa6241d7f1c5f37b977b1744c778","datavalue":{"value":{"entity-type":"item","numeric-id":5951522,"id":"Q5951522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043580$58B1F9CD-9A2E-4660-8758-77B5F9306B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"485f6f0df047fb3aee35d08854fbe183d8dcaa71","datavalue":{"value":{"entity-type":"item","numeric-id":672333,"id":"Q672333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043580$80A9E0CE-F47C-442F-B7DB-66D98638A808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2a1c7d97bb0d1cdb62ed6e9594a1c3bcd51942c","datavalue":{"value":{"entity-type":"item","numeric-id":498405,"id":"Q498405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043580$22256A74-2DDE-4B3E-A4FF-42A336D6C0C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f9a1e906f31400a4e0b69be321bd78a6131f3e1","datavalue":{"value":{"entity-type":"item","numeric-id":5244819,"id":"Q5244819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043580$2F6A5697-63D9-4A76-8488-9ADF67CE7A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a9165c8e5d5636b0b5598b5fb5003d7379d5d10","datavalue":{"value":{"entity-type":"item","numeric-id":2713357,"id":"Q2713357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043580$F0157E50-258A-4AB6-962C-21A8046DB204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0485e4b4a040cae3ab47d7d04af4b3be0011a40","datavalue":{"value":{"entity-type":"item","numeric-id":3507276,"id":"Q3507276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043580$C362BECF-DA05-4A82-A308-CA4BFCFCB994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043580$3EDB333A-7B52-4A4F-A53D-88593E049AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caedda8330e958f256c70f0d6b79e555e9773ee8","datavalue":{"value":{"entity-type":"item","numeric-id":5703866,"id":"Q5703866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043580$10AF7FDD-805D-44F9-8BF1-DA51DB0304EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f66cc4b433a7230e47e5f58d1ea220d0e92f4725","datavalue":{"value":{"entity-type":"item","numeric-id":5704015,"id":"Q5704015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043580$B6DA118F-B4F6-41E7-B1F7-2A25547E7C58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c1dbfc88e120647b09f01d61ad976c724894095","datavalue":{"value":{"entity-type":"item","numeric-id":1321813,"id":"Q1321813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043580$D6F6FA48-4618-4910-A827-9C2BD73931EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba824f49db5d9c3b20030db1fef03879ad3e209a","datavalue":{"value":{"entity-type":"item","numeric-id":1376407,"id":"Q1376407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043580$52EA51CD-54D4-4F00-9F0F-CA793EDD06DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21bab25eceb42f52701d753efa4ce1915a7e4709","datavalue":{"value":{"entity-type":"item","numeric-id":3024846,"id":"Q3024846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043580$4F8E914F-CB70-41AA-853D-AC7DBA2E72CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2feb018367b7210c7f652130d3d5bb92ddea51a","datavalue":{"value":{"entity-type":"item","numeric-id":2713354,"id":"Q2713354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043580$B754A2A3-37B9-4EE5-832E-A11977614CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"365bff730976484f478fe0e85182123a041d8b24","datavalue":{"value":{"entity-type":"item","numeric-id":5111206,"id":"Q5111206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043580$CB0FC583-B869-4A6A-99ED-79577E95C35E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b78cda30b8bf7bbc1e02364c4dd5fa066a61862","datavalue":{"value":{"entity-type":"item","numeric-id":4279255,"id":"Q4279255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043580$F14ABEDA-A57E-4C7F-8247-DF5969748E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59d04fee02ae2590277472957415b41d080b5449","datavalue":{"value":{"entity-type":"item","numeric-id":1924384,"id":"Q1924384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043580$923D75A3-6E6B-4E39-8E35-9BDDBFE97A89","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45b3672f27def64cd195655cd02af5d0c9c3ac41","datavalue":{"value":"10.46298/LMCS-18(3:23)2022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5043580$2A90787B-C957-4D5A-B6A1-8782323CCEBD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2abf58734087b994712155efab37758562837e72","datavalue":{"value":{"entity-type":"item","numeric-id":2233480,"id":"Q2233480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"880493aad0facf6769744241667f4704a8e9730f","datavalue":{"value":{"amount":"+0.8156721591949463","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":"Q5043580$61F38277-BFF8-42CB-A645-46B3696AD0B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f691d4e5f530922e3487d5ffd910ce6cf564f8ec","datavalue":{"value":{"entity-type":"item","numeric-id":5244819,"id":"Q5244819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed6201156d20954f8e8886183b6a9309d1597c91","datavalue":{"value":{"amount":"+0.7828965783119202","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":"Q5043580$93495195-EA4A-4AB5-B6C1-CE6510EFD9E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd6ad841e007bf9eb79e9ae85cae11d86f3a84f6","datavalue":{"value":{"entity-type":"item","numeric-id":2039943,"id":"Q2039943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25bbf09363772cce0f549ac499bbd1cb276e2d54","datavalue":{"value":{"amount":"+0.7633962631225586","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":"Q5043580$4638D01A-9762-4A71-924D-21D8CD459765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c3c667069cce1f54c9aa91bfffd01e7e0e5eafb","datavalue":{"value":{"entity-type":"item","numeric-id":1924384,"id":"Q1924384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a3812d8ffa6bfc0d9549b3f3abd68b900938beb","datavalue":{"value":{"amount":"+0.7309742569923401","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":"Q5043580$FE4ADB98-2822-4CC7-9306-098592A33921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb99ab55777931b44fa3c2ef9c0b7ccbc9960c32","datavalue":{"value":{"entity-type":"item","numeric-id":498405,"id":"Q498405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcedf3165af9fc249279efcc17e9ae91420dbeb7","datavalue":{"value":{"amount":"+0.7101526260375977","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":"Q5043580$41F0C84A-98BE-425D-BFBD-A323E322F905","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043580$988C345C-3379-4AA6-91BD-2F8645E68526","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5043580","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5043580"}}}}}