{"entities":{"Q3777438":{"pageid":5807344,"ns":120,"title":"Item:Q3777438","lastrevid":81089648,"modified":"2026-05-06T17:41:48Z","type":"item","id":"Q3777438","labels":{"en":{"language":"en","value":"On Bounded Database Schemes and Bounded Horn-Clause Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4039268"}},"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":"Q3777438$D6D8B29F-5669-4BB2-A504-493FA4C28A56","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5d78d57dc4b006805558f58e322f53361d336ba1","datavalue":{"value":{"text":"On Bounded Database Schemes and Bounded Horn-Clause Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3777438$22FFF81C-B075-444C-9813-BB9B4E30ED3B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea6962962154ccdd4ebba3ecca91680334ea5d53","datavalue":{"value":"0637.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3777438$1A1284CF-3141-4E83-B9B9-41D60388DDC7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"46e956df14251fff6740e4bd481276f9536bc3ce","datavalue":{"value":"10.1137/0217001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3777438$702331F3-A988-49A8-9BA5-2BE163B1CA6D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eec7ecaad687cc8171e152c9caee9b9b75cd7b5e","datavalue":{"value":{"entity-type":"item","numeric-id":199249,"id":"Q199249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3777438$08A2E824-ACA2-4707-8E0C-244396C47D98","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3777438$31767516-11C1-49E2-A1C0-FEF46973552A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3777438$08D2CF09-2C4B-4394-8FF1-7DB2262AE6C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3777438$61E5ED42-2823-4B74-9F08-AFEC96FCB615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a762d1a2468ec8882180d0d1124f12b94f8eb1b0","datavalue":{"value":"68P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3777438$2A5E7B2C-5ACC-4C7E-9694-7A6A836792FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3777438$A2BA52F6-58AC-4C6D-95B1-3430D7490923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3777438$313187A0-F6F9-4085-B0B0-08B38E8045EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3777438$BF0FD7DF-335F-4249-8477-544B67818BF3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19f706b4bd09e71524d4d48681c3cbd66718557d","datavalue":{"value":"4039268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3777438$1DAC8786-7708-4A5F-9A46-23508A36C316","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a647e8b63540a3d995620928a5df1b86e8563587","datavalue":{"value":"query","type":"string"},"datatype":"string"},"type":"statement","id":"Q3777438$01C35097-A414-4231-9A7B-B624F13CC3DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9152b3c08ac57bf9c002bb47c7a1dedbabf1f5ad","datavalue":{"value":"representative instance","type":"string"},"datatype":"string"},"type":"statement","id":"Q3777438$0B087CFD-D4A9-4490-A024-FEEE353001C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3b3826b7f3199a82023a99c1b7907a7050e9c60","datavalue":{"value":"lossless database scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q3777438$961816CE-104A-4EC4-B005-56BDDA497C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1e0310740df0c5de659692b6d4c4352ecb0476e","datavalue":{"value":"implicational dependencies","type":"string"},"datatype":"string"},"type":"statement","id":"Q3777438$8E089FA2-B411-4047-A43F-385F0CECC7E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f37a034e647f80843b21640ec1d9b6824b15e6b5","datavalue":{"value":"relational algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3777438$3E0B9953-9439-431A-8C88-C66955F2E7D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3777438$4B6036B3-DF25-4D83-A902-FEB46DA26454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2726a3e8aa3ed31b3adb289921bbfb7ed1a997ab","datavalue":{"value":"Horn-clause programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3777438$79FD3404-DDD4-4C81-9BAC-A0E2E4931A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08d95b1b1e8fae2389c5bff68717042a5da2aa93","datavalue":{"value":"nonrecursive program","type":"string"},"datatype":"string"},"type":"statement","id":"Q3777438$FEE63FE4-1CA5-4E36-A64E-290F92CA1503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8d2c0c788237f767e4a7723dad70093adc8342b","datavalue":{"value":"tableau mapping","type":"string"},"datatype":"string"},"type":"statement","id":"Q3777438$65671257-FF50-4659-A9DD-E6AEBA61AB32","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":"Q3777438$BE8800A0-94F5-4D0E-A705-1B05F2DBAA2D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9c4cd23eb8fc6eace61eb2204f259d9013a60403","datavalue":{"value":"https://doi.org/10.1137/0217001","type":"string"},"datatype":"url"},"type":"statement","id":"Q3777438$E1BB9167-AD72-484D-880D-085BDC912043","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8b2d7afd96bf3600a00823004467b2b3b2f2ef99","datavalue":{"value":"W2036658689","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3777438$93E33746-FA4F-48EA-98B4-1C06F33FC160","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f11e9223b73bdc5d2e7d3df29deb64a7845f66c9","datavalue":{"value":{"entity-type":"item","numeric-id":1199825,"id":"Q1199825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"876c106a70bb0591b034b99e278dd3819d1bae9b","datavalue":{"value":{"amount":"+0.9010911","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3777438$0BEBEDBC-E323-489E-87CF-5C0B669D80B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a69ef71a3296d6d98ffa3996058d4bc93528c6c3","datavalue":{"value":{"entity-type":"item","numeric-id":3128622,"id":"Q3128622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5048b8f65f662253c750026fa134858b5f23e25e","datavalue":{"value":{"amount":"+0.8683269","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3777438$1A717F5E-9F17-45CA-8C69-FCA1D4D4BE11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c86bd795328fedd0e74516e9c6dd0821180c743","datavalue":{"value":{"entity-type":"item","numeric-id":2402281,"id":"Q2402281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9588016eb425723b6dcccaf887bc2f85d82c25ba","datavalue":{"value":{"amount":"+0.8644458","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3777438$28FB1F8B-7850-4828-9520-9A27AB593C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa7edfd1c7d4d09e65dc9c239c9ea7bcc5d745e1","datavalue":{"value":{"entity-type":"item","numeric-id":4694701,"id":"Q4694701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3122ec5763c85dfdef39860d407f3f3a447882f0","datavalue":{"value":{"amount":"+0.860103","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3777438$044271C5-D62C-4E28-81E4-E19E32FF03B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"702c12900292dd291364973617511af06be085f5","datavalue":{"value":{"entity-type":"item","numeric-id":4812982,"id":"Q4812982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8eaa627312c34abe5037865f889a25a662057812","datavalue":{"value":{"amount":"+0.8591502","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3777438$092C0B27-23E2-4223-94EE-FE64D32B60CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31f45c31c3222ef56c720098f2033fb7667a71b7","datavalue":{"value":{"entity-type":"item","numeric-id":3449494,"id":"Q3449494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e3a2294efb1e26e6a29342aa04e932bc757f2e3","datavalue":{"value":{"amount":"+0.85751903","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3777438$E34D444B-F708-436E-917C-1217EA471879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8491a9dff042e27b7ee426c8dbaac151dd381587","datavalue":{"value":{"entity-type":"item","numeric-id":1085975,"id":"Q1085975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2d7053a990ee1c7d828d831a8cf24f53364ed28","datavalue":{"value":{"amount":"+0.85613143","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3777438$16BD13CE-C4BE-4847-A921-64C06937C7B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"507051bc922ab5ec0b52f9a788a7eccab080ae2b","datavalue":{"value":{"entity-type":"item","numeric-id":1092683,"id":"Q1092683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68d591281342c5fff9c0c35a51126201092c6d98","datavalue":{"value":{"amount":"+0.855526","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3777438$4D0CE599-74A9-4CA3-8647-C7E6BD3A650F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fe836866cd6e7cb3ebfe303e44fb6b7206718aa","datavalue":{"value":{"entity-type":"item","numeric-id":5398299,"id":"Q5398299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed1c9ac4fff54aa477704aa83c1ef564e4ecf39","datavalue":{"value":{"amount":"+0.85346496","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3777438$C00555AC-097C-4A2C-97E4-622F7E483609","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Bounded Database Schemes and Bounded Horn-Clause Programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_Bounded_Database_Schemes_and_Bounded_Horn-Clause_Programs"}}}}}