{"entities":{"Q415621":{"pageid":417388,"ns":120,"title":"Item:Q415621","lastrevid":61735893,"modified":"2026-04-11T01:18:49Z","type":"item","id":"Q415621","labels":{"en":{"language":"en","value":"Construction and learnability of canonical Horn formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6031869"}},"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":"Q415621$410F3112-50BE-4EE3-8E6A-66173D54B03A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e4b078fe8e782e1af45ad57c2ba4add29f11f476","datavalue":{"value":{"text":"Construction and learnability of canonical Horn formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q415621$C668850F-6E86-48B6-BE94-464640CB5DD8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"84d47350b4a63a30bea2abec565acca66541aa1a","datavalue":{"value":"1237.68106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q415621$144186CB-BFCE-43E8-A51A-E1C7FF8C81AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"10154d54af98f5d7a70460df52413048558943db","datavalue":{"value":{"entity-type":"item","numeric-id":415619,"id":"Q415619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415621$4094C62A-6CBD-421C-B6B1-695E92037C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"387251027f7a6e047be71bdb6ddf8e33740cddeb","datavalue":{"value":{"entity-type":"item","numeric-id":415620,"id":"Q415620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415621$50E29848-6837-4ED5-B054-7BDCC80B009E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2500bd7472785bf7f3577cddf9bbcc323031858b","datavalue":{"value":{"entity-type":"item","numeric-id":65106,"id":"Q65106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415621$79A8A8AB-EA7C-4F63-8BFA-1D3709BD2952","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9606813db06ead53f454259419bc7094bb7b9c5d","datavalue":{"value":{"time":"+2012-05-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q415621$4D85A2E2-A6EE-415C-A4FC-723BB70AD411","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q415621$FF8F7C2D-D510-4D3D-B549-8E23B4C2990D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q415621$3D19127B-9867-467D-BE00-81BEF9ADC25C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"591a8bd78d009a6caf634a14d5d898da665be058","datavalue":{"value":"6031869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q415621$6AC99AEC-760B-4F7B-BFA1-687315811030","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d48acab6b6080e3dc1c1f8d827f33c3a5a6384a6","datavalue":{"value":"query learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q415621$D60F9F1A-5816-401A-A969-90767B72303C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ef3d1e723a50ff6e761b841dc7be35b8a1ffc8a","datavalue":{"value":"Horn formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q415621$5D4C9921-B523-4E81-B00A-60CB350EC52F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11a51fba83cf9860f708e585f25dee26b9c596d1","datavalue":{"value":"canonical representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q415621$8BD5BA6A-2CCD-4621-BEBF-812ACB869EDB","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":"Q415621$539FCCE2-D022-4CFD-B758-234C2E1E84A3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"90cdf29a46144ac5edcba27af8f0ab8315646486","datavalue":{"value":"https://doi.org/10.1007/s10994-011-5248-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q415621$EA60EE88-2D55-4098-8AD1-3CEB2400CA43","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"749d5a42f4ae833181b9ba28160dac678638e828","datavalue":{"value":"W2060706274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q415621$87820E50-23BA-4614-BB0F-3524929DD709","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55114ff063225064064e30c2c7ef5bef45a55b0","datavalue":{"value":{"entity-type":"item","numeric-id":1098326,"id":"Q1098326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415621$692F9C91-FFD5-4DF4-8969-0523A412A5A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"087f07f8e392be8ceb30b855fec239a8224e2118","datavalue":{"value":{"entity-type":"item","numeric-id":1892226,"id":"Q1892226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415621$5EFDBBE5-B8F3-4C3D-B56B-E96DB45E4968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a20371f7aaddf4961db5ce90f5ba312f92408d3","datavalue":{"value":{"entity-type":"item","numeric-id":1207302,"id":"Q1207302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415621$9A1CB213-430D-42C4-9302-D1BAFF3880D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc98ce2e3f9cc23c9167354f6351f68681e9a35b","datavalue":{"value":{"entity-type":"item","numeric-id":3529930,"id":"Q3529930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415621$06B95BA0-B81A-47FC-BEAA-F84A9649212B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ea6faa9fcdc44c7b68c99d63eded951737dcf60","datavalue":{"value":{"entity-type":"item","numeric-id":3648750,"id":"Q3648750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415621$937BCBF6-F572-469C-9069-3E97FD6467F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b641bbbe65865e32875245397e8b7f769aaadcf","datavalue":{"value":{"entity-type":"item","numeric-id":1854564,"id":"Q1854564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415621$532FF89E-6846-498F-8453-741E52A25403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89bae90ceecd6b7ee464e40a7a483210cc936d90","datavalue":{"value":{"entity-type":"item","numeric-id":2495655,"id":"Q2495655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415621$D0669C3A-AB13-4E76-943B-B865FA855A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e8b35c1e2364792b9c8e4a0abf13ac80c47f659","datavalue":{"value":{"entity-type":"item","numeric-id":3174089,"id":"Q3174089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415621$3BBFAA9A-54DB-42F4-B02F-6DA00C278DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c87736da9afd05d05c4916d40c0ecb1e4405b06","datavalue":{"value":{"entity-type":"item","numeric-id":974107,"id":"Q974107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415621$BDAFC0A5-EA35-4E2B-BF25-9F7B7ACC25BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415621$49B3CEDC-FDF5-406D-9959-325A6C8A5795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"662e991a2537044ad115adfd97f0f8c92afcf694","datavalue":{"value":{"entity-type":"item","numeric-id":676240,"id":"Q676240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415621$80EEBE2E-9172-44D4-8293-7B354E10D2D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfbdb0a29844c3dfa174fd7a1a9dabb9a82daebd","datavalue":{"value":{"entity-type":"item","numeric-id":5492873,"id":"Q5492873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415621$AF3746E8-29E5-4EA7-8688-998A6E114D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bf20bad2f52f0e67f28ec5ef09dc2220198c5ab","datavalue":{"value":{"entity-type":"item","numeric-id":5058462,"id":"Q5058462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415621$9AAF43FF-3207-4905-88AC-C0CC22D79AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4de3f94aa4a545403194d4966b2f64b9038aa159","datavalue":{"value":{"entity-type":"item","numeric-id":4371689,"id":"Q4371689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415621$8A9C1408-C03C-40B8-9F54-5AC09E57D1AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e32705a20749d879c2a8d115f6661190a57e8f3","datavalue":{"value":{"entity-type":"item","numeric-id":1944177,"id":"Q1944177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415621$2090BB7E-21D8-4642-B543-29299E8A3FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc4fadbe040952e672c3232da507a94e0f314469","datavalue":{"value":{"entity-type":"item","numeric-id":5805954,"id":"Q5805954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415621$B6554F3A-E0E4-4D32-A707-88CDE77BB398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"770462b766b46565e7be9d6abea27d109e3bcff2","datavalue":{"value":{"entity-type":"item","numeric-id":2676579,"id":"Q2676579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415621$2A1D4D0E-00E2-48A9-836F-431A364A82DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"506f3f0d1d89a8e8c8eba5a85582043dd4d7d4fc","datavalue":{"value":{"entity-type":"item","numeric-id":672339,"id":"Q672339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415621$3B37F8F3-2F7C-4F29-A39F-FFB7791E4B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"130dbb6db379f2863eacc4d460357dee10cd38dd","datavalue":{"value":{"entity-type":"item","numeric-id":4488342,"id":"Q4488342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415621$DA56165C-294D-43EB-A204-725C9ABEDC64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e00dbe049ef694ddf89bda4540748d3bb56f13be","datavalue":{"value":{"entity-type":"item","numeric-id":3919121,"id":"Q3919121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415621$9F1AF886-1970-4A82-8D20-70F84FE36F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a15b2a2283434fa49d8b91fe8e50cb7a13f457d5","datavalue":{"value":{"entity-type":"item","numeric-id":5844609,"id":"Q5844609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415621$554FAA1C-B8DB-4C6E-A925-6F071D42BC93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c296803e27e3e7fc46c228fb08c2d8b8f915a5f","datavalue":{"value":{"entity-type":"item","numeric-id":1326585,"id":"Q1326585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415621$8941E530-2FB0-431F-A6CF-A9B9A9F0F504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cce39a549f256d22ed5e1331ab397faa12cfbde2","datavalue":{"value":{"entity-type":"item","numeric-id":4371669,"id":"Q4371669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415621$658A3472-6857-4C1D-A488-BFD79C0B0858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a4339f157b5db47124df1e48c6422ab87d6805d","datavalue":{"value":{"entity-type":"item","numeric-id":3714486,"id":"Q3714486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415621$3999E33B-6AF1-4F55-BA5C-4F77FD1D3497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daa75d76e1cdc609f7ac46974607202a4c628e1e","datavalue":{"value":{"entity-type":"item","numeric-id":3275832,"id":"Q3275832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415621$7776A22C-EE00-4C06-9B9D-6A455B5AE6C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02d27b81f54db8ced32506866a1108406852c6c2","datavalue":{"value":{"entity-type":"item","numeric-id":1341147,"id":"Q1341147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415621$E3848049-6134-402C-AF82-9B849BEC9FA6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"74099b4222029c3f6e7d5106e2ecaaf4181dc9b9","datavalue":{"value":"10.1007/S10994-011-5248-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q415621$C08DB5EB-98E3-4419-B071-1D7934B881E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b947f2e4b328a36e51d8badfe13fc812f95d791","datavalue":{"value":{"entity-type":"item","numeric-id":3648750,"id":"Q3648750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abb4fa55e66518621c307f1d2686baaa7eac3b56","datavalue":{"value":{"amount":"+0.9569080471992492","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":"Q415621$2238C2AB-5646-42FD-9CDC-DBAAD7904229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d110a75906d67f2dd2972ae1066bbaf5a5ddb20c","datavalue":{"value":{"entity-type":"item","numeric-id":507524,"id":"Q507524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ed7c506864ae33bcc7343b4a2e5be1f5cf9e647","datavalue":{"value":{"amount":"+0.8140239715576172","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":"Q415621$4DA057B1-C2A6-4FE0-92FD-3ACCF50035C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84f8e49309d643bfe07800c43b3c7d6b3399f845","datavalue":{"value":{"entity-type":"item","numeric-id":1854564,"id":"Q1854564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2f76e4d146ebf8a661150dc4f65c7f2a5252c02","datavalue":{"value":{"amount":"+0.7657097578048706","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":"Q415621$5B982B63-B0CB-4C2E-B8DE-AF23AD055759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"500b85eb0ac6064133080898c6ca2cbcbdcf9275","datavalue":{"value":{"entity-type":"item","numeric-id":1969319,"id":"Q1969319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e8c22941fab1c681a2013300ddc1a4485b5404f","datavalue":{"value":{"amount":"+0.7626170516014099","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":"Q415621$21569740-B092-408E-BDAA-D1B3ABDBD209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95662c2f7f95831d7379049b6ea2c0954f4e3e43","datavalue":{"value":{"entity-type":"item","numeric-id":5053056,"id":"Q5053056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce0b49d44eb9db293f3374744c4b97b4f5b80a9e","datavalue":{"value":{"amount":"+0.7623757123947144","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":"Q415621$ADDCA6B1-2C86-4619-8B61-7F2BE96C7079","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Construction and learnability of canonical Horn formulas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Construction_and_learnability_of_canonical_Horn_formulas"}}}}}