{"entities":{"Q5881264":{"pageid":7910815,"ns":120,"title":"Item:Q5881264","lastrevid":47823883,"modified":"2026-01-02T19:22:27Z","type":"item","id":"Q5881264","labels":{"en":{"language":"en","value":"A maximal-literal unit strategy for horn clauses"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7661636"}},"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":"Q5881264$1DDF0B50-2821-40AB-AFA3-6D91861D9DC5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5281f36c7db680ff58c37836fe063b4da03365ac","datavalue":{"value":{"text":"A maximal-literal unit strategy for horn clauses","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5881264$138BC635-C14B-4961-AC1B-4DF448CB0525","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"88fd9357ecf22648efda79bde8f9234fc7c7a53f","datavalue":{"value":"10.1007/3-540-54317-1_78","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881264$D552F663-0DAD-4E69-8B8B-EE0FDEC2EE1B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"423424ed34b7dac382d00344caf66effb4c7fafb","datavalue":{"value":{"entity-type":"item","numeric-id":199247,"id":"Q199247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881264$6E08CEEA-B6DF-4F8C-9EDC-8AEBBCB7D7D2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4a4b5901641e74cf791bcdabc63125c8cff24565","datavalue":{"value":{"entity-type":"item","numeric-id":5881262,"id":"Q5881262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881264$534EE752-6968-4860-A44F-136C031A1192","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa71b3b2a7b7ab0138de60bd723d67e92e6e5110","datavalue":{"value":{"time":"+2023-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5881264$013AF6C0-845B-47F5-B4C9-21858F76A730","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881264$DFC8E99D-395B-474C-BD23-E35B40344252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881264$87671CE6-7A68-4890-8474-076079652062","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a316b74548ebea6d2f414213967c56dd16fa7c5","datavalue":{"value":"7661636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881264$1C842EE8-159B-45A6-85B5-9549E762A2DD","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":"Q5881264$F4B6FC3E-B73B-4FF6-A80E-9458AA08C7C3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"306e9c44dda9b63a3a75442ef6abdfcc66a67ee5","datavalue":{"value":"https://doi.org/10.1007/3-540-54317-1_78","type":"string"},"datatype":"url"},"type":"statement","id":"Q5881264$70C3B22F-61F0-4BC4-8B07-64F2AC6E9423","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a9b850109f50dbd04728209b4a4ba0fc9b5b37dc","datavalue":{"value":"W1519073978","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881264$7A267C36-9C0A-42D6-B76B-A22351542600","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f463d2fc68b751147d657b7d88f441cdf392409","datavalue":{"value":{"entity-type":"item","numeric-id":4000281,"id":"Q4000281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881264$E3AC4679-AF05-45C0-9250-205E2ACB6102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a09b43ab717e0d119a28b84937155a570091bc3","datavalue":{"value":{"entity-type":"item","numeric-id":3427354,"id":"Q3427354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881264$3DF30332-49A3-4B1B-933F-F46B903E7224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378088a63ec20245823db74d6a8845609e39ce21","datavalue":{"value":{"entity-type":"item","numeric-id":593789,"id":"Q593789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881264$69B09E6E-230F-4A04-991D-9EC8ABB77FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d3f5f0e6d39b0610560c479018fc71a2adcd20","datavalue":{"value":{"entity-type":"item","numeric-id":1098624,"id":"Q1098624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881264$D2319A07-6510-4FE0-86D7-27D81CB2CF48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eec66fa64dfef8f56381c0991953e048ebc1437b","datavalue":{"value":{"entity-type":"item","numeric-id":3999156,"id":"Q3999156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881264$615286EA-6D31-4065-87EF-B98C1B242897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27d44a0e50fda314668a36654efb04ab5135cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3868730,"id":"Q3868730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881264$70E2A6A1-5A94-4EE2-9794-AD1DF3CEC07B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d903972af7d29825f64b1c88e5395eb0b5d0fe00","datavalue":{"value":{"entity-type":"item","numeric-id":915429,"id":"Q915429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881264$EC2DCAEF-7B2C-4B23-B5F5-6AC3779DE6DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c7c626276619186e4feb1c0613ffe3d9280b757","datavalue":{"value":{"entity-type":"item","numeric-id":3765264,"id":"Q3765264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881264$A60EBD0A-C8F8-4570-B303-EF32F5596FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b777a302903125fe23797b9bf75d2ca49d181b97","datavalue":{"value":{"entity-type":"item","numeric-id":3817656,"id":"Q3817656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881264$2029A8C2-F849-4518-AA96-A2610957BD80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"041184ced68ec1bcfc7e3558db4714d4dc908858","datavalue":{"value":{"entity-type":"item","numeric-id":4050192,"id":"Q4050192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881264$BE89CC19-E0F2-4B73-88E6-18A7ED44C29C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7819d4cde146b169662c83aab32ea4e5414cd355","datavalue":{"value":{"entity-type":"item","numeric-id":3786024,"id":"Q3786024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881264$22E115C7-FBED-457B-9C60-13B7F7767469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b95a10e194b852a6f6838734d909c8312bfc826f","datavalue":{"value":{"entity-type":"item","numeric-id":3028369,"id":"Q3028369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881264$5668453F-94EE-4CDC-8C24-A921C38821DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc38d5f7a802e9ea35c5abdf22fc0003a899e4fd","datavalue":{"value":{"entity-type":"item","numeric-id":1100891,"id":"Q1100891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881264$EEC96555-72C2-4D2D-962C-C70F5F267DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b624435100aa332b4ed9a77a30a3c9fc845318a6","datavalue":{"value":{"entity-type":"item","numeric-id":3818295,"id":"Q3818295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881264$2E80DF42-EEBC-4F17-B5A7-414AB15B0429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f895c96d0fa1f21b0ff95a29baead18dbd4124a","datavalue":{"value":{"entity-type":"item","numeric-id":1085152,"id":"Q1085152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881264$239A8FB6-873D-46D5-A2FA-F21B254BDF19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febe5bf101c3b7d6dce19439eb466caa5715de79","datavalue":{"value":{"entity-type":"item","numeric-id":5624683,"id":"Q5624683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881264$EFBA2E4D-2C68-4BEB-85F8-4E75A3B1EBBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a00d494a72da53d5edc71ee57582c397b68b035","datavalue":{"value":{"entity-type":"item","numeric-id":3789100,"id":"Q3789100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881264$C534A0F2-F8C0-4462-9407-33BBAE5545AD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bf56b202a92a35163646cc31fe57791a6a63a51","datavalue":{"value":{"entity-type":"item","numeric-id":4012174,"id":"Q4012174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2eee56b232a01705e06f0468e5608930ec2aa830","datavalue":{"value":{"amount":"+0.8684935569763184","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":"Q5881264$F9B1CBD8-2BCB-46F3-9C10-A539E0E2E656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"096d3275cb274c69c48366d1ebfdb48139456f16","datavalue":{"value":{"entity-type":"item","numeric-id":3698310,"id":"Q3698310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"266e4f379c9a2581cd67157d010cdc886004368b","datavalue":{"value":{"amount":"+0.8651912212371826","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":"Q5881264$BACC5175-3D5C-4AEB-B856-77432C617A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14ab66e2aa85493c4c26d61fc956360217ee1d49","datavalue":{"value":{"entity-type":"item","numeric-id":4036569,"id":"Q4036569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c7d33694cfcbc4306ed7b27ee00310e9ae929e3","datavalue":{"value":{"amount":"+0.8137917518615723","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":"Q5881264$CBD5EFDA-EFD5-4EE2-A06C-7B1F04177A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e26df735870355093c813bc92138e93234fedbb","datavalue":{"value":{"entity-type":"item","numeric-id":3742762,"id":"Q3742762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c7d33694cfcbc4306ed7b27ee00310e9ae929e3","datavalue":{"value":{"amount":"+0.8137917518615723","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":"Q5881264$DD60645D-B13A-452C-A166-C5251174074C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"319e919e54ae19af5725b0d7ca2380a762f4acbd","datavalue":{"value":{"entity-type":"item","numeric-id":1182107,"id":"Q1182107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d94fc0ec8f0466c722065d0ed05b41d16d2df318","datavalue":{"value":{"amount":"+0.7786524891853333","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":"Q5881264$8A554E4D-AD90-4639-8730-E98A1DEDF727","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5881264","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5881264"}}}}}