{"entities":{"Q2995155":{"pageid":3005879,"ns":120,"title":"Item:Q2995155","lastrevid":51230897,"modified":"2026-01-17T08:51:45Z","type":"item","id":"Q2995155","labels":{"en":{"language":"en","value":"Speeding up SAT solver by exploring CNF symmetries: Revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5880442"}},"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":"Q2995155$9CA1DEFD-DD9D-46BE-AF2C-367588176A85","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"27c8574e5cf2d42280f7925b4efcbd09470b8665","datavalue":{"value":"1218.05177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2995155$4B24F027-0D1B-4306-8100-7E3438C86826","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a6b21f4b18f4175dea00ad51d4cb4cfb077a98d","datavalue":{"value":{"entity-type":"item","numeric-id":2995154,"id":"Q2995154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2995155$DF1F817A-9BD5-466A-A1EB-8D75EC04A38F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42a18fa7d0271c0247d4adfeaa502628e4f8c0e6","datavalue":{"value":{"time":"+2011-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2995155$215CA2EE-99AC-43FA-AD5B-926336BF1135","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"749b7137f279a66a306e75e15f613231b281c1c5","datavalue":{"value":"05C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2995155$671671F4-508E-49CA-8B1A-763A7493D106","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d26f8dd4825be8123d7984ace11561a698051c7a","datavalue":{"value":"5880442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2995155$D2475782-CCF8-4A45-9D36-87068ECA6CDE","rank":"normal"}],"P1463":[{"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":"Q2995155$FF6CF5C2-1548-4B12-AC8A-7C103876A723","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":"Q2995155$EB8A354E-44EB-4A5A-9074-2A1305FF7D5C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c8b2a384f669c37c78cf86b76a6aea4722bcda2","datavalue":{"value":{"entity-type":"item","numeric-id":2324209,"id":"Q2324209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c123a264258e477b199124b11fd0a6351a884102","datavalue":{"value":{"amount":"+0.7840566635131836","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":"Q2995155$E5FA52BA-FC9F-4151-AA7A-1E8820E52438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf5a5fbc8bafe19982ecefd6fb459c81bef02fa9","datavalue":{"value":{"entity-type":"item","numeric-id":2818005,"id":"Q2818005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"267a1555b98940e8008f7eee43fa7b757bf9552b","datavalue":{"value":{"amount":"+0.7832030057907104","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":"Q2995155$D38BD4EE-797B-4DF7-8107-B5BCD34E5809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3939d7a3c83b9a1049c013f8948e957bc26d3451","datavalue":{"value":{"entity-type":"item","numeric-id":1037644,"id":"Q1037644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0274f1ac07d77f9a559dd787517ae8dfebe76b5","datavalue":{"value":{"amount":"+0.7785568833351135","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":"Q2995155$60C743A9-F82F-4E3A-BAB9-DAF4F8BC1ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"564123d2907de3bee2b84eeb20223ba694ffece0","datavalue":{"value":{"entity-type":"item","numeric-id":5505539,"id":"Q5505539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6013a1486a171f5bf244567d170cbe32f5b1d57","datavalue":{"value":{"amount":"+0.7685474753379822","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":"Q2995155$D773268E-959F-4A4A-A5AE-0F4CF8C31737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11252ff7015abb597888672e2892684a14073eec","datavalue":{"value":{"entity-type":"item","numeric-id":3454124,"id":"Q3454124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aab5516a87589c38e53c199cd90ad1080f2fde82","datavalue":{"value":{"amount":"+0.7537647485733032","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":"Q2995155$07CA6C0B-3561-4317-B4EC-E417CF60AB51","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2995155","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2995155"}}}}}