{"entities":{"Q507537":{"pageid":509304,"ns":120,"title":"Item:Q507537","lastrevid":62399499,"modified":"2026-04-11T05:49:26Z","type":"item","id":"Q507537","labels":{"en":{"language":"en","value":"Hydras: directed hypergraphs and Horn formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6680943"}},"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":"Q507537$6EB49D23-5658-4032-AEE8-D27A46CD4815","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"357fd4d5c98afc33b41200a9b3a0cc0b51c2daa8","datavalue":{"value":{"text":"Hydras: directed hypergraphs and Horn formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q507537$CE124EEA-21C3-48F3-9EBF-3B93BF7C57B1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fe295d16b1baf42bb6f989869b33ad842ffa5980","datavalue":{"value":"1357.68151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507537$6C2E58DB-A22D-4DCF-AAB9-F55F9B154FBC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6dc56eb764d76296dd86a13ead47a595216473de","datavalue":{"value":{"entity-type":"item","numeric-id":507536,"id":"Q507536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507537$02E9B6AE-F6FC-4C18-B76C-8986C89855A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b2f68d5f4c9667e18501fa3f808949ad6363ae9","datavalue":{"value":{"entity-type":"item","numeric-id":277209,"id":"Q277209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507537$B5AA7C4C-5E0C-47C1-AA9E-2A327A523705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c66a437d74ae466cacad614cef92f8e5d71204e6","datavalue":{"value":{"entity-type":"item","numeric-id":239429,"id":"Q239429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507537$B2A33F67-F224-4976-B579-29374BE80233","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507537$D53129CD-3BCA-4B75-9EEE-C42CE3FEDED2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"69224595960101be6ec21574e4c403135d7942f5","datavalue":{"value":{"time":"+2017-02-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q507537$BF455B3D-B0DC-4159-B99E-ECF9D6846AA4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507537$49FA7D76-4706-4CA7-BDE3-6909150E7F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507537$179741AC-A474-48E0-8A4A-C5DA181A0DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"83bbf0b299346afb89579c3d6a26f4aedc76938a","datavalue":{"value":"05C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507537$1A236264-C925-47E4-AE45-3BC677F3BDD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09872c507729d29e1c1613e820db567c4517089","datavalue":{"value":"05C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507537$C82E4122-B889-45D5-9BC0-49ECB6FE7B0A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64a74840bfb8917ddc62928c288bef56f387f0c3","datavalue":{"value":"6680943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507537$35905E8E-E551-42FA-B552-7607DEEA8AA6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7339a29bf09525ad0735952a5c2d822a98c0f372","datavalue":{"value":"directed hypergraphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q507537$83F40C0A-7E11-49A0-BA33-DA7FC3E279A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ef3d1e723a50ff6e761b841dc7be35b8a1ffc8a","datavalue":{"value":"Horn formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q507537$6C331C56-9E66-46BD-A366-98188DA2898A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4520243af08101a3202bca2a8ed559acce80373","datavalue":{"value":"Horn minimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q507537$71E67CD4-CC15-4B97-AE9A-4E86AB432C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d85281995bf5341f25aee04ad3115e1dcffa174f","datavalue":{"value":"hydra","type":"string"},"datatype":"string"},"type":"statement","id":"Q507537$69990747-D4E8-49B2-B02C-E5343AF7D67F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68e13b641d54a60023575a559cff03cbde463275","datavalue":{"value":"hydra number","type":"string"},"datatype":"string"},"type":"statement","id":"Q507537$651692BC-A3E5-4F70-B756-BDA71D5FBD71","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":"Q507537$7568642C-16BC-4C85-8324-1BC909A60984","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c1450daa3bd88cf1f574889d80970d326b12525","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2016.05.036","type":"string"},"datatype":"url"},"type":"statement","id":"Q507537$521F1CAC-1311-4232-B899-3D837E2237F9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7c0e70f88a88acff72ebd47eecb57beb536b566c","datavalue":{"value":"W2480160089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507537$2B691848-A488-4467-B1ED-14A14EB53A98","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab7596d6bc85aaa85c15395197d662b0bf7c6c48","datavalue":{"value":{"entity-type":"item","numeric-id":1603430,"id":"Q1603430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507537$D1EB8722-A9C2-4E16-BC7D-CF1A34416101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41794586073d88b114109e8a61b5c5fc93a5bf40","datavalue":{"value":{"entity-type":"item","numeric-id":1119605,"id":"Q1119605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507537$2122E038-E10C-4550-8A6C-B8A502F90A5F","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":"Q507537$478A2CF5-88F9-416A-A83A-D9448A2BD1E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dce5aaf9a9d8aaa1c3c13c9c6237ac8f6793fa03","datavalue":{"value":{"entity-type":"item","numeric-id":415621,"id":"Q415621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507537$41F79ACE-FBB2-4EDF-9B0B-2F1681D853DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd3a3e052346b3e42c07257c51858e7ff99f9837","datavalue":{"value":{"entity-type":"item","numeric-id":3738576,"id":"Q3738576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507537$6F85B4B8-C4CC-46E2-BB4D-B524EEC73674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"876fdd54303162bfd0049e7d11d97f5edc6a8ef3","datavalue":{"value":{"entity-type":"item","numeric-id":1169818,"id":"Q1169818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507537$A789C067-BAD2-4AFA-8EE1-C3BE0F411692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b54cf9709169298d21ea64dd9446b98120b3170","datavalue":{"value":{"entity-type":"item","numeric-id":3587398,"id":"Q3587398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507537$934D7475-24F8-4FE8-9FF8-13312B4F50A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f855ca9f044b4ccfaaf3871a97165fe5be95c278","datavalue":{"value":{"entity-type":"item","numeric-id":2254607,"id":"Q2254607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507537$678DD43D-0DB5-42D2-9DF7-0DADB4EEDAF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f4df7ff86d27d228b9761e98fe15d8f8ac5c157","datavalue":{"value":{"entity-type":"item","numeric-id":3964599,"id":"Q3964599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507537$E8C01EDA-D640-4755-8B3D-1E4630918BE1","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":"Q507537$F6E02EA4-0411-4CF4-BEB9-5D685B387845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"244a3dfffc55641bc11a6cfe032e1bc2b2013503","datavalue":{"value":{"entity-type":"item","numeric-id":1195858,"id":"Q1195858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507537$4A6C20C6-7320-4670-9197-21EAFF2DE366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d81a1569c55af0236c5095ad01cdba91666ec7f0","datavalue":{"value":{"entity-type":"item","numeric-id":1313951,"id":"Q1313951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507537$C8F101F2-2AE5-4901-A22D-FA7CDB69A319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c961616caeda34d6ee5ba4cf37536f389ec2256","datavalue":{"value":{"entity-type":"item","numeric-id":5625198,"id":"Q5625198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507537$00F05F0B-3B79-4355-A715-0F47D5E6CC3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57e364a3cbfdc2e09fd6cd238c6e401962c2fe5e","datavalue":{"value":{"entity-type":"item","numeric-id":4881297,"id":"Q4881297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507537$AD648AE7-DDB2-417E-AA49-30CF38041448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"143421a0cbe4ba34cedbed6f5fa70d101952a550","datavalue":{"value":{"entity-type":"item","numeric-id":3668890,"id":"Q3668890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507537$C07EF21D-AED3-4D79-84B6-E32676A7D308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d18ab9d53ff667567de53072a887caee86a925bc","datavalue":{"value":{"entity-type":"item","numeric-id":672831,"id":"Q672831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507537$B70B2F4D-464C-40A9-9436-3F8052BB9AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1a914bcfaddd83ed8cc645ce7abd0a7bcf7ea3d","datavalue":{"value":{"entity-type":"item","numeric-id":5200511,"id":"Q5200511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507537$4DCBDECA-CA4E-409C-9AD4-E36BABD08A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e24c073037298a747d5597bafa89654d8322d39","datavalue":{"value":{"entity-type":"item","numeric-id":3206997,"id":"Q3206997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507537$3E2086D4-82B0-4587-A48B-F8D423D543C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f20db771ce48f21c71add0d667f1d64042f14af1","datavalue":{"value":"10.1016/J.TCS.2016.05.036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507537$33A01F8D-EC40-4772-A93B-4DE591705736","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f501e3470f68b86a64e9744b85b1ab445891390","datavalue":{"value":{"entity-type":"item","numeric-id":5200511,"id":"Q5200511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87c30a8ff4e3b3b3cbafe1f31cb02ee4634ccef8","datavalue":{"value":{"amount":"+0.9903162717819214","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":"Q507537$AF80B19A-BAE3-4952-A90D-6ECD708D1179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d738e9a7e936ab4d208eb46ee7154627acb261f1","datavalue":{"value":{"entity-type":"item","numeric-id":2322888,"id":"Q2322888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c23b3c9dd22076fd5e9c387f02221a0a08142556","datavalue":{"value":{"amount":"+0.9138870239257812","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":"Q507537$6D9E5704-0009-4F9B-BD64-0A3917392210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"867bba75f72c0674efc089cd3d227c7fe411c174","datavalue":{"value":{"entity-type":"item","numeric-id":507535,"id":"Q507535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38037538f9a597472088a520d6f3389a5c6f0cda","datavalue":{"value":{"amount":"+0.907258152961731","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":"Q507537$ECFC3484-56DD-418E-9223-212C588948A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dff13c1bda1906e866f56ba98bb499935f380233","datavalue":{"value":{"entity-type":"item","numeric-id":507517,"id":"Q507517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"918bf309ba53fca535a7f931489c9fc49004ca1e","datavalue":{"value":{"amount":"+0.7397197484970093","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":"Q507537$15CB9BD5-F3B7-40DC-B70F-A0C8DD920BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b44aca61fdd419cbc9a8ea1f69c4094ce248e049","datavalue":{"value":{"entity-type":"item","numeric-id":5403025,"id":"Q5403025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f1037157d3946045289d880d3d7108889cd6aeb","datavalue":{"value":{"amount":"+0.714690089225769","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":"Q507537$DE02D1E1-1901-48DB-B774-51ED219E1D88","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hydras: directed hypergraphs and Horn formulas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hydras:_directed_hypergraphs_and_Horn_formulas"}}}}}