{"entities":{"Q2349825":{"pageid":2360568,"ns":120,"title":"Item:Q2349825","lastrevid":52283186,"modified":"2026-01-21T08:40:37Z","type":"item","id":"Q2349825","labels":{"en":{"language":"en","value":"Using clausal deductive databases for defining semantics in disjunctive deductive databases"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6446871"}},"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":"Q2349825$71C940C2-E43B-43A7-BCE0-442D1AC07378","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c6aabe9a48be9373387307669713265ea4502bc0","datavalue":{"value":{"text":"Using clausal deductive databases for defining semantics in disjunctive deductive databases","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2349825$A8C4D8BD-0EB9-4C58-AEE1-3B63B5FC6903","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"891441938b0223342b7242c6578565a28485d7d1","datavalue":{"value":"1314.68121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2349825$2976736E-8883-4AFB-86AB-A26211A938AC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6ec5e6ce574ed407e322d0585438dcae7e42e81","datavalue":{"value":"10.1023/A:1013180132511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2349825$462BAE97-BA33-4CB2-9C11-2B335F366F8C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6591bed938321075933800ded0af0968d6532c12","datavalue":{"value":{"entity-type":"item","numeric-id":2349824,"id":"Q2349824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2349825$DADDDB3A-AAEF-492C-8619-FAE716294C3A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2349825$66556846-5B10-4831-AD4D-A570E375AC4B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c92fe4975a3a4bbe64ba97c9e0188942b4ac2585","datavalue":{"value":{"time":"+2015-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2349825$A87D71BB-0F4F-41D7-8AF3-22D5709CADED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2349825$37F79B77-2BD2-4772-9450-000CC08537C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2349825$1B93661E-2491-4F84-9BFC-B7076FD1FC17","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"39d888d39044206cf28a93b26793da57ede9801b","datavalue":{"value":"6446871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2349825$01E284FF-4271-4637-9796-B509A4787CCC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5233a5af1fd0c9e174806d9735b79d5cd872d04","datavalue":{"value":"disjunctive deductive databases","type":"string"},"datatype":"string"},"type":"statement","id":"Q2349825$35CA8509-E2F1-488A-9ECC-973B704FEBA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f56a032cf3f397353e2aa709d852b397b9d1fe0","datavalue":{"value":"clausal logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2349825$3FA84BC7-E342-48B4-BFAE-AE6705C992BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f1256c8b0070c66f4228355c755698c708a9c34","datavalue":{"value":"program transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2349825$395F784E-53F4-4F91-ABE9-BCF811E76F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65ad898fce43911ca55eb5ed942bac1dbc1b2a14","datavalue":{"value":"non-monotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2349825$AE30529E-18A1-49B9-8623-6FCB385C31DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cf68b700896c255a0bd6c82529e8b253e1f9d4f","datavalue":{"value":"stable models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2349825$0C9C8637-70A1-4BA8-81C2-A7A1039EAC4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db2ff8260ecd036c8ab2cfb2c5aaf5a0b7c161e1","datavalue":{"value":"closed-world-assumptions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2349825$A579634B-E9B4-4746-B38B-937455810983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e21d64a26d04e357687da822fb23f3d1f57a7134","datavalue":{"value":"hypothetical reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2349825$44879215-57B5-4F48-80BA-AE80C06BB99D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e5521ee0488b50dc9e8c273fcd2679ed13d8e39f","datavalue":{"value":{"entity-type":"item","numeric-id":16801,"id":"Q16801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2349825$BA1CC48D-09A2-45C7-B954-47C343B36CD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7545068a6822e4e652ce3b521c8f6365c7bdc7b9","datavalue":{"value":{"entity-type":"item","numeric-id":31846,"id":"Q31846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2349825$FE4F6D84-A295-4116-91CB-1D8A46B78B7C","rank":"normal"},{"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":"Q2349825$22759BD3-47F3-42ED-9B85-77B37F028036","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":"Q2349825$7A02F374-6594-4999-A2B4-8BDB9D60969E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"40d27bf8ab3353328a38c5be049f6e4091e556fb","datavalue":{"value":"https://doi.org/10.1023/a:1013180132511","type":"string"},"datatype":"url"},"type":"statement","id":"Q2349825$B3285C7B-384D-4010-A6A0-E0A289A056C6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"92212d2bf426e94e1afcb59b02b17744587050fe","datavalue":{"value":"W1490809581","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2349825$139E5F90-1DA9-4D75-93D9-B969E2F5FD00","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78f220619bbb119835cc0b010cd89e30984096cf","datavalue":{"value":{"entity-type":"item","numeric-id":4504012,"id":"Q4504012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96da41f72a86f1c9e0cb50b7d09a6f85b6054bc5","datavalue":{"value":{"amount":"+0.9139036536216736","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":"Q2349825$C2D0FF52-25C5-43C4-A1F8-334F42A97C1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bab9a7bfa3b3863035dd605aa9263b2ad56de540","datavalue":{"value":{"entity-type":"item","numeric-id":3348435,"id":"Q3348435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96da41f72a86f1c9e0cb50b7d09a6f85b6054bc5","datavalue":{"value":{"amount":"+0.9139036536216736","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":"Q2349825$1AA9E199-3CB2-4D24-96B6-08C74F3ED035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6990f2f55063c04521b4f3bbb0436c035f0090c5","datavalue":{"value":{"entity-type":"item","numeric-id":1114440,"id":"Q1114440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26edca854d9ce25ecbe01998bc5507e21a5acbf3","datavalue":{"value":{"amount":"+0.766067624092102","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":"Q2349825$BCE896E6-2E2F-46B4-B7DE-E875B9B1D816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2fe06c5d88b88b2b1854836c1b0b3126f161497","datavalue":{"value":{"entity-type":"item","numeric-id":5475454,"id":"Q5475454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ed1d3d0ff05f8ce77e686877aa1983e2e4618e8","datavalue":{"value":{"amount":"+0.7631526589393616","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":"Q2349825$B04A1856-AFC3-4C98-B564-A5554A8784DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1abede96576e88c44b8bdc9ac84942190a2d7352","datavalue":{"value":{"entity-type":"item","numeric-id":1901123,"id":"Q1901123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3960d4e6cbacb923e81e3515357fbcd63691b5bc","datavalue":{"value":{"amount":"+0.7540586590766907","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":"Q2349825$215D64B9-E26D-47DF-8F28-0D3E202ECCAF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2349825","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2349825"}}}}}