{"entities":{"Q4327632":{"pageid":6357233,"ns":120,"title":"Item:Q4327632","lastrevid":41267634,"modified":"2025-04-26T19:27:12Z","type":"item","id":"Q4327632","labels":{"en":{"language":"en","value":"Modular stratification and magic sets for Datalog programs with negation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 741379"}},"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":"Q4327632$97A298D7-BD9F-4FC5-888D-2CF03C248B19","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fd3913c058a7bd93d944236ee3903bbf0edda8c1","datavalue":{"value":{"text":"Modular stratification and magic sets for Datalog programs with negation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4327632$DDA07755-00E3-442C-A8EE-625E73B9D37E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"577567b24443104b0800c9a338cc8fc9b0c105e4","datavalue":{"value":"0830.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4327632$961BCE61-DCE7-47F7-81B1-E1FF8678B5F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0a8fb228f3794bf40f494c77695eab4df438373b","datavalue":{"value":"10.1145/195613.195646","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4327632$138AE3F4-A144-4B8C-961A-DFDAA66F61A4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb287f6fc535237ff737ede8746c54c1c06ed4b7","datavalue":{"value":{"entity-type":"item","numeric-id":207606,"id":"Q207606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4327632$F69672A7-5F1D-4738-B406-0D04EA40D5F1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4327632$45F52628-37F0-4FA2-83C6-6A3E3C5B07B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c22fff5067af428041487b6a008ee6b0a5e2859","datavalue":{"value":{"time":"+1995-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4327632$849CE542-6EEF-444F-A98C-79C67A0A3535","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4327632$D142A68C-D9E0-4017-9C6C-2887D91CAB66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4327632$65BADEE1-5EC6-4483-A281-5CFF0D3637B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7703b314e001d2af77d9c73aa7d6ed5c6a3f6d97","datavalue":{"value":"741379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4327632$9AB74B76-B0A3-4BA0-BC1B-AA66C4F76929","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4caf295898a2717b8620f54f8ff49521734bd2da","datavalue":{"value":"rule rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q4327632$FDE3417E-3127-4FA8-94DF-92D376D5B1C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2900c09d600b786a2819793d6d7599bdeaa94f79","datavalue":{"value":"modular stratification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4327632$43E835D7-A225-4F69-BE5A-8445DCDDC118","rank":"normal"}],"P1463":[{"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":"Q4327632$4D58D8AC-D057-42AD-BBB6-48C584372F9E","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":"Q4327632$1603C245-E42E-4BD7-84E8-10B91DCE0CFF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a49edff757d87bf747d0813e7bf406bd9e4c2bb9","datavalue":{"value":"https://doi.org/10.1145/195613.195646","type":"string"},"datatype":"url"},"type":"statement","id":"Q4327632$175559B6-07A4-4BE6-BA91-6FA1BBB9C2B2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"090349719475798e213259eb0fee1f11d331432c","datavalue":{"value":"W2061565124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4327632$75052A01-0A7C-4EEA-9AEF-184AF609E425","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e150e1470e0f4974aed0a37477e2f299474dda5","datavalue":{"value":{"entity-type":"item","numeric-id":1761296,"id":"Q1761296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31fa8f09651b6c070fbf3e852fafe2056e72afc8","datavalue":{"value":{"amount":"+0.9105048","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":"Q4327632$B2DAE29C-4238-4323-9946-0AC37B467309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2249e5d0c88d283dfed8e5ec1d7228a65203c425","datavalue":{"value":{"entity-type":"item","numeric-id":5020560,"id":"Q5020560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47f5b3691d5c5c33e4f68b9b013478bd0b8ea7b8","datavalue":{"value":{"amount":"+0.90864253","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":"Q4327632$6DD4D393-7B9E-4198-9AD4-479424141C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b57285bdc8d8b28e79e8bd989ae4454da0f20ab9","datavalue":{"value":{"entity-type":"item","numeric-id":685491,"id":"Q685491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"804e579bd1f4b6ec07fd7dfe7514f31460a10813","datavalue":{"value":{"amount":"+0.89610416","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":"Q4327632$9051DC8A-50AC-4D3C-81F1-45C1CB8BFD18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b29c4a593101f7c4592845a1c0a677b34c52eeb","datavalue":{"value":{"entity-type":"item","numeric-id":2883097,"id":"Q2883097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd02e629e6c032251c15a95951d674d6f40bb660","datavalue":{"value":{"amount":"+0.8956484","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":"Q4327632$DD5D3B38-164B-4A2B-BC83-F134FC8D65DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"464d2ff2b3b030044efa83948c2fe3b20d643144","datavalue":{"value":{"entity-type":"item","numeric-id":5313199,"id":"Q5313199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff9713f49d2ea3bdc2373203bec975ba901d97cb","datavalue":{"value":{"amount":"+0.89371514","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":"Q4327632$227A197A-7E64-4570-B3D8-6EEC3B125E66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e358ba3b8c6f0116a560718ef57ecfd2fd3e943c","datavalue":{"value":{"entity-type":"item","numeric-id":2144176,"id":"Q2144176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebe1fa063eaf217c58becd1cafa0e9a14e839c8d","datavalue":{"value":{"amount":"+0.8689481","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":"Q4327632$10BD8C46-350A-4847-A904-102F33DBDD66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a09b5458b41ab308a800a3115fe712c8fe4ee26","datavalue":{"value":{"entity-type":"item","numeric-id":4353611,"id":"Q4353611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85e685e4122e53b628da7cab39c409449b6d5e22","datavalue":{"value":{"amount":"+0.86852324","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":"Q4327632$0F569CA1-9931-44F9-A5DD-841071186D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2c9d5fae27610edbd3338b8db69c8af38c52b33","datavalue":{"value":{"entity-type":"item","numeric-id":5945160,"id":"Q5945160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db275d42b08088761dd508208835e3a7e48d2e4a","datavalue":{"value":{"amount":"+0.86155945","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":"Q4327632$CCA9BCB6-513E-4B35-8B85-DAC0D041B954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78f2fb5389cdd495da7eb747153d08d873fdc1e3","datavalue":{"value":{"entity-type":"item","numeric-id":6175111,"id":"Q6175111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81e64ddb1043e52acf5bf0df3e99964bd554c346","datavalue":{"value":{"amount":"+0.8554685","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":"Q4327632$7EE95863-D6DB-4136-B24E-4469AD7D08A9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4327632","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4327632"}}}}}