{"entities":{"Q3087434":{"pageid":3098149,"ns":120,"title":"Item:Q3087434","lastrevid":58110666,"modified":"2026-04-03T20:36:06Z","type":"item","id":"Q3087434","labels":{"en":{"language":"en","value":"The PITA system: tabling and answer subsumption for reasoning under uncertainty"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5939276"}},"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":"Q3087434$E63A266C-7807-4788-A273-4EC9E444AFFE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f69fe0459a1c629ab49ac261ed619820cdf6965","datavalue":{"value":{"text":"The PITA system: Tabling and answer subsumption for reasoning under uncertainty","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3087434$80A8DD3C-7B6E-4EAF-A84E-41104139764D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2850485e03e27a7bd12726691ed5cb56f9caf0ae","datavalue":{"value":"1218.68169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087434$DFD9EDD6-66FC-488D-884A-68FBDFE716BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a6ac68d26f822a87412b2ee4e7220311575c0211","datavalue":{"value":"10.1017/S147106841100010X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087434$08AB7CED-BFC6-4E2A-9570-486039A0764D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7e6b99038792d9e71582d3a141db4768ddf7469","datavalue":{"value":{"entity-type":"item","numeric-id":313121,"id":"Q313121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087434$D3024DEA-6725-4CC7-B74F-A027BFD96FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1624b9369a037e0a16c71e7bf773e6fdc009f47f","datavalue":{"value":{"entity-type":"item","numeric-id":1603736,"id":"Q1603736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087434$4190D054-362D-4049-AB9F-C3E8671A4C79","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":"Q3087434$023DC06C-A914-4761-AB05-B43D1C6A0074","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e46a6b83be9fcbd5764c46af6454b5ea03b3b70d","datavalue":{"value":{"time":"+2011-08-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":"Q3087434$39EEDF67-CA83-491D-89AA-1355DAB519C0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da57e26c01d424c6eae951bbc0d10bfe9cb161eb","datavalue":{"value":"https://arxiv.org/abs/1107.4747","type":"string"},"datatype":"url"},"type":"statement","id":"Q3087434$35E38CAA-7B08-480E-9DA2-A996A5EAAA45","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f66a3c6f6c4263d812ea49e5394cac6ea83ef9b","datavalue":{"value":"68T37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087434$0CD2C955-7F9E-43DC-8417-29EF8F0ADB7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087434$FAE65295-7D80-47F5-9261-201D97C50501","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a2fcfb20dbb41ce193f97468cd242bf2b30a8c06","datavalue":{"value":"5939276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087434$8D6D05FC-B187-42ED-BF06-E9BD2D7326B3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2dbe179c2140a5b73fb632d0a3e25854089c7e5","datavalue":{"value":"probabilistic logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3087434$2AF6A14D-DBAB-474A-8899-4AD40C8D7650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6821bbdfb56a42f4b0fc5f7e7dd1acef6fb23cef","datavalue":{"value":"possibilistic logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3087434$58EA2353-4DB4-49FB-8CAB-E7CAD5DDC459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9346bb56bb3794b0907906326af1b37fa16fde55","datavalue":{"value":"tabling","type":"string"},"datatype":"string"},"type":"statement","id":"Q3087434$D8E96795-1D9B-454F-AD01-B57EDDC3D650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddd83bae90edaa4809b14b7da53fadd4073532b1","datavalue":{"value":"answer subsumption","type":"string"},"datatype":"string"},"type":"statement","id":"Q3087434$A098BB6A-C7EF-4A1A-9880-B7018C9705D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3087434$B59F6DF4-A334-4982-B554-EA9B958B590E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b1da121714b17d37c0202a580fc288d94b43d180","datavalue":{"value":{"entity-type":"item","numeric-id":25788,"id":"Q25788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087434$54E4727A-E2EF-4DEE-ABED-B0436B8BEEFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ae7c3da40ff2124bf1a8a2a7001ef7dc16ad267a","datavalue":{"value":{"entity-type":"item","numeric-id":19009,"id":"Q19009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087434$08D3D73E-2BF6-4FE3-98A3-E63402043EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6822c0fadd26857cbbb97c326b16e308cab2b87d","datavalue":{"value":{"entity-type":"item","numeric-id":19013,"id":"Q19013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087434$379A7C73-07D7-4FAD-8F85-86CB2AE58804","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":"Q3087434$992311B4-B96F-415B-8E31-0C61F019DEDB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7ada705a90dd972fb8971b8cc481f4dc5ded3677","datavalue":{"value":"Q58063789","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087434$5D5020D7-10A9-40C3-B154-777DEB702FE4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"595c5bb45e886e183cf25289a91b08f2e48c3170","datavalue":{"value":{"entity-type":"item","numeric-id":1978007,"id":"Q1978007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087434$D6EDD7E6-66D5-418F-98FA-1F82519BD8E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"657cdb08289032bf6ac397352e0565da87f9b793","datavalue":{"value":{"entity-type":"item","numeric-id":4484722,"id":"Q4484722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087434$484AD5CB-34E7-4BCD-AABE-3D1C2D9CB8A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d216cbe09c1a1e3608f884b352a3b85f9b119aa","datavalue":{"value":{"entity-type":"item","numeric-id":688819,"id":"Q688819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087434$80464494-C6B2-454F-A491-4D3F779321F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2fe24aa493f02ef5f35c043ae4fc23454379744","datavalue":{"value":{"entity-type":"item","numeric-id":5425414,"id":"Q5425414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087434$BBDF5269-AE97-41A6-BB83-38092814D37A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa644fd6f2eaf2145b7b77442ee3aa6ea328886","datavalue":{"value":{"entity-type":"item","numeric-id":854974,"id":"Q854974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087434$84CEDD71-ADE1-4250-A8FB-0A21DE18AAD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e81bdf2537e24a5c767604c0ce801770ef76d61f","datavalue":{"value":{"entity-type":"item","numeric-id":5504655,"id":"Q5504655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087434$91F47E12-9023-4CAD-8A47-DA5AFDCDF810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"437fdcbbb949db5f03a8366e30626aaa2e098dc8","datavalue":{"value":{"entity-type":"item","numeric-id":598572,"id":"Q598572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087434$B08E0AA6-9990-43BF-999B-D1C5BB2D791C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"948328e2b220d0a1fe833a9e433d882831f5048a","datavalue":{"value":{"entity-type":"item","numeric-id":4649724,"id":"Q4649724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087434$8D699ADE-09A4-463F-ACF6-C1D1D25B1487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b764df3332bd7f92003abc05ba6ae5d20d239468","datavalue":{"value":{"entity-type":"item","numeric-id":2870287,"id":"Q2870287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087434$10A4F7B1-D6E6-4814-BF09-8A4DA111D227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7f61c0382bee639fd50de627d9fafa9b2f54c0e","datavalue":{"value":{"entity-type":"item","numeric-id":3612603,"id":"Q3612603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087434$1938C812-D719-4D9C-9AF2-40199373F040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69329424752175ac99be924bcbddb21e7d5a7e73","datavalue":{"value":{"entity-type":"item","numeric-id":3653144,"id":"Q3653144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087434$F05EB3A4-EC1A-4FE3-A8FB-AD325571FFBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b7cb3b43ff50cf6108510517944ff63be06cbec","datavalue":{"value":{"entity-type":"item","numeric-id":5504688,"id":"Q5504688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087434$F83EF98C-4205-400C-8583-3727963D5E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00596b2eed07a83865803c5300f48108df1cbfe2","datavalue":{"value":{"entity-type":"item","numeric-id":1391346,"id":"Q1391346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087434$B1334E18-381C-426B-9176-19436C288EFB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cd804890ecddfa4d29485e28fca57432a787a53a","datavalue":{"value":"W1983128223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087434$83271795-DB2A-4649-9941-6963B1FA728F","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"1cdc0ef6548b93177d2843a11b95ecee4c3246f5","datavalue":{"value":"journals/tplp/RiguzziS11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087434$0F02CD1D-3448-43BF-A4AA-7274F4C17F6D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"617491334d5138fe76d8ec496f461b6ffc1a6ada","datavalue":{"value":{"entity-type":"item","numeric-id":2883089,"id":"Q2883089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91918539c2c51a9094f0f830d70b33659518d8ff","datavalue":{"value":{"amount":"+0.8487898707389832","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":"Q3087434$6AD17DF7-6E6F-42CB-BBF8-FA9A458243CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d8b9b450ebf7d10ed9ef0befe9dda1951e8e5a2","datavalue":{"value":{"entity-type":"item","numeric-id":5299588,"id":"Q5299588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7252c00b2de85e78a710b4662e04c377633e18bb","datavalue":{"value":{"amount":"+0.8053215742111206","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":"Q3087434$68D891E0-32E6-4366-9F62-45B3E4C1C31F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"387095fabe1b7a8aec852e5174ef0fa30762a7dc","datavalue":{"value":{"entity-type":"item","numeric-id":5140005,"id":"Q5140005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f54ce006ecf25f0bc346c83c146df24b4aeedce","datavalue":{"value":{"amount":"+0.7962679266929626","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":"Q3087434$288AB4F3-57B0-4347-8A0B-770485A1E436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4831c40990c171a35167c991992d520abb3dc11a","datavalue":{"value":{"entity-type":"item","numeric-id":3549126,"id":"Q3549126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4f70bf9cf422baf15e66840666853685af06b2e","datavalue":{"value":{"amount":"+0.7824109196662903","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":"Q3087434$601FA89A-DBC6-4530-9E7B-FEB95BAA5D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2e4b1a1479d56aab1189f31d3bad7d3ac767b24","datavalue":{"value":{"entity-type":"item","numeric-id":2883085,"id":"Q2883085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"425e1c16c951a77b3a3bf8835fcd1486cf673e7a","datavalue":{"value":{"amount":"+0.7706375122070312","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":"Q3087434$6D13CD20-F7DA-4DF4-ADA0-788D1EBE49DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3087434","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3087434"}}}}}