{"entities":{"Q5756562":{"pageid":7786113,"ns":120,"title":"Item:Q5756562","lastrevid":50157692,"modified":"2026-01-13T07:24:40Z","type":"item","id":"Q5756562","labels":{"en":{"language":"en","value":"Extended Resolution Proofs for Symbolic SAT Solving with Quantification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187219"}},"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":"Q5756562$B8500789-5199-4394-9D84-6BF0E6DE2218","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7dc688bb88cf01a364155cdbbabd796a1288ed40","datavalue":{"value":{"text":"Extended Resolution Proofs for Symbolic SAT Solving with Quantification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5756562$392815F9-44EB-446B-AAFE-BCEE7FE76D3D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7762bbc9a648eca7b8c3d4e7d9abceed564c9b30","datavalue":{"value":"1187.68550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756562$C4468FB8-61E0-47D9-B734-7C1A1768085A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef8e7c0a08f0e50ceee4df5a580d4088e16eca2d","datavalue":{"value":"10.1007/11814948_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756562$31D61A45-1D5D-40FF-BD01-D1B3FAE808BC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"afbe2a40c65b7812f7238e1bb93138982186b954","datavalue":{"value":{"entity-type":"item","numeric-id":2845507,"id":"Q2845507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756562$CC033A28-2B28-48A0-8F8C-910607AD23A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e10bf65e5a4274c744e96c2490ec0f51941a808","datavalue":{"value":{"entity-type":"item","numeric-id":334794,"id":"Q334794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756562$9864979B-59D5-434C-AA0E-895F8C13AF5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"396db362b8f5a55e9aac7b42eacb07e40796d942","datavalue":{"value":{"entity-type":"item","numeric-id":209458,"id":"Q209458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756562$80EDE568-C39B-4045-811A-6E85C2067BD4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756562$223F9B04-1500-4095-AD46-1ABFF3AC37DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"425e48b9986b227b93d91ab0854d5e88273c1020","datavalue":{"value":{"time":"+2007-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5756562$842930CC-2C3D-4229-9A8F-BA4D456ED6BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756562$A0A306AE-7093-4D22-BD5D-7E1B66DFF1AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756562$0F0C6B76-A61A-4882-97AC-03E746A54520","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d9f1e2c0814966e3cc4b199b5c8c8cb6005131ab","datavalue":{"value":"5187219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756562$F056E35E-B3F5-4365-BF5A-5A48E008DC62","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756562$E47177C1-CB2E-4980-8086-9B898DE048D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"656dcb3eb788c3316c4e3a6808f3e7a570544894","datavalue":{"value":{"entity-type":"item","numeric-id":13575,"id":"Q13575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756562$FB62D3BE-F691-471D-A8F7-108296C25314","rank":"normal"},{"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":"Q5756562$0CB09E08-99CA-4D6C-8CF0-E43323ADE495","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":"Q5756562$F70509C3-CA7A-4CF4-A164-95977D6222A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7670c1e69038094257a7fc4279dcbbf8d01775a7","datavalue":{"value":{"entity-type":"item","numeric-id":25287,"id":"Q25287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756562$34E5AA74-5F8A-4EB9-A679-785B85ECE553","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":"Q5756562$AAC91889-F398-4D86-947C-218ACA4D420C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7b6a7088a34e93f326d008eb52d85568fa610688","datavalue":{"value":"https://doi.org/10.1007/11814948_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q5756562$648FB509-AA74-4F0F-AC63-CB38CFAF331E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1202a0e6c0798cdcadfa5b7d3537a9fa8d88c4bd","datavalue":{"value":"W1720224351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756562$ECA4E359-75C3-4E91-BCC3-4A83DC2E57B9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c6b71d42a3a8ceb471b63787d9b0915812405e8","datavalue":{"value":{"entity-type":"item","numeric-id":2044191,"id":"Q2044191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09ea560a40f98ce762a9455cbad857d78a9b2f08","datavalue":{"value":{"amount":"+0.8452883362770081","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":"Q5756562$92E207B2-A5F8-429E-A373-0546823203F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86572fb6fb3c840ab9b63220bf0ccf1b10386756","datavalue":{"value":{"entity-type":"item","numeric-id":3434726,"id":"Q3434726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbe417d0a421ad3ccf7249b277ee02bc6036a298","datavalue":{"value":{"amount":"+0.8160769939422607","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":"Q5756562$3A7D0C38-AAF0-4406-AB02-62CCB0651F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"469482f8c1442593e77f539320e4f40dc3c266e9","datavalue":{"value":{"entity-type":"item","numeric-id":862403,"id":"Q862403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf16bb0fbee5bb89cac32d60ab613853a177e0f0","datavalue":{"value":{"amount":"+0.7760136723518372","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":"Q5756562$F63397A2-D3DA-46BA-A067-0FEFB97FB675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bf86346218d91a2909d6e4b8ab510804fe2b90b","datavalue":{"value":{"entity-type":"item","numeric-id":5714754,"id":"Q5714754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2544abae9812bf6ac41601bad9288253afd19808","datavalue":{"value":{"amount":"+0.7591137290000916","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":"Q5756562$4A789D56-AC1A-4A4C-9153-3DF4AE2758AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83cc427116e8e5de07b05e44314d4af2dec7739b","datavalue":{"value":{"entity-type":"item","numeric-id":5900311,"id":"Q5900311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96f696c15402c64e8ce2917e5cc6c855dfcf1155","datavalue":{"value":{"amount":"+0.7507988214492798","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":"Q5756562$E9CDDD76-B494-4DD4-9C63-E230AC6CAEF0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5756562","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5756562"}}}}}