{"entities":{"Q6934065":{"pageid":21107950,"ns":120,"title":"Item:Q6934065","lastrevid":84115172,"modified":"2026-05-10T10:50:51Z","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"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef6b78e3a43af154dcfaa8b0bd39c88fe038551e","datavalue":{"value":{"entity-type":"item","numeric-id":3386971,"id":"Q3386971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934065$B4D93FB8-8EBE-4E6B-8349-571524E22B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b2f63d09d90a5bf13ff4139b137a0854c897345","datavalue":{"value":{"entity-type":"item","numeric-id":3385624,"id":"Q3385624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934065$3214D5F4-0254-4998-8D61-15E3DA1E1850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95c06422fc48205b68882259fb9c43ae64a45824","datavalue":{"value":{"entity-type":"item","numeric-id":5020634,"id":"Q5020634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934065$B3C61E51-6ABE-4C8B-BAAF-B60646D99EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934065$3132B27E-239E-45F8-8E94-8142F156C233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd6515ec1f799ac720199fe647c6907436dd10a7","datavalue":{"value":{"entity-type":"item","numeric-id":4256519,"id":"Q4256519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934065$B9113553-67D2-4C55-8CAF-771B2672EA3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff45fdf3999085344d7032927c89366dffd8a118","datavalue":{"value":{"entity-type":"item","numeric-id":6181925,"id":"Q6181925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934065$DAA6A58B-8098-4009-877B-AF27446EE162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"163216dfc1f07a337d4e9acb72e1d7ba4d2310c5","datavalue":{"value":{"entity-type":"item","numeric-id":6654524,"id":"Q6654524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934065$09AC9D5F-0678-4ABF-82D0-9689C3E5EB10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"632ba73945ea4bac93467775839f31b82ba68fbd","datavalue":{"value":{"entity-type":"item","numeric-id":3190134,"id":"Q3190134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934065$0E3F1F28-BDFA-449F-9903-EA702101FD43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f5a1b23fcfd1cecde1b1c86efcb35bd03b2b321","datavalue":{"value":{"entity-type":"item","numeric-id":308156,"id":"Q308156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934065$3A3E4B53-379C-45B0-B25E-17C4A9C8F455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26096337c4bdb69f9671beead4d3955914fca9f6","datavalue":{"value":{"entity-type":"item","numeric-id":3519509,"id":"Q3519509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934065$17A6F414-35D3-4D49-953F-898B772B977C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3c85435f4ab90cf9c6f0a66fb085815ec7fcfda","datavalue":{"value":{"entity-type":"item","numeric-id":5135836,"id":"Q5135836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934065$25F95D87-2CE8-4F2C-BB16-E6DDEAEA8EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfba7e7e9e0b45cbc7fbfbe2c43fda9696555dbf","datavalue":{"value":{"entity-type":"item","numeric-id":1413648,"id":"Q1413648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934065$277D57DE-7B79-4763-8E38-42601B046C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934065$A9965428-0C1B-4A6D-A36C-BB03A52C3F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddb6227319f22098c0bf5b2b3347e351a05d2a4b","datavalue":{"value":{"entity-type":"item","numeric-id":6645576,"id":"Q6645576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934065$00F57A1D-96D2-4C05-A078-C319C313E8A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ab077cc32b3b3dd27fea3b986d79a2d1191d3a","datavalue":{"value":{"entity-type":"item","numeric-id":2277848,"id":"Q2277848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934065$262745F4-4542-49BA-A4C2-EC55E017A6F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b016e3db755039e61ff453c3ed444a58cc677de","datavalue":{"value":{"entity-type":"item","numeric-id":1318473,"id":"Q1318473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934065$56844C3A-8BE6-42F3-AFC4-22B70A23FB32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73717f3325f0586e383ce376be83451c4cc7ed5f","datavalue":{"value":{"entity-type":"item","numeric-id":5434422,"id":"Q5434422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934065$D99782C5-16ED-4C51-B6F1-9A469191A1A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99a9c6ba23616433034c787e76d12bf12c8b5da2","datavalue":{"value":{"entity-type":"item","numeric-id":4635837,"id":"Q4635837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934065$0B430F91-0A5B-439D-8456-CD30C4FF7766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"588367efaf9e6093ed83f31249a83ecb628d46e3","datavalue":{"value":{"entity-type":"item","numeric-id":5145325,"id":"Q5145325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934065$6078BC80-60B5-4DC5-8049-71E5731175F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d6f79189a096859bca4638182454fc7e284e65","datavalue":{"value":{"entity-type":"item","numeric-id":5145332,"id":"Q5145332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934065$76179DE5-744F-4A66-AEAC-95CFD7C66D8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1529c433a2a4250eea4fc57d7866d5f583b85273","datavalue":{"value":{"entity-type":"item","numeric-id":6563766,"id":"Q6563766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934065$523DE64B-935E-4C7A-8AA3-D8C2DA60F7FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3452fd4291403a5d6bc516467c3fff9813b516d","datavalue":{"value":{"entity-type":"item","numeric-id":2380029,"id":"Q2380029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934065$9AF9E6E5-D6D3-4CF8-879A-501331B4853D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84e332a84de0f250eec45677c35661c582836a6a","datavalue":{"value":{"entity-type":"item","numeric-id":6200526,"id":"Q6200526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934065$487416C3-811B-470D-9E1A-2794CDF47716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbbd0131839a495ad2dbe787f263ad7769da63b1","datavalue":{"value":{"entity-type":"item","numeric-id":305254,"id":"Q305254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934065$A7C08E02-A0E4-4451-8C45-4D390E2F9453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1427f5bd67877182fd0da9f3fc2daa1f4f5dc2bb","datavalue":{"value":{"entity-type":"item","numeric-id":2233427,"id":"Q2233427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934065$87348ABE-6268-499F-91B8-72DD69FE3AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3560cc4279512a542093927dd496e3c6304104b7","datavalue":{"value":{"entity-type":"item","numeric-id":3359758,"id":"Q3359758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934065$1E6A0F58-F8D8-4D87-BCBB-255087FA13A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70536879af054717c0f3d9d913a10e93c328980d","datavalue":{"value":{"entity-type":"item","numeric-id":3853129,"id":"Q3853129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934065$89D7A96D-DE7F-4C14-8828-E1D7D46E19EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baede191b3e13b675f74aed2ac60ba55b6692a98","datavalue":{"value":{"entity-type":"item","numeric-id":6654511,"id":"Q6654511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934065$227C77C4-2F91-4684-AE26-071EA2299584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be11a3aa4d9247ea93169dab581a39fb275d879a","datavalue":{"value":{"entity-type":"item","numeric-id":3385644,"id":"Q3385644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934065$9ED80358-F1DE-4853-BD4E-F086732B7326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5587803abc7612d5a129fb0c35cce80a52d24986","datavalue":{"value":{"entity-type":"item","numeric-id":6113383,"id":"Q6113383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934065$8F81AD25-4DBB-4E07-A4A6-CA9B28765A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64146bc578ff6e2defdb44823a18885f4b90ea4e","datavalue":{"value":{"entity-type":"item","numeric-id":2233432,"id":"Q2233432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934065$9799648E-44B6-4DED-811C-60147BB0C3BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33090222b63f2f3dfa053cbf4113126d2f075511","datavalue":{"value":{"entity-type":"item","numeric-id":3503590,"id":"Q3503590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934065$B6DED5FF-62D5-4B7C-A34A-AD96AD7C2E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84e4b38579944714b51e145c50ef757c55c3fb89","datavalue":{"value":{"entity-type":"item","numeric-id":6645591,"id":"Q6645591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934065$23B868A1-8F7F-4CA2-A9FA-B938ADA00C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"388f23f8d7bc7cbd784a5bc880a0c2af40b7dab3","datavalue":{"value":{"entity-type":"item","numeric-id":5325871,"id":"Q5325871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934065$7CBC8639-7767-4017-A22F-7313DCB0F1B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f65d150098c90690739990f8f34adb6e2d24c36","datavalue":{"value":{"entity-type":"item","numeric-id":5897897,"id":"Q5897897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934065$35300B92-9681-4BD6-9A26-0D0EFB775A3F","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"}}}}}