{"entities":{"Q3502711":{"pageid":5532614,"ns":120,"title":"Item:Q3502711","lastrevid":50365538,"modified":"2026-01-13T21:54:49Z","type":"item","id":"Q3502711","labels":{"en":{"language":"en","value":"A CNF Class Generalizing Exact Linear Formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5279251"}},"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":"Q3502711$615252C3-830F-4B0C-A95A-63C1B941286A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df182ec320847542ab7fd3d8011e71f04a183cd3","datavalue":{"value":{"text":"A CNF Class Generalizing Exact Linear Formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3502711$A6B86090-5BF0-4F22-ABED-77F75FC425E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"725026759112d6ea18ac5fb8fc44803843d57e07","datavalue":{"value":"1138.68550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502711$504C006A-B94F-4BB2-9645-F29377E6AC4B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c3213a1919c36312d9351eee6e397d1c988ac49","datavalue":{"value":"10.1007/978-3-540-79719-7_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502711$96B16FD5-EA6B-4BF2-86CF-B1CB97CB0C11","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffb0466461e16e203e1eebcf15c374dbae0d4e8d","datavalue":{"value":{"entity-type":"item","numeric-id":714019,"id":"Q714019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502711$607B555B-9E41-476B-ADEE-0426E8E04416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a52c13955159b7796643777df723759736e16f2","datavalue":{"value":{"entity-type":"item","numeric-id":714018,"id":"Q714018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502711$C5527BD4-4522-4F92-AEF1-6EAA194A2E57","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"80995fbac304acc1608fa675086cd15277d478ec","datavalue":{"value":{"entity-type":"item","numeric-id":3502686,"id":"Q3502686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502711$E2C2BDFF-7973-4BD1-AAF0-D984B7C9D33B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6183386ae8366a240584c653ce5ca2494433aedb","datavalue":{"value":{"time":"+2008-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3502711$B96E8AD9-37C1-4C7B-91F6-227A62B5D58B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502711$04407472-56B2-4540-9E47-91FAC6CB61AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502711$1BC6DEA9-AEED-47FA-80D9-DFAB79674367","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"74ba7de0b8787489e1c14f9c383aa0560a1b90b8","datavalue":{"value":"5279251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502711$D21F37E4-A5D2-441F-80F8-A5FF0AAF1136","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"564b4e74523d9fa745cedd26cb1ba86eba946365","datavalue":{"value":"CNF satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3502711$0D60D941-5BDA-42A5-B41C-069FFB3A5638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12d5c9f8f019b952f5fde01eb5cd172d3bf81425","datavalue":{"value":"exact linear formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q3502711$E46C53D8-78DB-45B8-BD67-389B6DA41F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63a0b5bbdbffeb2f6d94dda6a7bccbc2173775aa","datavalue":{"value":"hypergraph","type":"string"},"datatype":"string"},"type":"statement","id":"Q3502711$B67D4704-A854-454C-8E78-2537BCDA58AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a6bed626db67ee572013b059f5baea6314a7b06","datavalue":{"value":"fibre-transversal","type":"string"},"datatype":"string"},"type":"statement","id":"Q3502711$DA582670-EB3C-4DA6-99DF-5780A2935549","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0f859dd06a94314027068ececec915be05458420","datavalue":{"value":{"entity-type":"item","numeric-id":23629,"id":"Q23629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502711$D4F929E1-3AAD-4785-835B-E2E181559ED5","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":"Q3502711$BB3A7AC1-F4DD-45BB-A0E3-C5C947E3494F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cdc49b7f6caa468675adf53433606a4b69e87ba3","datavalue":{"value":"https://doi.org/10.1007/978-3-540-79719-7_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q3502711$51279764-1D50-4409-9571-15677A7AA1CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"244314f58d5470e3828397c9ad568720e3bd97c9","datavalue":{"value":"W1485201100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502711$F22E87BE-7A5F-445F-8923-FC9206F6BF9E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cf035d2fecb7e445991dd16e141f37bab3768a8","datavalue":{"value":{"entity-type":"item","numeric-id":1254112,"id":"Q1254112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502711$99ABB621-1C60-4C0D-9968-10FF0154DD65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b92ec7a90e8465eab11346e076fe94e95b5c1d6c","datavalue":{"value":{"entity-type":"item","numeric-id":3993087,"id":"Q3993087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502711$F4540F9E-4A86-4355-8E99-6922EBE2FAB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c88b6cc73c03c7f6e59b9df82ee73d81dfba54a","datavalue":{"value":{"entity-type":"item","numeric-id":1356205,"id":"Q1356205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502711$073B398E-0D8F-4175-87C1-11D7BD977F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5eacefc5e1c594f98798d4d7c96b5f584d4ce46a","datavalue":{"value":{"entity-type":"item","numeric-id":1337669,"id":"Q1337669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502711$A2A74258-8841-4B7A-AADC-39BAB97040E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb7cdf78065d162ec62bce90012feb1427556f74","datavalue":{"value":{"entity-type":"item","numeric-id":1861558,"id":"Q1861558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502711$734366A4-6B20-4DB5-A102-F72481259839","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":"Q3502711$5EC1EBE3-5C20-4946-9E76-A8482AF24DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b5fa8fb11c78aae21b2eb5b72be3dfa58615b97","datavalue":{"value":{"entity-type":"item","numeric-id":4037693,"id":"Q4037693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502711$7939274E-3F3B-4988-9187-BFE7BD25B3F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b396e412145b289a0f2d560cd4986a112360175","datavalue":{"value":{"entity-type":"item","numeric-id":582905,"id":"Q582905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502711$7327AF45-3616-4B47-8C79-D1B1B04A2562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea3e59c111d12cf14599d3ca95b269f4dfc54948","datavalue":{"value":{"entity-type":"item","numeric-id":4140416,"id":"Q4140416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502711$C551DC7A-63A2-4C71-95A8-10AE7F93AFE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"608f85c99c321358adbffe61ad0596cc0587b9cd","datavalue":{"value":{"entity-type":"item","numeric-id":1111776,"id":"Q1111776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502711$2236831E-6AD3-4DDD-AA13-E5947F73F0A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"633481678a0836b3846b49aa8db13fb38104e9a2","datavalue":{"value":{"entity-type":"item","numeric-id":1082830,"id":"Q1082830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502711$87B3EA1C-EC63-4B22-AF07-61843E1AEEE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"307e4c636666de3b466eabbb202518158238bffb","datavalue":{"value":{"entity-type":"item","numeric-id":5385533,"id":"Q5385533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502711$99BFA29E-ECF0-401B-A35B-2D54BB789D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aa32a44166d42f4bd1de0aa45682819f58891a8","datavalue":{"value":{"entity-type":"item","numeric-id":997066,"id":"Q997066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502711$A7259D18-2E49-4BA4-92C4-27B82CCDBA1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2a70e9ed46396448c69b28847b73a3a979049cb","datavalue":{"value":{"entity-type":"item","numeric-id":5756579,"id":"Q5756579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502711$808BE1BD-B61B-438A-990C-D260E3778021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e759b8ddc389f8b42bb244f19be1adfe6bb34c7","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502711$AFF0F24A-9C7D-4300-A621-1EF801B313EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ff3b564b9966733fb2eba8af126a57bd6d93a22","datavalue":{"value":{"entity-type":"item","numeric-id":673602,"id":"Q673602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502711$20F55F6F-4959-41CE-BF11-E2C8CEC35B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d50041fd827b9a880db5475227f379529c471731","datavalue":{"value":{"entity-type":"item","numeric-id":790612,"id":"Q790612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502711$38832A2C-2DED-43F4-8D62-3AE4BBA88811","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2ff08348939af19c27d13b9c27d2cf56116bb12","datavalue":{"value":{"entity-type":"item","numeric-id":5756579,"id":"Q5756579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"114b88c1eb2b06c9a8d6f62d166f257735934d4d","datavalue":{"value":{"amount":"+0.8321061134338379","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":"Q3502711$9F58ECCE-01CB-4B8A-A4FF-8B7BA2384EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74ef019ff45542b2e9fb9aab563a2f0f87e7c660","datavalue":{"value":{"entity-type":"item","numeric-id":3599093,"id":"Q3599093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6df0c2961699edb42487853f9f1e624ae518ac4","datavalue":{"value":{"amount":"+0.7917527556419373","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":"Q3502711$D69DC13C-4FFB-44BF-AEDB-F77D76D2A39B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af19ccdef1e99b8edba00a8411399340c3366375","datavalue":{"value":{"entity-type":"item","numeric-id":1028433,"id":"Q1028433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80d03ff4371c17e0678fd2de5bac45c64ee7b0bd","datavalue":{"value":{"amount":"+0.7769468426704407","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":"Q3502711$59B02920-9569-4B04-947C-4FDCB0BE3995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f41ab37df3ce98679c6ef9a156ba85d80e3c9302","datavalue":{"value":{"entity-type":"item","numeric-id":2440094,"id":"Q2440094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d240e9ede02f15c40bad61fdaa051f0bdedbbf79","datavalue":{"value":{"amount":"+0.7769194841384888","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":"Q3502711$F58A71CF-0B50-4B41-99D1-B545FEFC8FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41851dbd9d8df884799c51766bd11828e498f3c3","datavalue":{"value":{"entity-type":"item","numeric-id":1627839,"id":"Q1627839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28258c2895cd1291f04adb00ec2a8be2f7f9088d","datavalue":{"value":{"amount":"+0.7658179402351379","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":"Q3502711$966F2DF3-52C9-480F-AC47-1AA6EFF09253","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3502711","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3502711"}}}}}