{"entities":{"Q3766890":{"pageid":5796796,"ns":120,"title":"Item:Q3766890","lastrevid":51904151,"modified":"2026-01-20T12:31:57Z","type":"item","id":"Q3766890","labels":{"en":{"language":"en","value":"On compiling queries in recursive first-order databases"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4024835"}},"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":"Q3766890$239E7764-75DE-4EC4-B961-D3D91081C21B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ebeb3964924078204b2b4d7ce8cd373cd4ac168e","datavalue":{"value":{"text":"On compiling queries in recursive first-order databases","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3766890$CF91DFED-C6FA-4D46-AE2F-D5121674E99A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"79cc0e6b4daaabba8cec769f929f4eb49074a34a","datavalue":{"value":"0629.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3766890$7726E480-BC7D-4054-9320-19566887AEFB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7c53bb7803abc4dc695a32424e9a469ceba53b28","datavalue":{"value":"10.1145/2422.2423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3766890$324156FB-6742-42A5-9F57-C7DCD6324879","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"237e66ed3a5f704af046532209ece27c956c02ff","datavalue":{"value":{"entity-type":"item","numeric-id":685470,"id":"Q685470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3766890$2B2F9D98-AD46-4DA9-BC2D-32C2B4B16545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84b047cb2d8626382b8beb5c7fc291b55e11548d","datavalue":{"value":{"entity-type":"item","numeric-id":672332,"id":"Q672332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3766890$9DC9B0BB-B448-44A3-A509-CB921DC14CAB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3766890$72752002-B26F-4A10-AE9B-B435389FA4DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3766890$BB300DF9-24CA-4565-A51B-75781386F3E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a762d1a2468ec8882180d0d1124f12b94f8eb1b0","datavalue":{"value":"68P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3766890$6090ED84-2FE5-43F4-9033-3900CC3F0750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3766890$FCA821FB-C14F-496B-BEA1-69D40D0D3696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3766890$508A2CF0-F88F-4BB3-A84C-A95702C3B97B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f6c1fa64efb849a7739ef327304f6aa34262440","datavalue":{"value":"4024835","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3766890$D5000B84-93C7-4B6B-A8A4-932ED77A481C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3766890$255F56BC-DB13-43C3-BCB7-C3E825636FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3766890$8221FD3E-AC0E-404F-8E0E-840E052CF362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3766890$A05D527C-7B76-4265-9C75-56C93AA722C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0ed600bf10ce58de112a49dccf0eb49d31a1e1d","datavalue":{"value":"recursively defined relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3766890$BC91BF0C-23A8-4CD8-A424-020DF533C006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efe45266937da177fda5251168e1ad03d697a240","datavalue":{"value":"logic program compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3766890$6255FD5E-905A-4DD1-9B20-5F8D0B10A200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0fd016c270a4926de9d8b0117248db735c23a79","datavalue":{"value":"first-order database","type":"string"},"datatype":"string"},"type":"statement","id":"Q3766890$72DE106E-82D0-42F5-A194-EE9A43002DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a70146c5c18ee49fcf63fd60925116ace35b070d","datavalue":{"value":"function-free first-order theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3766890$75B99EB3-505E-411D-B6C8-F4D8006F58BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74473800caa00ca2354e3822045142f9adaae316","datavalue":{"value":"relational database","type":"string"},"datatype":"string"},"type":"statement","id":"Q3766890$4E6B7C2E-E338-4477-87C5-374393C45A09","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":"Q3766890$F63F5649-FAD9-4683-B5E6-4D1A362948DA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bce27ce5747c65a23b75a1262f0386043948997f","datavalue":{"value":"https://doi.org/10.1145/2422.2423","type":"string"},"datatype":"url"},"type":"statement","id":"Q3766890$95D48499-A79B-46EB-8C82-BB60E450BD66","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"23049fdadac1a7dec392a40d2bb83958c50e04d6","datavalue":{"value":"W1970637119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3766890$7AD9DD5F-7019-4925-A47F-FF2A50CE7BB6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32a3e029d94f2c04e382aab8c58b7b0e3eb2472f","datavalue":{"value":{"entity-type":"item","numeric-id":3691103,"id":"Q3691103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efa51ddacaa57ebbcd506c157a9d251b966b2da7","datavalue":{"value":{"amount":"+0.8075901865959167","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":"Q3766890$E50100FB-F43D-4C93-8A0D-7DE7BB66FE88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ec5ff8ff74fa231bf307d743885cca3ee3c7ae0","datavalue":{"value":{"entity-type":"item","numeric-id":3746931,"id":"Q3746931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b17edc3759dd887adf25f8ad333966b9a0aa28b3","datavalue":{"value":{"amount":"+0.7912967801094055","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":"Q3766890$2A6308FC-4B6C-4214-88BC-FF5B86A0B4F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fbc6fd6c48aad92ef910d28a49686ad6ff5eaff","datavalue":{"value":{"entity-type":"item","numeric-id":3820060,"id":"Q3820060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f1e3677da3b2ea04307e0680a341a1a5c33fef9","datavalue":{"value":{"amount":"+0.7770094871520996","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":"Q3766890$DDF73FB2-6CC8-442F-8240-5D2DC0EFA3F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d67e33848fbdd6fd3e44bd593e804b73653260fb","datavalue":{"value":{"entity-type":"item","numeric-id":3830569,"id":"Q3830569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0124113c394e8ba1e04f748a5849745dac72c47","datavalue":{"value":{"amount":"+0.774600088596344","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":"Q3766890$CCE68EC5-E8E3-400A-B03A-CEDB39ABF589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71a8c6d6b8e9491c8c6cc7ab9d31c199d3383dbc","datavalue":{"value":{"entity-type":"item","numeric-id":1123651,"id":"Q1123651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e688ae016973a2dbf8509dec8ddc6f9e0c2d8952","datavalue":{"value":{"amount":"+0.7739039659500122","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":"Q3766890$96B48C69-CFCE-4E4D-B2DB-A283311ED72B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3766890","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3766890"}}}}}