{"entities":{"Q6934065":{"pageid":21107950,"ns":120,"title":"Item:Q6934065","lastrevid":75840541,"modified":"2026-04-21T05:40:10Z","type":"item","id":"Q6934065","labels":{"en":{"language":"en","value":"A graphical \\#SAT algorithm for formulae with small clause density"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8089494"}},"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":"Q6934065$A602BF9D-E3EA-42CE-9977-E95D29D73654","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8f142da7feb586c9f9c8f61053a27b64b78d7e14","datavalue":{"value":{"text":"A graphical \\#SAT algorithm for formulae with small clause density","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6934065$41AC6A74-FCDA-464A-9676-E3DC8D80CBB5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e4f881fcaeb01905fbdebcfd9f5feff4ab180ec7","datavalue":{"value":"10.4204/EPTCS.406.7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6934065$8ED85932-BF3A-4D9A-A3F7-C789C312A0D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df0e4496b057e856017522bc0b7084b8eef4f10e","datavalue":{"value":{"entity-type":"item","numeric-id":6200525,"id":"Q6200525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934065$D1C089EB-F517-4C54-808E-C1590128CD73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"854e63e03c2a662b7f6818a240d7bb006dd3f6b4","datavalue":{"value":{"entity-type":"item","numeric-id":4620286,"id":"Q4620286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934065$36147317-475C-452F-B73E-6C6609403ECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de051218d4cd25412f42e11696351d68bcd49464","datavalue":{"value":{"entity-type":"item","numeric-id":2097406,"id":"Q2097406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934065$6B739EFC-5914-4583-8D24-7794B2F2AE44","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50e7e1513349015c9ad9d54964e1d81738fe0b09","datavalue":{"value":{"time":"+2025-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":"Q6934065$0EED6E0A-0E7D-45B4-AD0A-EE65922A0D88","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d49e87838bc3cca1b2ca46cd3cc36550e9683434","datavalue":{"value":"68Q12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6934065$F64973B6-2D54-474A-A9F7-A17976B310C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7af17f227fda8daecc6b4cd26e5d774fa965085f","datavalue":{"value":"81P68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6934065$66D991ED-CC17-4C0B-BA9B-91EB9B564F57","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5135691f48e3538087920aafe246f00fcd280bab","datavalue":{"value":"8089494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6934065$CF6CC60E-9329-4DF7-AF0C-95547E9DA43C","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934065$4AE32CCB-96B2-41B6-98A1-AFA6A674797A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7605d1ccc48fa1e8cd0dd87491e8ae575b0a65fc","datavalue":{"value":"ZH-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6934065$C11B3E4A-BB91-4E05-B3B5-EAC6FFF2F507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95148d87e7f9015b86fb5a9c32f82b14936a9c46","datavalue":{"value":"\\#SAT algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q6934065$E1137644-E92D-417D-80A6-74AA4CD10D02","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":"Q6934065$EE5C0CB3-FEA2-4519-A47E-703A4B1D1803","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A graphical \\SAT algorithm for formulae with small clause density","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_graphical_%5CSAT_algorithm_for_formulae_with_small_clause_density"}}}}}