{"entities":{"Q5917958":{"pageid":8048278,"ns":120,"title":"Item:Q5917958","lastrevid":97745051,"modified":"2026-06-05T15:20:06Z","type":"item","id":"Q5917958","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 1389867"}},"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":"Q5917958$9FBEA992-0F00-444E-AA8D-E6B91A5FE451","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":"Q5917958$0DD0B9D5-04F9-4518-BA40-565B02CE0028","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2e3c6fa0f6cf5289518cda86c5e15dab6940b0ae","datavalue":{"value":"0941.68153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5917958$CCC49D65-A056-4B05-A796-4B317789A997","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"740c0893ad8ccfbd0cefd850d229b91ad5f25c6c","datavalue":{"value":"10.1016/S0166-218X(99)00036-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5917958$78D025D4-A64E-4D16-973A-C3DA6390ABF4","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":"Q5917958$445B4177-02D3-497F-B2B5-E383C0AF02FB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087f55844cc920aae060b09644168bf17b022e1a","datavalue":{"value":{"entity-type":"item","numeric-id":96294,"id":"Q96294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5917958$276B15A8-8873-4AAC-8EC9-0725A67C08DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95ec5b043115e52ee0328702da430700e7365687","datavalue":{"value":{"time":"+2000-01-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":"Q5917958$93ED5344-ACAA-4094-A57D-C49F6B118940","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5917958$91531B91-C1C1-439A-8E38-3EF8F2E05006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5917958$FF25E953-3EE4-49FB-A310-FE946321D4DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5917958$B3C0AE78-E887-4705-8A6E-4DF30E8F021B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"723d216485f218af31c917ff72820864cef22709","datavalue":{"value":"1389867","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5917958$E45EC73C-297C-45AB-BA49-8B25AFD7C067","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5e29cc33c7c4fde19d0fb958d3da4331c6fcf1a","datavalue":{"value":"falsifiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5917958$B9D8528B-3857-43B2-8E87-BC1E728FE2C8","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":"Q5917958$B9E444F3-3D1A-4DB9-81C4-C9F8CAF69754","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"51ecb7524e03e885eff0a1c3c3b63046bd70d1cd","datavalue":{"value":{"entity-type":"item","numeric-id":1114394,"id":"Q1114394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5917958$743BB81D-22E1-4C8A-A1E0-7DC6EF1750FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5917958$6608B67D-F884-4CD4-B96A-B98C7EF5F378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b396e412145b289a0f2d560cd4986a112360175","datavalue":{"value":{"entity-type":"item","numeric-id":582905,"id":"Q582905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5917958$EFC5C710-936E-4EE7-9070-0DCFB29C43A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f391fa2ea5fc8cc91eb10352d5e77651921466e","datavalue":{"value":{"entity-type":"item","numeric-id":5783647,"id":"Q5783647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5917958$BF422C0A-694A-4D84-954B-A226F3C1B64E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e93306820678fcf2a8744611d8b4de118198686a","datavalue":{"value":{"entity-type":"item","numeric-id":5900975,"id":"Q5900975"},"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":"Q5917958$C7657757-48EF-4A6F-9C8E-B518FAC6060D","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":"43df8761a8046d3650ec324c5ecd5d1bed326c8c","datavalue":{"value":{"amount":"+0.8730589747428894","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":"Q5917958$D314C7B7-E5B5-4183-948F-F94DEE437E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"035708874e3ecf0d38c360a1c1a427b72b73a2fb","datavalue":{"value":{"entity-type":"item","numeric-id":989577,"id":"Q989577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a54387485e78ec3a5317ce8adafa355b8daabf96","datavalue":{"value":{"amount":"+0.780463457107544","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":"Q5917958$2B3F568F-3ECE-4156-8BBA-2B51E5919575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2611d4b6015e00a68ae8aa1f67b99c07a91973c2","datavalue":{"value":{"entity-type":"item","numeric-id":3742714,"id":"Q3742714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d6d01a71fa43cc05789a76944ee03c962e445ea","datavalue":{"value":{"amount":"+0.7644229531288147","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":"Q5917958$0A5BB863-50A9-42E5-8DE3-4642567E781C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ce2401b81678994ad7b5061be7f21058fd56ce1","datavalue":{"value":{"entity-type":"item","numeric-id":1263982,"id":"Q1263982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46ec7bf581ee88bf526fd0f547d9b056d63315ea","datavalue":{"value":{"amount":"+0.7444776296615601","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":"Q5917958$43C6C9DD-C3AA-42E8-876A-89FAE553C14F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The complexity of the falsifiability problem for pure implicational formulas","badges":[]}}}}}