{"entities":{"Q3864500":{"pageid":5894405,"ns":120,"title":"Item:Q3864500","lastrevid":54551246,"modified":"2026-01-28T10:50:50Z","type":"item","id":"Q3864500","labels":{"en":{"language":"en","value":"Satisfiability problems for propositional calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3666784"}},"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":"Q3864500$46270861-72CD-41F5-AFBB-9F5BEE6BBBFC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad06baf29bb4ed029b5a3d6aa7697a453388814e","datavalue":{"value":{"text":"Satisfiability problems for propositional calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3864500$E2B04CB6-1746-40DE-93CC-2A3409F2D555","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f7a9e72bc7fa800bafa7bbb98786f8b6b746a7c6","datavalue":{"value":"0428.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3864500$C438E1D8-A27D-4D6C-BCFA-8B47EF741917","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"80c0927c68f5e6c04d832e806db3a23a9a4da61e","datavalue":{"value":"10.1007/BF01744287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3864500$FD77D372-FF2A-4E63-AED7-24D89F5BE6CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"377f0577777abeddabd75e3344d5dbc70225d82f","datavalue":{"value":{"entity-type":"item","numeric-id":800914,"id":"Q800914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3864500$E0F40FE3-6130-4DA6-B4B8-06D6617E01A4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5a8d775b0b8ac1723ca563ec42b8bfa391952af8","datavalue":{"value":{"entity-type":"item","numeric-id":3026825,"id":"Q3026825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3864500$B13B3622-7DE0-489E-B553-E51649BC0E45","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3864500$450000C1-1CF2-4251-8545-400AAF2B5993","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3864500$9DCBFA18-A1D8-4ED9-9667-F71D3837055B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3864500$9E2EDF51-1C98-41F1-BA85-FA1D88935476","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e27c721aab664edc928d306f3a97422d5eb0961","datavalue":{"value":"3666784","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3864500$4AF9CA65-8A65-4FC4-9673-5ACE264C7655","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1735fc4d31e1b5314f1c106313f797ebf632da1","datavalue":{"value":"Boolean connectives","type":"string"},"datatype":"string"},"type":"statement","id":"Q3864500$A6E0A70D-5A14-41BF-9BA0-CE9186F4A640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"803c24e874a362fd4802f22349114bcce1d52426","datavalue":{"value":"satisfiability for formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3864500$08DFE0CA-4A0D-4051-BE9B-4C690BFF08A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf1bbad404b660dcc4f7e1f74269a25b269f6b2f","datavalue":{"value":"NP-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3864500$5526AFB3-9E1D-408B-80BD-F81C7C906FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a04bb12255f94c4d7bb5ea5fae4b5e2b7a9b95fa","datavalue":{"value":"polynomial-time satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3864500$8549BD82-FA2C-4D08-B489-AB7EDC235BED","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":"Q3864500$424FE470-D1AB-4406-8F10-054F1DC68863","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3864500$60259910-79FA-4A08-942F-794F3E86D805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81494301ed40478ad47563138f01784b63003971","datavalue":{"value":{"entity-type":"item","numeric-id":4152212,"id":"Q4152212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3864500$EF76C8D1-9112-4A12-B3B8-30BD9DB6E9CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ae41416b3c63fb62fa987b6d8dfe2556eabf311","datavalue":{"value":{"entity-type":"item","numeric-id":5845380,"id":"Q5845380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3864500$065A3B81-B941-4B85-B32C-61652B204E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e759b8ddc389f8b42bb244f19be1adfe6bb34c7","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3864500$1F097C09-8AB0-4F81-B8E6-D878F3682FE8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3864500","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3864500"}}}}}