{"entities":{"Q1653439":{"pageid":1664180,"ns":120,"title":"Item:Q1653439","lastrevid":53159651,"modified":"2026-01-24T08:40:15Z","type":"item","id":"Q1653439","labels":{"en":{"language":"en","value":"Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6913828"}},"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":"Q1653439$7DA1953A-228C-432A-A1C2-32D04A376EA6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b46c73dc710fc4a49b69df9cce4b3ed82495021","datavalue":{"value":{"text":"Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1653439$285A56D4-9688-4144-9C4F-8B11C8375813","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"80035fe75a68acbee68cce4403a7dbe4fc322ca7","datavalue":{"value":"1398.68500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653439$A3F2430B-C827-4BC8-B432-295CE2A3C4F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"727f1cfd885947a196bf2920b6ddf15dddfbd864","datavalue":{"value":{"entity-type":"item","numeric-id":646511,"id":"Q646511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653439$E0417D59-08C5-44D3-8F2D-15C3BCA94FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"40325860060e96b21d7bd44d8978a30545f07fa4","datavalue":{"value":{"entity-type":"item","numeric-id":854971,"id":"Q854971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653439$F6F92200-CFEE-421A-B5CA-E627336D0E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"793607af4511f189682197b75a9acb99863d2447","datavalue":{"value":{"entity-type":"item","numeric-id":1653437,"id":"Q1653437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653439$8DB2368A-107A-4327-AFF4-A5B5059F46D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bce8de97fb64dcb6b5e28c15c38d445ce6c3c22","datavalue":{"value":{"entity-type":"item","numeric-id":854973,"id":"Q854973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653439$45DA3632-0F63-487D-B02C-0C05302EB8F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b8e2f87a3a76c4cecaec9f88d31082ea1850d8a","datavalue":{"value":{"entity-type":"item","numeric-id":1653438,"id":"Q1653438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653439$1B7872B1-4DEC-44E1-A612-B70309BDADA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a11a25f9f171df2580f6e74b03bcf0f76b0e60e7","datavalue":{"value":{"entity-type":"item","numeric-id":854972,"id":"Q854972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653439$E32E5CC0-D9A7-4629-93C4-E43AD3D24E0D","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":"Q1653439$730A3D24-4A2B-4698-BCB8-9CC8D107D5C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"82b8b38224589a81cd806547430f6d71715c9a97","datavalue":{"value":{"time":"+2018-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1653439$FEFF8DF3-F798-46CC-8AAA-345FB8CABFBF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"389358875223fa0459c6e629c7b7b0bfac1dc23d","datavalue":{"value":"https://hal-lirmm.ccsd.cnrs.fr/lirmm-01934731/file/AMAI.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1653439$B85F73D3-B28C-4527-B0E5-F433AE883C66","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653439$BBB55F72-8FE4-4225-B5AC-CD814645B3DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653439$2BB20EC4-4C0E-45D3-81CC-BB9A99F9F9C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653439$3CBFEF30-633B-4839-ACE4-C6347062880E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653439$803E9DF5-63FB-4688-8857-0C71C1AB4BC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2007ddd3ad6a19c4f87412f8982ba9561c6bd8a1","datavalue":{"value":"6913828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653439$012F86DF-2C17-46F8-854B-9BD8D1BD4814","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1653439$3628CC16-5593-48AD-85B5-A658D18DB5F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"362b008192ad2726ca89a6a0dd1599cef594d27b","datavalue":{"value":"existential rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1653439$F4345CD3-A5CC-4F55-BB29-4AEDA3847E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38255a01ff8ffb1fa692e624f7913a6f3083aeee","datavalue":{"value":"ontologies","type":"string"},"datatype":"string"},"type":"statement","id":"Q1653439$D119DB42-B41E-4B9D-9373-0A27C863A5D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1653439$8B50AC6A-D949-4A79-A4F8-B5A5CBF72445","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":"Q1653439$F2B84D9A-6464-4237-954C-D16846EBD34D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4f59747061de99d1688c7f07fdd02ac19a4f83d9","datavalue":{"value":"W2755809261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653439$B4B6B860-B303-47E0-9018-9ACBCC9BF88D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"52798ad66a5945a840926a04847c8a04a768266d","datavalue":{"value":{"entity-type":"item","numeric-id":646515,"id":"Q646515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653439$95FB0A83-D321-44F0-80CA-CC1E8778F01C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e665d725c90d5e263ab31d6db65b839705c02d10","datavalue":{"value":{"entity-type":"item","numeric-id":4411130,"id":"Q4411130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653439$D73B004C-5769-4BAF-892F-14FFCECD50EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6e090ea15ded718fe0410ea1e64ddce7b1f9aaf","datavalue":{"value":{"entity-type":"item","numeric-id":2462646,"id":"Q2462646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653439$AFF0E53F-3923-4192-99FB-701F30951651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd2715cdad0840ba09455def3e60f91291999cc3","datavalue":{"value":{"entity-type":"item","numeric-id":5282952,"id":"Q5282952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653439$33C2B723-71A1-4225-88DC-1A181DF3FE90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9850dbfc39b62eaf426aadba129c147ef53a245","datavalue":{"value":{"entity-type":"item","numeric-id":881833,"id":"Q881833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653439$07128761-379B-4847-8286-EFBCD847CD8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df57a8b6ea029c06d43a21a5342274199359600","datavalue":{"value":{"entity-type":"item","numeric-id":4428287,"id":"Q4428287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653439$C15F28AF-689C-42A0-90EE-9583E16D3BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35be1e65ffd0335dfcbe3f59737c05901de565a3","datavalue":{"value":{"entity-type":"item","numeric-id":3912018,"id":"Q3912018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653439$718F0F58-582E-4AE2-AA9A-F3298A6883CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0ba76dcfcbe220af9d91fc7d90770cf9d9dc397","datavalue":{"value":{"entity-type":"item","numeric-id":2856474,"id":"Q2856474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653439$02E25B94-C676-45E9-B020-C6FD4EA618AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"801b64937ca0872a0c84f78e0bf7d93b290a854b","datavalue":{"value":{"entity-type":"item","numeric-id":5504670,"id":"Q5504670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653439$74A668A6-C5F2-412C-BC78-3C17186E5B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"367db1165ce65b83c0dabf24def36bf5bc324f31","datavalue":{"value":{"entity-type":"item","numeric-id":555772,"id":"Q555772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653439$A18992C1-CF53-4059-93CC-8198FEAC889F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"641bb4ce9fdb0771ad18dce06dc66550f63ce096","datavalue":{"value":{"entity-type":"item","numeric-id":2389666,"id":"Q2389666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653439$C6D78BC9-2094-401C-8A08-128E6D25732C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"870070c0aad0451308b9020b5163ee20efe46a6a","datavalue":{"value":{"entity-type":"item","numeric-id":4414536,"id":"Q4414536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653439$3715257B-F46A-4187-B901-F7E8DFEE8D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b75ee8f8a18238539664bf2738ea8a8583ca1625","datavalue":{"value":{"entity-type":"item","numeric-id":543596,"id":"Q543596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653439$477AA363-7E71-424D-93C9-81BAFC8F9AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60a9de76924445cefc84acc003270ad0e5b892b3","datavalue":{"value":{"entity-type":"item","numeric-id":3983043,"id":"Q3983043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653439$EAD749A2-E7D6-4AFE-95D2-4EB1A97F58A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b880dae5ab86d9ae77fa9d294644ac7a8fbe8cb","datavalue":{"value":{"entity-type":"item","numeric-id":2846569,"id":"Q2846569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653439$67B1C6C9-6810-4706-9BB4-D0CDEADC040C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e695b6da6b279b9df1b46240360ffce22045921b","datavalue":{"value":{"entity-type":"item","numeric-id":5705946,"id":"Q5705946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653439$897D93E3-29F0-4E49-A8D3-9CE7F948A2AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5a9509ffe5ef3a1f24be5c2f6704691dabaac0d","datavalue":{"value":{"entity-type":"item","numeric-id":3003263,"id":"Q3003263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653439$3CCF57A7-1CD9-44BF-83AA-7BBABDE8BEEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe172d266b2256a1459d8c0f51c579d961cd1430","datavalue":{"value":{"entity-type":"item","numeric-id":3643118,"id":"Q3643118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653439$2B8615A5-7C14-432F-A493-E3500ED75381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6bfb4a7928e8cea6fcf996a7b30dec4aa62d356","datavalue":{"value":{"entity-type":"item","numeric-id":5325773,"id":"Q5325773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653439$2E00CF60-08BF-4506-A3E5-77D735CB453A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9af7d90f48521d357e657970d9bada25f537d61d","datavalue":{"value":{"entity-type":"item","numeric-id":969538,"id":"Q969538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653439$EBF0AADA-A6FC-4493-9788-D64BE316D5AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e59bd53a837f83174d0cf6db91cf457dfa3ce63","datavalue":{"value":{"entity-type":"item","numeric-id":3579631,"id":"Q3579631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653439$41FCE6D3-0826-4F5C-8656-273ED48A59DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3dde95dc5d51f9e41cf40330a6a6bb874688611f","datavalue":{"value":"10.1007/S10472-017-9563-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653439$DFE4B3FF-9B97-4B47-BAF1-8ED79083E3FD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17300b061e651e0c491d212c023ae3c1b7148e03","datavalue":{"value":{"entity-type":"item","numeric-id":5282952,"id":"Q5282952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cee62623154bc1ff4ccde72e00124a89dffa0f72","datavalue":{"value":{"amount":"+0.8114945888519287","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":"Q1653439$C345F5F1-4DA8-4A83-A94F-0DE52E4C24B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82183773a212874f58b92b8a207ba2aedd4c09ba","datavalue":{"value":{"entity-type":"item","numeric-id":646515,"id":"Q646515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"088d21dcdeb655d7b7a28426170f0872e032bfb7","datavalue":{"value":{"amount":"+0.7437788248062134","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":"Q1653439$A1AC818D-12DB-48E0-8C66-1AD53A1DB569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d10bb45c75beb8e91c60857b5da0ae6b01f8fe3","datavalue":{"value":{"entity-type":"item","numeric-id":4911144,"id":"Q4911144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99fc7618779e4b2ca596faa1f9ad93f2e94e0108","datavalue":{"value":{"amount":"+0.7292344570159912","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":"Q1653439$D386B312-59AC-4259-955D-4311981B0229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad3229982dd45342a213554412a648e17118bddc","datavalue":{"value":{"entity-type":"item","numeric-id":5222877,"id":"Q5222877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88504237f65c6e0f23842991f161c8b1b563d347","datavalue":{"value":{"amount":"+0.7262719869613647","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":"Q1653439$380AC3F6-C1FA-4EA8-B5DA-9597CD48B60D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8b9c9c6d46c050f9dcfcdf4b347904f96df3d62","datavalue":{"value":{"entity-type":"item","numeric-id":5475811,"id":"Q5475811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31258df54666c6e189a84c42761dcbfa816a0b19","datavalue":{"value":{"amount":"+0.7255212664604187","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":"Q1653439$FF1E0878-A9B6-4EB0-A7CC-AFA256EFBA28","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1653439","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1653439"}}}}}