{"entities":{"Q4612438":{"pageid":6642021,"ns":120,"title":"Item:Q4612438","lastrevid":53337047,"modified":"2026-01-24T18:37:21Z","type":"item","id":"Q4612438","labels":{"en":{"language":"en","value":"Interpolation in propositional Horn logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7009552"}},"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":"Q4612438$C1CC37EA-5836-471A-90C5-DC345A339B67","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2ea6da95fabda6a2a8740c76681ec5bb78b6cf6f","datavalue":{"value":{"text":"Interpolation in propositional Horn logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4612438$B919CFCB-BD7B-4E48-BCAB-5E8EE708A649","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f0216e1dbb319dc234849d36bfec1ce066bed43b","datavalue":{"value":"1444.03127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612438$F3B63569-BA9F-49CD-B39C-3CEF8081E3A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"27a40f3e393f328cd4730fcb61457b79095ca391","datavalue":{"value":{"entity-type":"item","numeric-id":753808,"id":"Q753808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612438$B0E121B1-E92E-4FDD-ACB2-C6A5F133AD3A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6cff588b238fe649ad35be9c49b1edf5332cb4aa","datavalue":{"value":{"time":"+2019-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4612438$6D56C856-F13B-4CF3-B63E-F92770FBD379","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d3d4d954739fbfe308ffff1a9fb5155b425fdfe","datavalue":{"value":"https://research.rug.nl/en/publications/interpolation-in-propositional-horn-logic(d03e1e70-c2fc-4042-a60d-656c48537d43).html","type":"string"},"datatype":"url"},"type":"statement","id":"Q4612438$3074C3D8-4294-4F7B-BAA9-6621DFB9F38A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612438$6ED71F04-585E-4C36-875D-1BAF93341710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612438$0225C728-3952-47BE-A5D3-A0518D42D942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612438$EFCFA277-D5E6-4F3B-827D-9946B6BE5D92","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f29c8d85fdc5107d3b4434406e593403d84c468e","datavalue":{"value":"7009552","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612438$E21E3967-BF0C-4DDB-8A1B-A55743038A47","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"665d0606295b945af039054d426bc7faff4cd038","datavalue":{"value":"propositional Horn logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612438$72350694-9EE0-4E83-B123-F268CF40D677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"066345834ce35a3f9005e468be9585e6c3822e2c","datavalue":{"value":"uniform interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612438$88A0BDC8-F367-48C7-A4C8-793636593652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d369ceee37d5961acaa52451162583f41c60fdd9","datavalue":{"value":"polynomial interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612438$3907BB53-6D4C-4E6C-8DE0-30B09BDE1F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b65f1e68ac2fbab33a6215b4a1e347e0267ad694","datavalue":{"value":"lazy Kleene algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612438$60638AF4-0438-479C-ACE2-82ADCD9EA3B6","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":"Q4612438$3AC90E8A-BB57-4DCE-A7F2-F45225476F12","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"027c4b3aa8ec348568d98d70e1e939b4522ade9b","datavalue":{"value":"W2783629319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612438$1E95361B-C333-4FF8-9DFB-99E7E559BED4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ca4c480cf7629cff84abb185a771423da81b9251","datavalue":{"value":"10.1093/LOGCOM/EXX042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612438$BCD25C71-A970-4EE5-80ED-E448936EAE07","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612438$4A16117E-96B4-4B72-970F-F1DA2BB82946","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a88e9f5696d2f663ff4270a486a526bcb9766079","datavalue":{"value":{"entity-type":"item","numeric-id":1944775,"id":"Q1944775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b944720a34df1257957fb4f47589d5a3610392db","datavalue":{"value":{"amount":"+0.7333638072013855","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":"Q4612438$3144D9AA-E2A8-4236-A9B8-1F8439337332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d63586cbec6a2dc4a917b3c0ae0b568d724bc7a","datavalue":{"value":{"entity-type":"item","numeric-id":3486539,"id":"Q3486539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f48eadc4e9508f87d6b967476992b8304e3031f","datavalue":{"value":{"amount":"+0.7294767498970032","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":"Q4612438$4DEE5343-0C7B-4D33-ADC0-9925459D6785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49ae2a0b77923a129f57ce18f68b6556632938c3","datavalue":{"value":{"entity-type":"item","numeric-id":1118581,"id":"Q1118581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7b32edbbd999e2a5da3db2e421593662a6114b5","datavalue":{"value":{"amount":"+0.7291855812072754","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":"Q4612438$DE375489-55AE-429C-9B3E-E7FD9126B317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc70ce0a84f2f78529137a4e102630e245ab48c4","datavalue":{"value":{"entity-type":"item","numeric-id":1024121,"id":"Q1024121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb8d86b5ec58beddf2a21d9e50b2dc579c86851f","datavalue":{"value":{"amount":"+0.7286702990531921","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":"Q4612438$321823F6-FAC2-4602-B621-A5855309D769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31a66723d39af21b716aa0696f74d721ec8b3a83","datavalue":{"value":{"entity-type":"item","numeric-id":878154,"id":"Q878154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d9cdb801cbb7c8dcd45f49662d7cdd3481cd23b","datavalue":{"value":{"amount":"+0.7219617962837219","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":"Q4612438$C2B66165-43F3-476D-A6D1-E33583E4194D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4612438","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4612438"}}}}}