{"entities":{"Q2817998":{"pageid":2828736,"ns":120,"title":"Item:Q2817998","lastrevid":79746230,"modified":"2026-05-06T14:37:08Z","type":"item","id":"Q2817998","labels":{"en":{"language":"en","value":"Satisfiability via smooth pictures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6623502"}},"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":"Q2817998$BDDD6D27-AA16-4E74-918C-D11AF6996BE3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c2a45964eedbe79bd4dbd8b387372db797ac5b06","datavalue":{"value":{"text":"Satisfiability via Smooth Pictures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2817998$AD2DFFED-AD47-4FBC-838D-ED866EF714A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c69160d60bbb44264b89767d03ef22e36283c8f1","datavalue":{"value":"1475.68137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817998$9212D13B-5F54-4ED0-9F0B-87A7581039CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a685cdb002e387c1173ae7b4fed87ae3aa16d494","datavalue":{"value":"10.1007/978-3-319-40970-2_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817998$E502B026-5D29-4092-80ED-B2818DBC102A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc0bfdfddc4bf485b2a98144122fa8a6b8382026","datavalue":{"value":{"entity-type":"item","numeric-id":266805,"id":"Q266805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817998$3CC25F07-18A8-4747-A618-8C84C7BDA91E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0c83d828fab67264ee3effdcbdeab1b4c818c4e9","datavalue":{"value":{"entity-type":"item","numeric-id":2817996,"id":"Q2817996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817998$DE68791E-0024-410B-A9EC-9025B8B5F303","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c42ad213f9b7f39d3e9ee142840c36c28e5864b9","datavalue":{"value":{"time":"+2016-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2817998$D2354351-878D-4ED9-81D3-FF2B9292266E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817998$F04A823D-56FB-4422-91C2-240DA90BFC19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817998$BB0A8966-4CF1-4DB6-A35F-027A1FCE1A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817998$6E4CDD84-FD4D-4B04-AEC4-7B49E87DAE24","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c34f447a193314e624e1c251185ed161537094f8","datavalue":{"value":"6623502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817998$3FC61C0D-08FA-4D5E-B758-5BBBC592F38D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"722463689b8bb98612d59260450d403783109789","datavalue":{"value":"smooth pictures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2817998$1DDEB9CE-A68A-40F3-92E5-664E3BC54D38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdaca7031bccade0a62125633c18bdf432343191","datavalue":{"value":"bounded Frege proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2817998$D3AC1670-05FE-4BF9-AA2A-09BAD5346F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b8e7d033342c99b72c744e65e5d3e8084428c65","datavalue":{"value":"pigeonhole principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2817998$B3E00CFB-C112-4882-BC39-8A2E2452D411","rank":"normal"}],"P1463":[{"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":"Q2817998$74D79DEB-BBDD-42FD-8F3B-50BA547B19DF","rank":"normal"},{"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":"Q2817998$0394499C-8F96-46E1-A237-80EB4A61F540","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":"Q2817998$6C91B064-C318-4BBE-B285-F3B3C8A409F5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ffd4dc645d3cc05656070e8d7ea6b9740814a157","datavalue":{"value":"https://doi.org/10.1007/978-3-319-40970-2_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2817998$46B4ECFC-B5A1-4F07-AA4A-1DA85BF25F9D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"22a38bfcb8b6fffd900d70693abbb1b89c34acd5","datavalue":{"value":"W2484413349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817998$49D08A23-5B15-4D73-8873-0989EFF33B26","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"652707f3c517fc0bc45fb7ef7e533228515c0c0d","datavalue":{"value":{"entity-type":"item","numeric-id":5715680,"id":"Q5715680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817998$97C4EACB-EC8E-4ACC-ADBA-65FCAB3F47E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5035ead90ebf2e92af4cb88fdfc91c7dfa88c06a","datavalue":{"value":{"entity-type":"item","numeric-id":920967,"id":"Q920967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817998$B610218C-D80F-48A9-82A6-9FCF0F4762C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae8e8c7e4d2f66af1d6d76f2c025c2520cd9b217","datavalue":{"value":{"entity-type":"item","numeric-id":3623009,"id":"Q3623009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817998$0A996CF6-A863-42AB-97EE-A770C22C7C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74d13ca5ad3d00d0692b2dd92731ed38461178c7","datavalue":{"value":{"entity-type":"item","numeric-id":2490811,"id":"Q2490811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817998$F4AB3B22-5FB6-4EB4-92E8-CB70E3A8AE5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817998$EF3CDD35-B07F-42B3-8E86-E7885C1C8700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817998$D41B0C12-0E88-4761-A183-080472315C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef8c419bcf789dc1b6fdd119c7edb40a5a02ab30","datavalue":{"value":{"entity-type":"item","numeric-id":3086926,"id":"Q3086926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817998$AFDA3014-B7A7-4CF3-A831-888214217E24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817998$06D79E79-4B28-430B-AF74-755310AA4036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2dd460d2d90b2f1b9c47722424fa04fc5eb56a5","datavalue":{"value":{"entity-type":"item","numeric-id":1098327,"id":"Q1098327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817998$486BF7B5-00E1-4D70-B223-DBAE3F8E5343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d6b6fc6d5ad8b9914f000603cf15348a3f575c5","datavalue":{"value":{"entity-type":"item","numeric-id":4292593,"id":"Q4292593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817998$AB415B8C-F8E2-4353-B765-D032767AD8BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14abad76ad511f1b4aa79c6b56a77737c16aefa0","datavalue":{"value":{"entity-type":"item","numeric-id":4847394,"id":"Q4847394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817998$119FC2F0-8854-4B39-B1A9-430C0349F8C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc6853dee5f512db399ceb95b28c5fddd5a55f6c","datavalue":{"value":{"entity-type":"item","numeric-id":1391540,"id":"Q1391540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817998$25072106-060E-4F76-AF78-502C8CBFECA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10064cd1155cd084d208fd45995cfb4631af75aa","datavalue":{"value":{"entity-type":"item","numeric-id":3674078,"id":"Q3674078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817998$C1C4B4E4-5D59-4E1D-87E1-187DAD05DE1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"056dc5420e2fc7959d17ae88fc635923df61286b","datavalue":{"value":{"entity-type":"item","numeric-id":543613,"id":"Q543613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817998$AD72986C-4508-41DC-A53E-A772C5032906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcdbe2bfe0d10636cf929d8ea04a35b0746f5915","datavalue":{"value":{"entity-type":"item","numeric-id":687506,"id":"Q687506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817998$83350C97-0D37-4776-A290-0A356C7070A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eabe219dbe0dc796cd131aa0609897260916109","datavalue":{"value":{"entity-type":"item","numeric-id":5501187,"id":"Q5501187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817998$801DE308-164F-4262-9661-3A429DDF0C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a71505a47ba93a2b242b4dc7b9408e323cefd38","datavalue":{"value":{"entity-type":"item","numeric-id":1190464,"id":"Q1190464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817998$7D8C2897-D695-4889-AD18-40E2B9DCBAD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a48351eb9ce98139556478b870511c74c7f43f4","datavalue":{"value":{"entity-type":"item","numeric-id":3926078,"id":"Q3926078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817998$E3FA7B16-0F68-467A-BFC2-7AD0223ECC61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"878353dba81f330bde6b4edbced5e7ff4a4164da","datavalue":{"value":{"entity-type":"item","numeric-id":1292300,"id":"Q1292300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817998$D5DE3547-9262-4C04-8FCA-A63BAD0E8C5B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b626f8d28de15d3be80c1c96e3b378807eb6bd7","datavalue":{"value":{"entity-type":"item","numeric-id":436581,"id":"Q436581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"268f494cf8826578c4e3d69f5bfb855da256eea6","datavalue":{"value":{"amount":"+0.7268891334533691","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":"Q2817998$698B3D03-F398-40A0-B12E-1CE81AB0322F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24ec9455f54c32283ad7953bf6c8ed6237e5816a","datavalue":{"value":{"entity-type":"item","numeric-id":790612,"id":"Q790612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ac23b0caefb962790d68d5631a301eac61b04fa","datavalue":{"value":{"amount":"+0.7267318367958069","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":"Q2817998$C1847E73-AB33-4B97-ADE5-1737258F7F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66d468b5c540abe65339c26239e6406fad5d3590","datavalue":{"value":{"entity-type":"item","numeric-id":5687266,"id":"Q5687266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77dd76b37a990800d9afef162800dfb544926f62","datavalue":{"value":{"amount":"+0.7248578667640686","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":"Q2817998$75B973BF-9419-4890-B39F-A11AD236BB5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fb893f9f39815dba2b9cccf5b3941b18d94815d","datavalue":{"value":{"entity-type":"item","numeric-id":5450940,"id":"Q5450940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e50e36a483d444852637f074abf560c60a84d77","datavalue":{"value":{"amount":"+0.7217007279396057","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":"Q2817998$01C85866-7379-4202-9945-8D25E14CB734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d1fa86bb5f67d0f806395b601846298917bf334","datavalue":{"value":{"entity-type":"item","numeric-id":1082830,"id":"Q1082830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3aa5b24d2de6d04f86cc0468c75ce0100a3423d","datavalue":{"value":{"amount":"+0.7208373546600342","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":"Q2817998$8D002F0F-B193-4A73-98BD-2D3F008FD444","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Satisfiability via smooth pictures","badges":[]}}}}}