{"entities":{"Q3643316":{"pageid":5673222,"ns":120,"title":"Item:Q3643316","lastrevid":50812886,"modified":"2026-01-15T06:47:51Z","type":"item","id":"Q3643316","labels":{"en":{"language":"en","value":"Complexity of intuitionistic propositional logic and its fragments"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5629348"}},"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":"Q3643316$4CFA8331-6AAB-42AB-A057-423E90AD55C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7ab5cd5d9986cf14d37c6f47dc3f81a727bc57a3","datavalue":{"value":{"text":"Complexity of intuitionistic propositional logic and its fragments","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3643316$4AAB710A-8B86-40F1-B94E-CE08C2F1CE92","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"34835e64c4fc375a4c8a1fff1efb65af71522d60","datavalue":{"value":"1181.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643316$8466B307-D53F-4C95-AB0B-505520F4429C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30feb3836a21b69361e192b6f271605be3d90179","datavalue":{"value":{"entity-type":"item","numeric-id":1623148,"id":"Q1623148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643316$3D7ED733-ACCF-4A14-ACCA-A4A7660CEEC3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643316$3BD8D409-1601-4309-812B-C93878914166","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"429e5dc74b4b8740784417ec8a9f9bcbd45639f0","datavalue":{"value":{"time":"+2009-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3643316$6778C46C-A086-4971-9FFB-0324E5914FF3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643316$A18B5504-AFCD-4572-AE70-3FF296818808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643316$5ED48814-892A-423D-B9B2-643155C9849E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643316$07BBD41C-773E-4FF2-95EB-DA2CAAAF6DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643316$38CF16DB-031D-44B1-9683-BB707CD7F2A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643316$F2321991-1F1F-4F31-B1E3-7E8F479F2363","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9af6db355bcc7e508d99742d7672f7be11f06220","datavalue":{"value":"5629348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643316$207D6CCD-35E4-43E1-92E5-464E8391E104","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3643316$80E99BB3-9444-47D5-B64E-22F74CAD19D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3643316$D1561ACC-9F9C-446F-B3A1-0A6A42FD6B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ab14670fd645ceec284d741b18aecb5f5131180","datavalue":{"value":"decision problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3643316$C16DEAA5-CCC8-44CC-B3B9-BB7F005B7ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3643316$61C9D66A-0AB7-40E8-9B96-FF2A7F07721B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09b7528120ef50a8f5205cf42893c121e1d21b40","datavalue":{"value":"PSPACE-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3643316$74001664-BCB0-4E9B-A6D2-EF8118086A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e09ab337a61ca345df5d5ce1296d3077409da21","datavalue":{"value":"complexity function","type":"string"},"datatype":"string"},"type":"statement","id":"Q3643316$AB08C987-1722-4E48-9ADC-7BAC4B98C0EC","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":"Q3643316$814D7552-86CB-4F9A-A9F9-7DE1A4DDF095","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"39853b33ee63b306533ce12e2cbee3a99659528e","datavalue":{"value":"https://doi.org/10.3166/jancl.18.267-292","type":"string"},"datatype":"url"},"type":"statement","id":"Q3643316$F5EC3B33-C9A0-4CB4-A7F0-053D791FE171","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a7436f26b355a06d2d10d1dac9631dbd7dcc65ec","datavalue":{"value":"W2008892119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643316$44D10058-A4E6-41AF-94B7-1111A2B4F119","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f718d8e8c73e0b0c970c4fe73823fad74cf6674","datavalue":{"value":{"entity-type":"item","numeric-id":4723713,"id":"Q4723713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643316$90AB79EA-34FB-4293-8747-313C72556F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"338f36829ed7b9da240356c884cf2b476610fc00","datavalue":{"value":{"entity-type":"item","numeric-id":5519895,"id":"Q5519895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643316$BB93433A-4A1D-4700-B24B-D18ABB70E314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643316$B5DFDE1C-A15A-42A4-9A62-B6744A05A4FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"577776df3aa92f9f40afa80ef3e4a3f282cb55fb","datavalue":{"value":{"entity-type":"item","numeric-id":5635427,"id":"Q5635427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643316$2FBCFD17-7CAD-4D75-BA15-ED1641693A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"269af113feb3632279464e025fd9f9d59e022e9e","datavalue":{"value":{"entity-type":"item","numeric-id":1855229,"id":"Q1855229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643316$A4508B67-B0F2-4138-93E0-750AD5913EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8692698e912424588919ccbdb87259269ae9d2","datavalue":{"value":{"entity-type":"item","numeric-id":1193476,"id":"Q1193476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643316$37110045-EF46-4A2F-BEA2-A9564549BB73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49786e968e9be66a475e1ef40df370a08a4031b1","datavalue":{"value":{"entity-type":"item","numeric-id":1815426,"id":"Q1815426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643316$8311FF73-3122-4B63-8710-64764AEEFF3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a58bcd6186558a372ee5a60748dadd758d337f40","datavalue":{"value":{"entity-type":"item","numeric-id":5579000,"id":"Q5579000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643316$FE1169EA-C304-45F0-B2AA-D094722ED665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f66774e18bf6d9e857072576d53e1307dde765","datavalue":{"value":{"entity-type":"item","numeric-id":4149442,"id":"Q4149442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643316$F65A681E-CEBB-409B-AF1D-8E1F3A4D2FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"430aeea16287474b9301e5bb7d6f8fdfac8a8fc9","datavalue":{"value":{"entity-type":"item","numeric-id":3843602,"id":"Q3843602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643316$B6C04C30-DFA7-4010-9738-A02BC76B43AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458ab467d1c5397109a383d0e5c939369d06a212","datavalue":{"value":{"entity-type":"item","numeric-id":3221403,"id":"Q3221403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643316$D5A44DB9-2A50-4B33-931E-BF7B2DD26355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736a1d463d18d2f300e2b9600c3f86eae2986ef8","datavalue":{"value":{"entity-type":"item","numeric-id":2537313,"id":"Q2537313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643316$C0A4BF7B-C5BD-4749-9449-495328CDE54D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46ed020b59c477403bed93a2bd5eae02fddd49ee","datavalue":{"value":{"entity-type":"item","numeric-id":4833777,"id":"Q4833777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643316$E8BD0BAD-1394-487C-8981-170BDA0B0CD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cea085d8c059c5f81ccc8c6d0a2a9f9fb30e1313","datavalue":{"value":{"entity-type":"item","numeric-id":1259589,"id":"Q1259589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643316$D6F01289-4412-46E6-AEF0-B33A3281FE64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91e1d10e0c77de9812f317b0ff0d8727dd2dd83c","datavalue":{"value":{"entity-type":"item","numeric-id":3781088,"id":"Q3781088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643316$B3880A17-1515-43F6-80C3-C8CE8F649F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09e480091834b80af93be87d520dc5ee62325e01","datavalue":{"value":{"entity-type":"item","numeric-id":1165841,"id":"Q1165841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643316$FF1DCE4E-9D1A-49B1-A6A0-74488D08EF37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0389db7be2e276e760be3fbee1d815a588a76f42","datavalue":{"value":{"entity-type":"item","numeric-id":1156789,"id":"Q1156789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643316$9F2DC6AC-D389-42D2-9210-266089EC26AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5b8d629642bdb40969518ffc692669445aa64b3c","datavalue":{"value":"10.3166/JANCL.18.267-292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643316$AEE0CA7A-503E-4EEF-BE2F-D149820AE47E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55da0fb3c3a50085cacd73f9513ed889569a8143","datavalue":{"value":{"entity-type":"item","numeric-id":4648961,"id":"Q4648961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83795c5f82cce5dc24a4a7acd4029d884c19d2bd","datavalue":{"value":{"amount":"+0.8650485873222351","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":"Q3643316$71A7BB13-1AD3-48AB-AA6A-A00AF02D0EE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fd79ff2285e7b5cd6a90d1a49705413510ebdeb","datavalue":{"value":{"entity-type":"item","numeric-id":5692811,"id":"Q5692811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"892eff87959b5f4d8ad1b8d4ed992a674df62340","datavalue":{"value":{"amount":"+0.8293768763542175","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":"Q3643316$4D0C404F-89C6-4F48-BE0A-EEFD7AD62840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"359a92649b2fb6ff85eeb99b4c20b2d3b6ba5991","datavalue":{"value":{"entity-type":"item","numeric-id":3509064,"id":"Q3509064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e174d2a5cf67c358b238c1854b1fbe4bab9ea3dc","datavalue":{"value":{"amount":"+0.8235965967178345","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":"Q3643316$408A0A7F-C7BF-487A-BC5E-4A9867C08781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"424b0f6a9d699a8a1a69eda02350a485b1a3bfb8","datavalue":{"value":{"entity-type":"item","numeric-id":4723713,"id":"Q4723713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6eb1feb4c50a6a25471e57cd103edd16d1f8b188","datavalue":{"value":{"amount":"+0.8046833276748657","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":"Q3643316$2CE3B7B4-2E54-438B-9E3E-934E59035C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd6679d3dccd2ff8e390074af6b46d05a6ae6989","datavalue":{"value":{"entity-type":"item","numeric-id":3333018,"id":"Q3333018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a468d3f84399a33639a72db683e251fdb94aa4fd","datavalue":{"value":{"amount":"+0.7984241247177124","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":"Q3643316$DC28E05A-DBC5-4A81-BC6A-3E974E513950","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3643316","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3643316"}}}}}