{"entities":{"Q6488524":{"pageid":14067293,"ns":120,"title":"Item:Q6488524","lastrevid":41760100,"modified":"2025-05-08T01:11:30Z","type":"item","id":"Q6488524","labels":{"en":{"language":"en","value":"Case-free programs: An abstraction of definite horn programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7680800"}},"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":"Q6488524$0037AE12-F885-4E95-A792-9B0B9FB57CB6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8e81bf36d4f614e5cd24b62b5ac3bc021cc88c55","datavalue":{"value":{"text":"Case-free programs: An abstraction of definite horn programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6488524$2832BAD0-BC45-4C9B-AE1C-0E784156CE75","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9dc71c34940a0ea6bdc08bba2cadb234c40bfd25","datavalue":{"value":"1509.68325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488524$0D659DB3-EC35-4C4B-9AC4-C8B5BB5D464D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d7895d72a22ad9f7c04701a2c3e012cffd2aa8f","datavalue":{"value":"10.1007/3-540-52885-7_81","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488524$B107D6EE-A360-4B55-A496-D14F79E1DCED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"225dade8753e6b977b71a3cec4608d7dd8b18a4c","datavalue":{"value":{"entity-type":"item","numeric-id":1353853,"id":"Q1353853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488524$D47E4B17-DC3E-4ED8-9025-C63A4D3C8E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"38933949e374845be920b359a9e1f9712218e322","datavalue":{"value":{"entity-type":"item","numeric-id":1149432,"id":"Q1149432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488524$30E52082-5A34-4804-A31A-1D03C8881D30","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"30bf4c979a904132ac28909e79b707831f730270","datavalue":{"value":{"time":"+2023-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6488524$441D4686-A15D-44BB-B548-D35E4CECE6D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488524$CDAD4F5C-BC02-4AFA-B638-50871D1F5730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488524$1119FD51-4D3C-49F0-9C24-7E91A177EF2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488524$B34F7547-DCD0-4CFD-813B-5324BA9A24EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"634cecca17ca63f0540eb07c1681ab7f3c5abc73","datavalue":{"value":"7680800","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488524$DA855392-A4DB-4333-A9A1-FD9018D62F05","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":"Q6488524$A53554CC-E6DC-4B5C-961C-17A90FA15BCD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d482f64dc32214208a1dac51ed6b08eadbfb","datavalue":{"value":{"entity-type":"item","numeric-id":3768366,"id":"Q3768366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488524$CDF9B530-E3FC-4D40-80A6-91FB9BC83CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488524$9E231940-E0EE-4D49-9498-88F4A0A0028D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65f72fa731d5ef46f7c8727b7b59f2eaf22c3523","datavalue":{"value":{"entity-type":"item","numeric-id":5544307,"id":"Q5544307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488524$C72231E5-D822-4342-B095-B5FB2F144103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1aa9e8bb4ef37ec285d6c238c3f5aa5ed5c9a38","datavalue":{"value":{"entity-type":"item","numeric-id":4139711,"id":"Q4139711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488524$3348ADFB-09DF-404F-8D20-A8419992C66E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ace3bf3851cb3603b10fadcc13358fc2d3ba2b54","datavalue":{"value":{"entity-type":"item","numeric-id":757031,"id":"Q757031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488524$59CC4DBD-1F0C-45F8-BFFF-A787F15D0338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d43919d1f4da3b9a07eea3d230b3f18d880d5940","datavalue":{"value":{"entity-type":"item","numeric-id":1116717,"id":"Q1116717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488524$EFED6688-C7F4-4688-88BA-72018C1989A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c13b845673f1ad4ff3ce278727ee071a2521b88","datavalue":{"value":{"entity-type":"item","numeric-id":3694733,"id":"Q3694733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488524$B08A4A53-C120-4EE0-967B-5316F0097A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488524$BB19990A-BF1A-47F3-BB99-73CD9688D143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f69d1a84dd82c8ccb9788f43bbcee993a72393e3","datavalue":{"value":{"entity-type":"item","numeric-id":3750142,"id":"Q3750142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488524$15F44B83-2730-41B8-A4A0-74990D5F0D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09d3702098a8243c997806fe750f18bb9bed4be0","datavalue":{"value":{"entity-type":"item","numeric-id":3795647,"id":"Q3795647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488524$823196B5-3562-4F61-972D-7CEC97A693BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daad16c12a610dfdfa00736e578af13909b8640f","datavalue":{"value":{"entity-type":"item","numeric-id":4205083,"id":"Q4205083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5554c4a8a7314d4082287e786709d220399628d","datavalue":{"value":{"amount":"+0.866344","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":"Q6488524$7B6509E0-4D2A-4EA2-A95D-39D8D82FACF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79960c67441c0801e9a93b87e74062f60af9e0bb","datavalue":{"value":{"entity-type":"item","numeric-id":3992226,"id":"Q3992226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afd6f87cf0f434c7c8704ae1c87e286cdbf7892c","datavalue":{"value":{"amount":"+0.85454637","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":"Q6488524$D1B2C3EA-B49F-458F-869C-02615F39AF3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d67bed16c4a617f5d43396ddb703f830c31c992","datavalue":{"value":{"entity-type":"item","numeric-id":2105439,"id":"Q2105439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e48727f904b81c56d5c6b497f8c83045196d898","datavalue":{"value":{"amount":"+0.83600646","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":"Q6488524$F4BAEF10-C74A-47F3-830E-9612E8CC02BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5657386bbd9603b9fe83e53f8b37e30d8a3b7cc","datavalue":{"value":{"entity-type":"item","numeric-id":1822233,"id":"Q1822233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21d94cf71bfd51267501b3912f77c6589f30e277","datavalue":{"value":{"amount":"+0.83366746","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":"Q6488524$90AD0A96-AA07-4707-84D3-8E70F3BC76E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"702c12900292dd291364973617511af06be085f5","datavalue":{"value":{"entity-type":"item","numeric-id":4812982,"id":"Q4812982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bb654a1a5b061184a02cec878d177c092b915c0","datavalue":{"value":{"amount":"+0.83251095","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":"Q6488524$E23CB5CD-4371-4D0E-A612-6CE2284BF199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5a5bb51e3095387c40d880ae273a0fce71d2c1c","datavalue":{"value":{"entity-type":"item","numeric-id":2947164,"id":"Q2947164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2f93478a26e31c3ff53124dd20ac4714dd6d012","datavalue":{"value":{"amount":"+0.8316184","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":"Q6488524$D9203531-889B-4C7D-A511-9742AC1E56B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b553ea3bfd32ff73c8ac582cccb04ce83543aff","datavalue":{"value":{"entity-type":"item","numeric-id":2639051,"id":"Q2639051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49285aee6c8cb8e3d0c005140e65391cb3317f0e","datavalue":{"value":{"amount":"+0.8314987","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":"Q6488524$F9F30966-37B1-49E8-90F6-45215F58F225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"509fe2d0413b578d259b63377ae6e13a0e0a719c","datavalue":{"value":{"entity-type":"item","numeric-id":746767,"id":"Q746767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57c1c2ee7d883515614ac25313ce65e60850c9de","datavalue":{"value":{"amount":"+0.83123416","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":"Q6488524$AC4E72D8-5F1E-47CD-9448-2C07E3299E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbd3a09f1a0dd8724dafa6c3f83d2a36204dd42c","datavalue":{"value":{"entity-type":"item","numeric-id":3384905,"id":"Q3384905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bb06d8d906c3f820308c2f9c4fa57756863aced","datavalue":{"value":{"amount":"+0.83064294","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":"Q6488524$B62568A8-50A9-4BDB-B4FE-B8DC761E0DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0967ea56a255f75afa3560b5cdf75cdd64e46209","datavalue":{"value":{"entity-type":"item","numeric-id":4592995,"id":"Q4592995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb76fb5aa1627f21c3d8927dca50b11f45ebc92d","datavalue":{"value":{"amount":"+0.82919466","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":"Q6488524$B8D7C9EE-25E1-4040-B9B8-57CB3B7B5857","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6488524","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6488524"}}}}}