{"entities":{"Q1200328":{"pageid":1211077,"ns":120,"title":"Item:Q1200328","lastrevid":69873336,"modified":"2026-04-13T10:55:13Z","type":"item","id":"Q1200328","labels":{"en":{"language":"en","value":"Sensitivity analysis for Horn formulae"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 95111"}},"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":"Q1200328$7EBE88FD-587A-494A-A2F5-0D39DA642BC4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b3528055d2acbd0feef11daf12dff2bdba0c7a78","datavalue":{"value":{"text":"Sensitivity analysis for Horn formulae","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1200328$76FED718-F89F-4ABD-A6EE-B74E6E30C52B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ef636a858dd87c0d1f2a17a42fc8333c5a8e801d","datavalue":{"value":"0760.90095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1200328$1FF2724D-3C47-403B-A5BF-1DCBC2008001","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cbda899a87c7e066446eb0a130967ccf57ab0e8f","datavalue":{"value":"10.1016/0377-2217(92)90267-D","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1200328$8A569982-B79D-4A66-8D3A-BC15DD6ACCE7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d4609aec02e4a71b3d6290251e09f53c90eed56","datavalue":{"value":{"entity-type":"item","numeric-id":1200327,"id":"Q1200327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200328$5381FD1B-7A77-4927-AC3E-06F56B4ACC3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bea6cdfa7868be4d1b37d95169d944df5a96c18","datavalue":{"value":{"entity-type":"item","numeric-id":240122,"id":"Q240122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200328$D90757D9-CD31-4A88-A0C7-F0954CF9862C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"38576f39a6df37711cb397d1408ced7e3814cc6e","datavalue":{"value":{"entity-type":"item","numeric-id":62319,"id":"Q62319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200328$B2B7AF5D-A337-4025-805E-9E32AC909357","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be1a65edbb43ce1fc59464f99e70afbd93e8e2a0","datavalue":{"value":{"time":"+1993-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1200328$1E7B4E1A-BB3F-4E96-8994-AF68FA89D10E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"418d4d19aa7c87e33d52e580c9c108a1bc2de096","datavalue":{"value":"90C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1200328$A240C00D-FCF7-432E-B175-CD57A7A8456B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9cf44d503e7d4771a74e60c8b165d38259abcf57","datavalue":{"value":"90B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1200328$F7FA6016-934C-40B3-BDF8-4D88358ADE61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1200328$25A1ED0E-8623-4C83-9A99-B46B73EAE2D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1200328$BEA2DB6F-F18D-48A8-8512-69F02CD72DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"73dccdfb072fb026a86af92d74fe625efeb2b023","datavalue":{"value":"68T35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1200328$6F6842FB-18B5-487D-9BDF-2C078407A19C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"36d142e7ea03446b1d7deb9627eedb9f0297f86a","datavalue":{"value":"90C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1200328$B7562E29-66D0-49C6-8607-0085957E1620","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5456a80764cfcd62a0f265c62509ed279e40e798","datavalue":{"value":"95111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1200328$2DCBC8EE-A19C-4BD6-B6DF-30AC4B82B490","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0db88ff5c02867fd7d91987eab62155b6784eaa8","datavalue":{"value":"Horn satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1200328$503D1C8E-7402-4DAF-B40F-1C82C674FADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ceff8001a2cbc262daf2b21f701fb329020f35f","datavalue":{"value":"flows in hypergraphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1200328$16796F99-F16D-488E-8472-A3EAC8EBFEB3","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":"Q1200328$32CED6DB-377D-4868-AF45-55499BDF612C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"efc02dd393daeba068a538742544af1d01d7236b","datavalue":{"value":{"entity-type":"item","numeric-id":3970696,"id":"Q3970696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200328$7C100EBA-AF12-4C8B-8EA7-AA8723BF4675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47f53683ef323d99def8db920b583feaf053fe0f","datavalue":{"value":{"entity-type":"item","numeric-id":1100931,"id":"Q1100931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200328$5F8B2C84-3B70-4F8C-AA9B-2C09F734AD6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce11e1e393637b43364dcf5961723016218ec9af","datavalue":{"value":{"entity-type":"item","numeric-id":4079613,"id":"Q4079613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200328$5D64CC98-80DD-4EC2-AD6C-485341D8CAFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a73f079fad88596351ff709cf186cec234a2805","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200328$2825CB2F-696E-4FB1-822E-C37939273C49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e55513ac0d8c3a56962aba277d470c4150e1c41d","datavalue":{"value":{"entity-type":"item","numeric-id":1803674,"id":"Q1803674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200328$C7851515-CAAF-4C64-A9EE-420FBD88A074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03cf66c3a2fbd77e7b738cdee624fe0f5e0a3b69","datavalue":{"value":{"entity-type":"item","numeric-id":1802953,"id":"Q1802953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200328$35320099-7566-443A-8CC2-81820ACFE813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"305bba9d4ebed29a518d176364ddf58c71495494","datavalue":{"value":{"entity-type":"item","numeric-id":4018150,"id":"Q4018150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200328$8E31E33D-9E4A-4B49-9026-C936ABE28632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00910816ba034b6655b7a47d13d1206cc1d40ae2","datavalue":{"value":{"entity-type":"item","numeric-id":3735083,"id":"Q3735083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200328$7E4504F1-A4EE-40F4-9D83-A278663BCAEF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"24e048afa4a3227ed12f4a7930331c92833d8869","datavalue":{"value":"https://doi.org/10.1016/0377-2217(92)90267-d","type":"string"},"datatype":"url"},"type":"statement","id":"Q1200328$09493E67-3605-4EFF-BA8A-D6C0FA1BECB4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5c6accf1faac77201ab76bc69a80001f964f0350","datavalue":{"value":"W2087960765","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1200328$6C48A8D5-C13A-4444-A75E-DF80E3917FEB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9ddaed8645eeb72cf87e0821745423c7c38b51d","datavalue":{"value":{"entity-type":"item","numeric-id":4778697,"id":"Q4778697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf676d46282facabfba91fc3eaaba2ba23f54f35","datavalue":{"value":{"amount":"+0.8383845","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":"Q1200328$2949C340-21B2-44FD-A08A-D898E3CEA715","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":"897fcf5989211e35bde99b41268beb9e0f1b43ef","datavalue":{"value":{"amount":"+0.8372674","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":"Q1200328$2AE0153B-184B-43CF-A0CC-10EC48F6409F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3308ddc331360a86200218a2f2380464a2fb5b93","datavalue":{"value":{"entity-type":"item","numeric-id":4291173,"id":"Q4291173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0f94c042373ba2bea65599124d9941d2220899e","datavalue":{"value":{"amount":"+0.83573645","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":"Q1200328$AAE682ED-9A80-40A9-9909-19FAB50E5BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc1af03088246f5f4c72ab2f8211bc68b3eb20e5","datavalue":{"value":{"entity-type":"item","numeric-id":4537508,"id":"Q4537508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"751c4670993e50f7a063c583abcf14ac0e941883","datavalue":{"value":{"amount":"+0.8333678","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":"Q1200328$1275689D-2577-41F9-BF20-9E83FAA9979F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56652ac3025bf5b0d24bdb806de586913c8aa4a9","datavalue":{"value":{"entity-type":"item","numeric-id":5608755,"id":"Q5608755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8175e93c9ed9a2cee222549b1d272e67d067d8b","datavalue":{"value":{"amount":"+0.83178484","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":"Q1200328$AF2DE2E2-C360-41AF-902C-CD4A0A76BD9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"563e2122c77a2c332a73696166f69db54a9a7692","datavalue":{"value":{"entity-type":"item","numeric-id":2835881,"id":"Q2835881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccdbe2eee9914d5fbab8886a23687eff48040aff","datavalue":{"value":{"amount":"+0.82924235","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":"Q1200328$DC80450A-70FE-4360-B7F9-2382FC5D1838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8575c05a0008dc7efb8f34bf405a657a77834a1a","datavalue":{"value":{"entity-type":"item","numeric-id":5756561,"id":"Q5756561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04367d08ffcf90dffde37886598bef33cda8e938","datavalue":{"value":{"amount":"+0.8274926","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":"Q1200328$76066833-4100-4BFB-AD94-462875345B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b55b00969f86fe530faa4e586293fa79f7de7f52","datavalue":{"value":{"entity-type":"item","numeric-id":1575175,"id":"Q1575175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9adf582fa57931eb259dabb4f2f56c39ea9ed0b","datavalue":{"value":{"amount":"+0.82584524","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":"Q1200328$7BF030BA-7D79-42F6-87E4-D79890530622","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sensitivity analysis for Horn formulae","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sensitivity_analysis_for_Horn_formulae"}}}}}