{"entities":{"Q1854345":{"pageid":1865087,"ns":120,"title":"Item:Q1854345","lastrevid":71504745,"modified":"2026-04-13T22:42:17Z","type":"item","id":"Q1854345","labels":{"en":{"language":"en","value":"A short note on some tractable cases of the satisfiability problem."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1853103"}},"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":"Q1854345$10323989-5FCE-48A7-B852-EEA17D119EAA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e7cb4b722b2d28ead120b32e608bb9138ecdd54","datavalue":{"value":{"text":"A short note on some tractable cases of the satisfiability problem.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1854345$580E9919-0FDA-49C9-B1EC-ECBAFEE0D1DF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ce27a1d05360a32329832c6ac9638179b236c12","datavalue":{"value":"1046.68542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854345$8F5CA71C-4CC0-4C0A-A840-6C5A078ADC47","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cb96374a43f3f14d8cd16b2e37b388cb6e41289","datavalue":{"value":{"entity-type":"item","numeric-id":186236,"id":"Q186236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854345$19FFEDA7-F504-4F1A-9895-8FD6D7F96A0E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854345$D5578863-8717-4F9B-830A-83E719D070FB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a7e8d599a17c373ba2d71fc88b3043673b9f45a","datavalue":{"value":{"time":"+2003-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1854345$A2E1AC74-EFFD-40B6-A554-F4DF930F423A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854345$A55027E3-E887-46D6-AB6C-CD9DD0A18314","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f2ae0354fa625b8324e540e539d4ddf67655ee7","datavalue":{"value":"1853103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854345$2848BB5F-711B-4371-BF90-692F44EF3FE0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4edc983c61d36c1459b56a24ad03d26c05e200eb","datavalue":{"value":"CNF formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854345$3090F003-3B22-414F-87E9-249D515C0262","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":"Q1854345$65057C8D-87C9-42FD-9485-BE186E13BC6E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"43df90dea71f689b9c8ac5a220e5715768efbf16","datavalue":{"value":"https://doi.org/10.1006/inco.2000.2867","type":"string"},"datatype":"url"},"type":"statement","id":"Q1854345$4D91E8A2-755C-455F-B1A1-999ED5E240A6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"64c7b46a434793eddd5e3e36b8f37d44fa0c2435","datavalue":{"value":"W2060398342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854345$B4507104-5E21-4EDA-A878-E9C3B0727DD5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cf035d2fecb7e445991dd16e141f37bab3768a8","datavalue":{"value":{"entity-type":"item","numeric-id":1254112,"id":"Q1254112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854345$82D2EBEF-99B8-4C18-88AE-57ECEE81BC0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d71f2d332360f09a62b7e9e7a47b5aa0286a78e4","datavalue":{"value":{"entity-type":"item","numeric-id":4286227,"id":"Q4286227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854345$85BDFCDD-61F4-4190-90EA-209045A85209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5eacefc5e1c594f98798d4d7c96b5f584d4ce46a","datavalue":{"value":{"entity-type":"item","numeric-id":1337669,"id":"Q1337669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854345$770E711A-823E-445A-B16A-FE77C6AE0E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b89df7c280a99400b8f816e3dc3b2d0d14b612ce","datavalue":{"value":{"entity-type":"item","numeric-id":4302833,"id":"Q4302833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854345$89551AD8-C379-4F29-9D62-B08ED4B57C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c54e968ea0ab80beb7b8d2392690f45dccef249","datavalue":{"value":{"entity-type":"item","numeric-id":4369892,"id":"Q4369892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854345$AE98C0F0-0454-467D-A599-A858EA5762FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a73f079fad88596351ff709cf186cec234a2805","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854345$E53108FA-A6BA-408F-BF02-EDCED3DB0806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ded53a55680cb06cfd9f013a96758fb88368e6af","datavalue":{"value":{"entity-type":"item","numeric-id":4375759,"id":"Q4375759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854345$E0DCDC9D-9260-4C81-B57F-3CC3414DC0CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93080a274c000731f23d3466d9f6aaee25a38e4a","datavalue":{"value":{"entity-type":"item","numeric-id":1841885,"id":"Q1841885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854345$31806B89-67DD-4F73-964D-2920586E2D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea3e59c111d12cf14599d3ca95b269f4dfc54948","datavalue":{"value":{"entity-type":"item","numeric-id":4140416,"id":"Q4140416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854345$FCBC813B-E1C7-4A62-B28B-778E3D819A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"633481678a0836b3846b49aa8db13fb38104e9a2","datavalue":{"value":{"entity-type":"item","numeric-id":1082830,"id":"Q1082830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854345$7BA1457C-FCFC-4A93-BF32-9B59BDB2C482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ff3b564b9966733fb2eba8af126a57bd6d93a22","datavalue":{"value":{"entity-type":"item","numeric-id":673602,"id":"Q673602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854345$0CDAD59B-2A48-43D1-9945-1288A481F522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9542469b115b8c938b2036b2a362fa6b20cdeaf9","datavalue":{"value":{"entity-type":"item","numeric-id":3485885,"id":"Q3485885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854345$D038477A-1552-489F-969C-CD20285B3CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67892797163ff58ab82ce3096e6b7427afe0ba57","datavalue":{"value":{"entity-type":"item","numeric-id":1160629,"id":"Q1160629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854345$536C361E-BD83-4FD7-9F46-77AD0D27D52C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"310e97a29691c8fe4b914e350cb3fd0f90bb642e","datavalue":{"value":{"entity-type":"item","numeric-id":1841892,"id":"Q1841892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854345$86EC012D-9D35-4D2B-A194-786CE7D74E48","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9c119204ba332c898ccc668ae102e481da7eff4b","datavalue":{"value":"10.1006/INCO.2000.2867","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854345$C01E3DF4-E082-4A76-9902-1AC4069A9ED3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A short note on some tractable cases of the satisfiability problem.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_short_note_on_some_tractable_cases_of_the_satisfiability_problem."}}}}}