{"entities":{"Q5313698":{"pageid":7343272,"ns":120,"title":"Item:Q5313698","lastrevid":48541810,"modified":"2026-01-05T04:07:35Z","type":"item","id":"Q5313698","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2201270"}},"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":"Q5313698$1C20C7CF-06D9-4535-9775-039BA18D9CD9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be42b65c29ca332bc9cf08cd68b697e3578aa62d","datavalue":{"value":"1070.03505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5313698$4CCBF4A6-859D-40CF-9FFC-1125AE188DAC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"585f98265f5c4948a09eec5bddc6081350115d55","datavalue":{"value":{"time":"+2005-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5313698$08825442-77CC-499A-AF44-129FC66F0621","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5313698$FAB21F62-64FD-4CD0-B034-859F93340CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5313698$6B901DA5-886F-4A15-B247-90C610DC5CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5313698$4BA648CF-CF2C-4C19-BD16-CF4B286CCBE1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7201845111a03489865c4d7d6571e7b5f3a288d8","datavalue":{"value":"2201270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5313698$D454ED60-DCF2-4A17-BDD1-7544B5EDF4DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18d8f688b70394687166760b1afc559bb4c46c24","datavalue":{"value":"reduction algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q5313698$7E847571-C445-4B62-B05D-C71FFBA66C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"828e479c39c5c64293eb95e0403dbef7bbf79066","datavalue":{"value":"conjunctive normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q5313698$44355532-B465-4BCB-946B-496664109EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7390a4ff52dd86c09e8b932f6a2cb9f6017e2b1","datavalue":{"value":"minimal unsatisfiable formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q5313698$35DE8999-2D9E-41FB-BEF9-88555643657B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"13dd440e0187bba628967c3c9f84f53fb7a54075","datavalue":{"value":{"entity-type":"item","numeric-id":933100,"id":"Q933100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5313698$CE501A01-076C-4B9C-A7BC-445BE25D0239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d1cfac4fcc4acbf6b4ed2adbfa6f6821da971d1","datavalue":{"value":{"entity-type":"item","numeric-id":1040958,"id":"Q1040958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5313698$B94451BB-41D0-4490-AB27-63F3BCE493E8","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":"Q5313698$4229A6F7-8DC1-4A7D-A781-8A6147EA1F46","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b496d73cc71f03723d822ff7533eb9713f4da25","datavalue":{"value":{"entity-type":"item","numeric-id":5473177,"id":"Q5473177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0a9ca7e6ccaa50cd90cf0374153cc1635ea241e","datavalue":{"value":{"amount":"+0.824593722820282","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":"Q5313698$38194D93-0766-40C3-A358-E4BAF2371D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ae02f1045f7565e768e0af18e78dc11abf32c96","datavalue":{"value":{"entity-type":"item","numeric-id":1277336,"id":"Q1277336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25b27126868d99532f27c6b6ea8af8687ee585c7","datavalue":{"value":{"amount":"+0.7943912744522095","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":"Q5313698$C6FE55AF-0ABE-403C-AB02-6D628209D963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e46b9d50bd05642ead4f78dd5455c8bbbb978580","datavalue":{"value":{"entity-type":"item","numeric-id":1961649,"id":"Q1961649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acec55e63779075bd7558566a9baec406f2c1f6a","datavalue":{"value":{"amount":"+0.7588194608688354","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":"Q5313698$5BA70D4E-9F56-40C7-AA6C-E0B51083B6C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e089e8fb29d2427668e456ab5a32cb854dc36acb","datavalue":{"value":{"entity-type":"item","numeric-id":4351797,"id":"Q4351797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77cb3dcf93fac75839b64a1305231f0b5aa802d8","datavalue":{"value":{"amount":"+0.7523306608200073","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":"Q5313698$90417468-F9C4-4F63-8402-7CC374476C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8ecb93b794022b0047bafb37df1c9cc3623ea6d","datavalue":{"value":{"entity-type":"item","numeric-id":1853126,"id":"Q1853126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69b7ca6b9433d3d9c14c014624b5cbaaad40b868","datavalue":{"value":{"amount":"+0.7521862387657166","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":"Q5313698$F2D1EF51-8F8A-4DED-AC2C-34C810ABDE4D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5313698","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5313698"}}}}}