{"entities":{"Q5758133":{"pageid":7787684,"ns":120,"title":"Item:Q5758133","lastrevid":50155007,"modified":"2026-01-13T07:08:23Z","type":"item","id":"Q5758133","labels":{"en":{"language":"en","value":"A Gr\u00f6bner Basis Approach to CNF-Formulae Preprocessing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5185806"}},"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":"Q5758133$6C756A44-9495-4AD9-B0E5-B378497F7EB2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"477f02314898a63d3b827cbcafb5370e2fbd157a","datavalue":{"value":{"text":"A Gr\u00f6bner Basis Approach to CNF-Formulae Preprocessing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5758133$3311AEA3-7AE7-40A1-AF2A-487B9CB0B59A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"065c5c4a77ea40f7586866a5e4fa294173a9c957","datavalue":{"value":"1186.68576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758133$B9497223-5BF1-40D5-A4F1-5B2F0288F814","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e85cb13b221cf5a8108d218725a940feb63e258e","datavalue":{"value":"10.1007/978-3-540-71209-1_48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758133$880BD986-4E99-48AC-A8CD-7B2F2F3C8A8A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"28de8b1bb9dc35998f46734c23ca438dbd67d3cb","datavalue":{"value":{"entity-type":"item","numeric-id":5758132,"id":"Q5758132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758133$3A599C96-FC98-4DAB-8BF0-A4E26C5C188E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30eefc04a71fcf567ed5ddd69b5180f5084ceacb","datavalue":{"value":{"entity-type":"item","numeric-id":5713734,"id":"Q5713734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758133$57E27B50-1869-4D46-AC02-F95D666244CD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758133$766554D8-0457-40FC-A74A-0A091ED98396","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d4ccb5809271d2f0bf96f65b85084aa847fe92ef","datavalue":{"value":{"time":"+2007-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5758133$592C7B26-4791-46F8-A141-EF76603F669D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758133$1804E240-5684-4203-9A99-4BAD6380EDFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758133$F6AD5549-834E-4BAB-B836-2947B7AA2724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758133$6380D955-D8B4-4581-B4F3-D2F0859BCFFD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c0d5dc7a080fcc327310cb25feaabe34a9be6ad","datavalue":{"value":"5185806","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758133$3B586E75-941B-4CD7-87F5-EA4A93065F41","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758133$CE293BEE-B201-467B-ACB1-2923EA987D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b029c35ffabe60b7d29584a6d40b4cb278ba542d","datavalue":{"value":{"entity-type":"item","numeric-id":18983,"id":"Q18983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758133$F6F39511-8EF9-48E7-A8F5-07BA4837925D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cc87be0dd022e5665e0c2cfd60b320be87befea5","datavalue":{"value":{"entity-type":"item","numeric-id":19021,"id":"Q19021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758133$63EA790C-42E0-4208-B235-0D1BFC14DEA7","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":"Q5758133$EB4F9355-86E2-4FF3-9882-7540AC1E8A29","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"986691c28f62a4e1f08ee5fca506fecf5cadf8b2","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71209-1_48","type":"string"},"datatype":"url"},"type":"statement","id":"Q5758133$88405DF4-02A6-4208-B8B2-635F0F1CE1E0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6cfc8ac39c30d219b25a58caf360e289612e66b1","datavalue":{"value":"W2040865792","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758133$B605AF9D-BADB-4EF6-8128-A40409F6B95D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94121e2b99edf03838a28b48c6e427008e41aa5c","datavalue":{"value":{"entity-type":"item","numeric-id":5175309,"id":"Q5175309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e62b413612fb2fc7ea6287fbd11a3262fdf31094","datavalue":{"value":{"amount":"+0.7969633936882019","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":"Q5758133$C5A5DE71-546D-4106-BC31-56171460C3A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e9e0c030e8dbc614e4322a184d68187bdd818b5","datavalue":{"value":{"entity-type":"item","numeric-id":3587716,"id":"Q3587716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f87a818ebb225877fc580bdaf1017246730221a","datavalue":{"value":{"amount":"+0.7892516255378723","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":"Q5758133$70DC8D3E-BC8D-4CF1-A03D-9F8C6FEC4FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3989eb108cf7ae0236bb32e40bbe73f427df0511","datavalue":{"value":{"entity-type":"item","numeric-id":5713748,"id":"Q5713748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4308f45e196dbb29ca0ae080ca5a186f7365b0ac","datavalue":{"value":{"amount":"+0.7864634394645691","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":"Q5758133$736200FD-AC60-4C9A-9469-3921F3E085EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9488133a51a9327b54a45bbeb6383afa794c761","datavalue":{"value":{"entity-type":"item","numeric-id":5325873,"id":"Q5325873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36bb54b7b493f72677c1e7b416bedbeb18d16468","datavalue":{"value":{"amount":"+0.7575621008872986","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":"Q5758133$7BD815AD-CBB7-4514-B4A2-EC8051A1543E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7464073d8b5c768036ea7deb6906b1eda0d553fc","datavalue":{"value":{"entity-type":"item","numeric-id":5146180,"id":"Q5146180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24b06ce63173fef2802617cb516ace3d9e9e3b7d","datavalue":{"value":{"amount":"+0.7561636567115784","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":"Q5758133$F18F9169-05DD-4D41-A3D9-9D0663C4E6D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5758133","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5758133"}}}}}