{"entities":{"Q5900975":{"pageid":8007825,"ns":120,"title":"Item:Q5900975","lastrevid":51015458,"modified":"2026-01-16T05:31:53Z","type":"item","id":"Q5900975","labels":{"en":{"language":"en","value":"The complexity of the falsifiability problem for pure implicational formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5722999"}},"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":"Q5900975$EC531B5E-5715-4ED4-B137-27E290E7D583","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8806fb0318cc04842ad49483f6c241a4de891732","datavalue":{"value":{"text":"The complexity of the falsifiability problem for pure implicational formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5900975$02908126-78C8-4C94-93E7-5FAB4409BEC9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dec8026861d6b380896b059ec92624a935e6e4e0","datavalue":{"value":"1193.68132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900975$5557A449-30DD-48A2-A062-DF1A59A43F24","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"36303c995f7ccef8cd60aca7f3b00dee531cdf11","datavalue":{"value":"10.1007/3-540-60246-1_128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900975$62F52235-62D2-4776-8A88-E1DD2A175CD6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2cea8705da69bc98e462729c6f4d22209ec0bb7","datavalue":{"value":{"entity-type":"item","numeric-id":1877707,"id":"Q1877707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900975$91F21C2C-28A6-43D2-8CFF-3A02819649B2","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":"Q5900975$331D50BD-25A4-4CF3-A572-9841F38F6D1A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1f3ce47aa4f0dc34b47bc79e3d35b38da1ee5e5f","datavalue":{"value":{"time":"+2010-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5900975$A9E07616-4615-4673-810A-7062A3F099AB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"faaf78313d32287a34f041b6123b6202db9c0f91","datavalue":{"value":"https://kups.ub.uni-koeln.de/54695/1/zpr95-189.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5900975$FBFD772C-0AAD-418B-92D5-77E023070655","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900975$B420BD7A-4650-4DEE-8CF2-7E308DFF4D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900975$409345EA-FD4F-4171-981D-EF2C73E58BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900975$B00F55F3-4452-4CEF-AE6B-A65EC5263E69","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"383df0380fc673800ce272ce015eeec411547505","datavalue":{"value":"5722999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900975$707C2236-9CE9-4B82-A2DC-54636761F94B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35af0a656b57d32952b2584620a7eb946fd50689","datavalue":{"value":"subject classification algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5900975$A90D8C77-5C11-42DB-9B7F-04EE2C0963AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43d8de44b3f88bd19a871628a3509981cd748562","datavalue":{"value":"data structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5900975$939BF163-F57E-471D-807B-FBA98680599B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a6484e7e2f26a93555d13cfb9bf138878591693","datavalue":{"value":"logic in computer science","type":"string"},"datatype":"string"},"type":"statement","id":"Q5900975$2CB594B2-E768-4A09-BC6D-9E8F5FE50CD4","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":"Q5900975$BBC6DD07-D8DB-40D5-A13D-BAE7EDC1A34E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8373eda80ae86d1ccc30873d4e2a150e43647e33","datavalue":{"value":"W1530996181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900975$FCFDF679-1136-492B-8CD9-69FC79B36A78","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"929dfced953fc3614d652cb090b858860db08b48","datavalue":{"value":{"entity-type":"item","numeric-id":5917958,"id":"Q5917958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6f451e3d5c9a4ada1fb6478e87b6c8b0ae2bfbd","datavalue":{"value":{"amount":"+0.941792905330658","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":"Q5900975$147D3DC3-8E3B-4636-81DE-F36F95A84390","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":"a9778a87c9046ae9af72864c1a5041921a781ff6","datavalue":{"value":{"amount":"+0.9405295252799988","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":"Q5900975$CD40559E-AF3E-43ED-AE0A-8CDC7209B486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a928bf0b1acc5483730771259287bd383a12e220","datavalue":{"value":{"entity-type":"item","numeric-id":1961448,"id":"Q1961448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ce06582f75fc0d5d673035de303ca6f2618e00e","datavalue":{"value":{"amount":"+0.856651246547699","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":"Q5900975$7EB00EFA-C924-45F7-A474-E7DF184115AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a6bbb5e1a3a2447aa22aa16e34f75135c5de521","datavalue":{"value":{"entity-type":"item","numeric-id":3474280,"id":"Q3474280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5f6620cda67222d79a628b4103b3ffda4a7a63a","datavalue":{"value":{"amount":"+0.7830208539962769","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":"Q5900975$B7CFFEBB-4953-4F88-8091-4C251256BE48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a925a970a0df41f0a5c8293e886e68ad2b96fbd","datavalue":{"value":{"entity-type":"item","numeric-id":1208436,"id":"Q1208436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8423c611d9d2f4c0c55ee5e2f266aca845aebd65","datavalue":{"value":{"amount":"+0.7672010064125061","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":"Q5900975$D1C88680-F45B-442D-ADAB-F46F2A84832F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5900975","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5900975"}}}}}