{"entities":{"Q1709704":{"pageid":1720445,"ns":120,"title":"Item:Q1709704","lastrevid":72828690,"modified":"2026-04-14T08:06:55Z","type":"item","id":"Q1709704","labels":{"en":{"language":"en","value":"Founded semantics and constraint semantics of logic rules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6856648"}},"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":"Q1709704$6D7B2B7E-51AD-496A-89C3-1EF0AAAF9600","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"20a13b6f1f7fd247ab402d8b4f0b18e3480cbad7","datavalue":{"value":{"text":"Founded semantics and constraint semantics of logic rules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1709704$AB0B4199-9B4A-4FF5-AA79-32F52A072F1A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d783d62f95384d4f0da4bfa1b7b09d4e76595ae7","datavalue":{"value":"1503.68178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709704$663324CE-4285-4777-83CF-605075D3732D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"17afcf29731d0fa41cf5678f0aaf7bf23c46994a","datavalue":{"value":"10.1007/978-3-319-72056-2_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709704$AE18A74F-F149-480D-A8B5-844E16F47D25","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c37aa7b49232af847f60c0e647a97771f753e1c9","datavalue":{"value":{"entity-type":"item","numeric-id":216151,"id":"Q216151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709704$73D89A5E-E7DC-4839-86EB-A58F6EFC0514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3da61283bc619ce05497e026ce692668aa52c393","datavalue":{"value":{"entity-type":"item","numeric-id":216152,"id":"Q216152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709704$83CCF3F6-42FB-4C35-A61D-7CCA1A873AD0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"903e104d255c76762b447f9c24b1eed2b1fc2c24","datavalue":{"value":{"time":"+2018-04-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":"Q1709704$4FCCA47C-AACD-4A43-A9DF-785E9C863650","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e66b5072100a84765709b4835760a0569ec4915d","datavalue":{"value":"https://arxiv.org/abs/1606.06269","type":"string"},"datatype":"url"},"type":"statement","id":"Q1709704$0EEC7FDE-255A-4C61-A235-8BFC7F4C099B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709704$766F6AE5-3E90-4554-8F12-989660BC5287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709704$4E192C31-719F-49C8-92ED-66162D124E66","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d3aeea25ece7767836fe08527e775c16b360d3e","datavalue":{"value":"6856648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709704$FBDECE22-2CEF-4CAF-9A8F-3B37320951A5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40ac51148a5ff1725b32c3ce34af150283b22afb","datavalue":{"value":"Datalog","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709704$83820952-68DA-4E44-9C4B-797E23BAFC56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"527387f1602e183d744bc32de9e85ca4d6150841","datavalue":{"value":"unrestricted negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709704$13E6CE4A-80B4-4545-B16F-A9D77C96B19C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02b4a94493d2c835bd63451de94d80a1c1dc3a8e","datavalue":{"value":"existential and universal quantifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709704$7C8E8D4A-CE27-4A88-B9C5-1CF1CD1042E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e399d677aa013c5bcad0e7b334f6f942ffbfd7c8","datavalue":{"value":"fixed-point semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709704$BD08D389-58B7-4D5D-9648-4BB2646C90DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc84523e41a1c93f98d4ea541c8bba23fa54716d","datavalue":{"value":"constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709704$B303AAA0-AC4C-41FC-AF85-A10299B69B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"829ca1e536ef76ef92ed2ab157d10567452023f4","datavalue":{"value":"well-founded semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709704$CE0A24E8-F480-4D54-9799-452AC1F67BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c8c04d6faec96e0a57b788f2647a3e7913e75e9","datavalue":{"value":"stable model semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709704$1AC52871-44E6-4477-ABB5-DEC15551A9FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f26a4fe3043e4321aa608f64119a0ab7447c9dd","datavalue":{"value":"Fitting semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709704$E788FA53-8486-447A-9A5E-78ED39E41EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83ef41b5a2e4c75492d9524d1a463aa0cdbb44f4","datavalue":{"value":"Kripke-Kleene semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709704$BA76841F-3D9A-4275-B2E5-0C487B8CDAA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"001c90ea3dec667d1c067f14b458f4806452fc96","datavalue":{"value":"supported model semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709704$BDD1B4E2-2FD0-4A55-9E69-C02B655C3014","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":"Q1709704$D5704D9D-BC2C-481D-B561-089AD841F9C6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"661f4cd051871aa518d6b97632bd808d95963ba6","datavalue":{"value":"W2962969935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709704$516CDA4E-0BD4-4A60-94F8-F11351D49914","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b221c502c60bd9ad3d404b1dc84c7bde859794ce","datavalue":{"value":{"entity-type":"item","numeric-id":5140329,"id":"Q5140329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dc46660a5f61a39fe23b79fcf9ec8497afbe488","datavalue":{"value":{"amount":"+0.99999976","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1709704$C303C89D-A296-4B5B-9AE0-02BEE8917172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5e353b32ea067c6b5a186c6f49afcbe4ba65d58","datavalue":{"value":{"entity-type":"item","numeric-id":3578389,"id":"Q3578389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bf17fef56206050ac8db1df5359b90afa9186de","datavalue":{"value":{"amount":"+0.9120336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1709704$CB30BC85-977A-4F83-A09B-CFD617EA6E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03ba9724e95b8afda62d40b34f6c4b60d82932ad","datavalue":{"value":{"entity-type":"item","numeric-id":4245932,"id":"Q4245932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"335ae7e1f2779993ec9f2295d4c6a0d54e82edfe","datavalue":{"value":{"amount":"+0.9050637","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1709704$053F691B-E652-4DA6-A160-241DE76E5F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4eadac2439c6f0e485234cada0c5cd93a78076d6","datavalue":{"value":{"entity-type":"item","numeric-id":2492311,"id":"Q2492311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4523cf784ef15b085c65c172c17f6b6991b512c2","datavalue":{"value":{"amount":"+0.90310407","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1709704$0661DD1D-604F-4229-BFD6-F9E6CD04A0C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b373978be27576a06e061ddcffc43b003803ab7","datavalue":{"value":{"entity-type":"item","numeric-id":4302849,"id":"Q4302849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8164cabc66846ab19fcea3885a402f2babfc0f1b","datavalue":{"value":{"amount":"+0.90186584","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1709704$FF399F20-A49A-4A6B-8E7D-BC91362DEF6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3213ea9a9031d7732040880595449a301d3a8ade","datavalue":{"value":{"entity-type":"item","numeric-id":6488525,"id":"Q6488525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c5b9c373a687579cffedaa30095d2cd142b01f7","datavalue":{"value":{"amount":"+0.8999434","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1709704$A414B74F-B486-4560-92BC-1D18DC58FB5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abd38a941b1330cf785992d86f23b5dc4c376ee1","datavalue":{"value":{"entity-type":"item","numeric-id":4207887,"id":"Q4207887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f29670786b02e20ce5084324fc6abaa88bac0307","datavalue":{"value":{"amount":"+0.89937145","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1709704$021B49A2-E08E-469B-99B3-228E92BBA3F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44f332c47ded7f5f70b591e06bdea95cd54f55f4","datavalue":{"value":{"entity-type":"item","numeric-id":5309346,"id":"Q5309346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7af381f69d7d095589ca17697e0e77a147ec29bd","datavalue":{"value":{"amount":"+0.89800406","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1709704$2F39313D-6E06-4943-ADCA-52AFC0CCA613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cee3769d6cbc0e3c9a848d1315406e0f84f7ddd8","datavalue":{"value":{"entity-type":"item","numeric-id":4859932,"id":"Q4859932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff0463c98f76b29d845da036f2480c916f265c61","datavalue":{"value":{"amount":"+0.895491","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1709704$D8FE5A0D-7517-432A-89D4-1E9B6C23C424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"946946555f699e139e5c383411f537f94836f342","datavalue":{"value":{"entity-type":"item","numeric-id":4862201,"id":"Q4862201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1e81f34ce0a60c89d2edeee39a7751754611c62","datavalue":{"value":{"amount":"+0.8952265","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1709704$FD802F7F-FC62-466D-987B-604B3DA9FD08","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Founded semantics and constraint semantics of logic rules","badges":[]}}}}}