{"entities":{"Q3612464":{"pageid":5642370,"ns":120,"title":"Item:Q3612464","lastrevid":50601068,"modified":"2026-01-14T12:59:08Z","type":"item","id":"Q3612464","labels":{"en":{"language":"en","value":"Formalizing Dangerous SAT Encodings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5527206"}},"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":"Q3612464$EF792A75-4BC2-4E50-8634-CE418B01647F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9df3b4ecd8018edd0096968340e32a3016e85096","datavalue":{"value":{"text":"Formalizing Dangerous SAT Encodings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3612464$DC0A2DFB-9D22-4E35-8176-FAB35ED48803","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a0ce39a8e2e3f3f7ed7a775a20574c21e5dbf86a","datavalue":{"value":"1214.68177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612464$E6C37B8F-F884-44AA-AF4E-65841C57BE07","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8b742a97bb793f249c874239730243a9aa5c6a9","datavalue":{"value":"10.1007/978-3-540-72788-0_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612464$5064BE01-6776-4B15-ACAD-0A87247B7A83","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1652c8bb416b15390eaca5503d28dbde48b415d","datavalue":{"value":{"entity-type":"item","numeric-id":3181649,"id":"Q3181649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612464$1E47C48D-A01A-4FC2-8B60-F6B6DD0CDCA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a554ed3fe49e67414dc2e62b4548db66c1ac706b","datavalue":{"value":{"entity-type":"item","numeric-id":3068645,"id":"Q3068645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612464$D2C4665D-21FB-4A1D-B7F4-86BF270C1303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffd6a40ad54574dfdc72407e5223fefee18b3ec7","datavalue":{"value":{"entity-type":"item","numeric-id":647404,"id":"Q647404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612464$28905D09-9204-49A6-9012-B45FD55249AD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3efd11b40e1cc120a7f890fafbe829ad3d505a77","datavalue":{"value":{"entity-type":"item","numeric-id":3612451,"id":"Q3612451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612464$37E05064-78D7-4BC2-9760-4329D8FA4AF7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a78c90783bcf9fdd01d3c043b3bd0817808259e2","datavalue":{"value":{"time":"+2009-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3612464$F730DEA9-A59F-494E-BADA-52820FD9572E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612464$0DB0CC6B-B9C5-47B7-B4D7-68D592B767B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612464$A7702AE8-11AF-42FB-8A3D-CF975677A981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612464$75F3CF21-C440-49C7-A6EB-7C97398939A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612464$38C74EFC-4D95-4561-9FB7-2405FF722D94","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55a2fcb345d17042a2b48ceb00c45265a49943c9","datavalue":{"value":"5527206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612464$ACDC1FAA-56DC-4763-B02E-C0B014021884","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":"Q3612464$CAE3AF13-D395-4B27-9853-49642D823812","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"20dd6c092d40f5b7521e708ff0441a82ff858e56","datavalue":{"value":"https://doi.org/10.1007/978-3-540-72788-0_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q3612464$98B144EA-8CF1-45C1-BFD6-2C824CD2BA7B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bc8bb59bea28fbfebeb237484dbcb9b0d398c7ea","datavalue":{"value":"W1570066695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612464$F7FEFF6C-4BEA-4F5C-8D81-7D476CB77F02","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4c8c327398d959004228f395e447bee5e70bf74","datavalue":{"value":{"entity-type":"item","numeric-id":2796076,"id":"Q2796076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32ff2bbc392bd001820bdb2b9ea48ed39825126a","datavalue":{"value":{"amount":"+0.7834797501564026","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":"Q3612464$1BDF0CC6-99CF-46A2-B8BB-CB3D49A30B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83481197aa19174c53be9966d2d4aeadd34094f6","datavalue":{"value":{"entity-type":"item","numeric-id":3523075,"id":"Q3523075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3ca555372b5a0c05328a7c7b0dad7f9e2049fc5","datavalue":{"value":{"amount":"+0.7653381824493408","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":"Q3612464$9869E9B7-DDF2-48ED-B9B6-B293E54BB440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"977ed6cd5f2dc4e72e78bec0b7f75e4fbd1bab4b","datavalue":{"value":{"entity-type":"item","numeric-id":2751040,"id":"Q2751040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a8ec3a1361e1b7f6d2aa91a43d280a294ae60f7","datavalue":{"value":{"amount":"+0.7484091520309448","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":"Q3612464$6B9085F2-E008-4054-A03F-B98C05736E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f814dc18bf66d1717a42d57c733b9a8250bc24e","datavalue":{"value":{"entity-type":"item","numeric-id":1977757,"id":"Q1977757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a8ec3a1361e1b7f6d2aa91a43d280a294ae60f7","datavalue":{"value":{"amount":"+0.7484091520309448","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":"Q3612464$40ABBEF0-935D-49A1-BB77-B5C6176ACB5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57e172c783b3c5385b6fae5a70a5a39ed89bd96a","datavalue":{"value":{"entity-type":"item","numeric-id":3612453,"id":"Q3612453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9a1a854f4f607a36e0df4072d2b0f19000ba8c5","datavalue":{"value":{"amount":"+0.7480095028877258","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":"Q3612464$AFD8A9D4-1680-4983-B639-DDC81129E6BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3612464","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3612464"}}}}}