{"entities":{"Q2931274":{"pageid":2941994,"ns":120,"title":"Item:Q2931274","lastrevid":58063389,"modified":"2026-04-03T16:06:01Z","type":"item","id":"Q2931274","labels":{"en":{"language":"en","value":"Using tabled logic programming to solve the Petrobras planning problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6373655"}},"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":"Q2931274$CC3887F4-54FF-4147-9455-C0266E45997C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a26ad911d9f5c44f2b80388a9783e70ade66fb5b","datavalue":{"value":{"text":"Using Tabled Logic Programming to Solve the Petrobras Planning Problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2931274$9D49CBE3-0BD9-4D84-9D8B-1B9AC1F093C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7e1e0a68cb4fb2a90f53b3404ec86e6497392069","datavalue":{"value":"1309.68171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931274$7ACD0312-2F34-4FFD-93BF-A10E7CCBA805","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aabed7296f8f387a3cb2b0b378fee0d8eb55cb86","datavalue":{"value":"10.1017/S1471068414000295","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931274$CF198896-056B-446E-96A1-E011DB92390C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6992712afd121c14ea3b0bb6b766d9c70b34662d","datavalue":{"value":{"entity-type":"item","numeric-id":487648,"id":"Q487648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931274$741ABBD7-EDAF-4070-921A-D8B45377ACC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8725484b889e176c26e0acb7eaf9d3af0613b87","datavalue":{"value":{"entity-type":"item","numeric-id":2893098,"id":"Q2893098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931274$E939BDBF-1461-4B4A-8CDC-6DB930751DAE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931274$ABA773AE-D555-4358-B35B-E239F3B8AF22","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a882446bd128890a95a71deebb9cb2548da37a94","datavalue":{"value":{"time":"+2014-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2931274$A0347186-6848-4647-8FAB-4D76B51EA018","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5672fa8b9025fe2d81ad62a6cdba85dbb8215ca8","datavalue":{"value":"https://arxiv.org/abs/1405.2501","type":"string"},"datatype":"url"},"type":"statement","id":"Q2931274$197F8F29-867D-4E08-9599-CDE063D74C1F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931274$20488859-ABB3-409A-8A85-5859F3ABD078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931274$6001A8E4-1074-4BFD-95D7-F0DCE567B885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"810d660658648f9bc3138c1cd0aba8029bb9050c","datavalue":{"value":"90B06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931274$ADD00562-D270-407D-A3D6-233C91D21A88","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5bab7452f569cbb5cd2de81dd199b45c666a9ada","datavalue":{"value":"6373655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931274$A5117575-5C10-48DB-843C-14D8D5EC0FF5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9346bb56bb3794b0907906326af1b37fa16fde55","datavalue":{"value":"tabling","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931274$A77591B3-4AD2-4730-A569-2F5A3AE7FA41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23b6106e47b1dfbb1031896506dafa22f5ac441b","datavalue":{"value":"Picat","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931274$9AEBEF5B-64FB-4C7C-9A96-B6D881F3F11C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2450e02f50939b46b52c3140c8d1d485cebe36e5","datavalue":{"value":"pattern matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931274$9CDE93F5-201E-48D9-B2D8-83F9F3690FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"207f6c032ce419ec0ca9aa9f00d5d7b729bb5454","datavalue":{"value":"resource-bounded search","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931274$ABDFA594-1584-43E0-B589-502C7C2FD8F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"721db152ea6f5f1d941a96190ff027c3df9b3519","datavalue":{"value":"symmetry breaking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931274$AE485AB4-6FE5-40DA-9AD4-3CA35AAEA217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dce248baa6ddc45c558e1072a9ef8778d9930096","datavalue":{"value":"planning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931274$9CFEDCDE-5898-4CC5-B1C7-4894F782CFE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7d03c95d9cbd0654921ce6d2303323ad554d0cb","datavalue":{"value":"logistics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931274$69418A0E-2846-4E65-A97B-42F0D4544272","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":"Q2931274$1D2ADE53-3B23-4E97-9820-C9C002CA3DEA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3109650b607b6afc31f58ea57afea9d78f5db963","datavalue":{"value":{"entity-type":"item","numeric-id":4592996,"id":"Q4592996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd59441990dc9e9fd1b3e511c7fc08acd9113e59","datavalue":{"value":{"amount":"+0.8489872813224792","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":"Q2931274$686E1420-3BB5-47CB-93D6-B442C5BBAB6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a0c906c8494991e586a155b65885a44a446bd24","datavalue":{"value":{"entity-type":"item","numeric-id":5437650,"id":"Q5437650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16054450009f679bdaf6fab1ef0b48adb9b30e58","datavalue":{"value":{"amount":"+0.716281533241272","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":"Q2931274$3E0C1A31-0883-4848-8DFD-684C50140B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f90d814e083756de73da6ba54fde9ec54e1582e8","datavalue":{"value":{"entity-type":"item","numeric-id":4736512,"id":"Q4736512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"545c152087db40520c7a98372ee710c28ca8a1ea","datavalue":{"value":{"amount":"+0.7110217213630676","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":"Q2931274$186632BD-F82F-4287-8084-55C35AD2B89E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ade899af80e5e5daec43c93fd16a76ac5426fcd","datavalue":{"value":{"entity-type":"item","numeric-id":2893097,"id":"Q2893097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d05034529cb4a0db426e6065a64cf9690bf3aba8","datavalue":{"value":{"amount":"+0.7044910788536072","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":"Q2931274$2ABF0189-22D0-4853-9BD5-0838EF87CA07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1d975a33a8b914699c616535f990ab393a01235","datavalue":{"value":{"entity-type":"item","numeric-id":4736502,"id":"Q4736502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ce7bc21c41cd1c2f741576353d02ff26bf6f2c8","datavalue":{"value":{"amount":"+0.704139769077301","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":"Q2931274$D1E113FD-E36C-4DC1-A616-45304BB6A7BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2931274","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2931274"}}}}}