{"entities":{"Q4699307":{"pageid":6728884,"ns":120,"title":"Item:Q4699307","lastrevid":46819449,"modified":"2025-12-25T16:03:13Z","type":"item","id":"Q4699307","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1361489"}},"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":"Q4699307$9234D143-F2AA-4AF0-A08B-98BE762D33AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d3cba09a1a590af82f1949fccafd21df94ae029","datavalue":{"value":"0935.03067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4699307$78703B97-3539-466E-8574-AD14F0EEFE89","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ba4ec8312668052ec347cca58ac79b3f437a67a0","datavalue":{"value":{"time":"+2000-02-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":"Q4699307$E829F692-DF80-48A7-AD18-DAD1CA09125E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4699307$CBCAA015-4E92-4C52-B40C-2C0C25433F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4699307$E4CFDE04-E0C6-48FF-B949-0ADC1F4218AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4699307$FD7E5273-4EE4-4FDC-A89B-21D5F25744BB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea30ec7729eacba72a8565510eee8af3f9639c52","datavalue":{"value":"1361489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4699307$05B1FAFE-D6BC-413E-ABE7-5AEC076ACA59","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e1dc441b5ea0aaa8f6ab0f51b27d09e05b324ac","datavalue":{"value":"finding a shortest resolution proof for a CNF formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q4699307$23138911-78E6-4D85-BD3E-4BDEB4B99836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4699307$A2A99CB8-3936-4F47-983E-23EF91AF5BC8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78a21800a31795763583b54b40324d17bf6c6658","datavalue":{"value":{"entity-type":"item","numeric-id":261377,"id":"Q261377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4699307$136FF9DE-A465-460E-A6DE-7FFF4718D502","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":"Q4699307$CBBDDDC7-4428-41A5-BB03-171C59713AFE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9ca9f29a18283b75d2a8708f9db9118fdc42729","datavalue":{"value":{"entity-type":"item","numeric-id":4218098,"id":"Q4218098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c61c71e16b7815e7b8fec64ce18e56f4f5f661d4","datavalue":{"value":{"amount":"+0.8143867254257202","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":"Q4699307$53369E87-F2AB-493A-9E2A-E0AFC0CEA27D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bab55daa23f01302987ce4dbcd938d0bcf89500","datavalue":{"value":{"entity-type":"item","numeric-id":5133983,"id":"Q5133983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a4c6fbb36438a6edfeae8bddd39faed2962ab03","datavalue":{"value":{"amount":"+0.792659342288971","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":"Q4699307$18D45FB0-A9C9-4F9A-B6D2-30D8BA6F6138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b32e7a9e01b989bfdf28f2ed7464973191ba376","datavalue":{"value":{"entity-type":"item","numeric-id":2732273,"id":"Q2732273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"537ea5aec9cff5bf3878282815bfa30649d9a902","datavalue":{"value":{"amount":"+0.7808815240859985","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":"Q4699307$95F82A37-6084-461F-911E-1A2D9E6553DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f565a95c5814e31f578e2b603a40ba754e109b4","datavalue":{"value":{"entity-type":"item","numeric-id":4938653,"id":"Q4938653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7936cddb387a50656584ecde2aefb8a633a3c8b","datavalue":{"value":{"amount":"+0.7727402448654175","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":"Q4699307$FC4AB8C1-A617-484D-A35E-1F7343249142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c753af4cd3f62258c428430ac7d20fb4d480877a","datavalue":{"value":{"entity-type":"item","numeric-id":4417352,"id":"Q4417352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed4a2f5c266cffc6b0203125f8693a33ce9b289b","datavalue":{"value":{"amount":"+0.7701124548912048","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":"Q4699307$0E760F42-8336-41CB-886A-40BA2B730909","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4699307","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4699307"}}}}}