{"entities":{"Q475340":{"pageid":477107,"ns":120,"title":"Item:Q475340","lastrevid":52144811,"modified":"2026-01-21T00:55:26Z","type":"item","id":"Q475340","labels":{"en":{"language":"en","value":"An \\(\\mathsf{AC}^{1}\\)-complete model checking problem for intuitionistic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6374277"}},"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":"Q475340$4C0191D7-CC26-48DC-858A-13E39E7A69A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7ac6693814e7f53a448f3b2286f9c4d3f39f687f","datavalue":{"value":{"text":"An \\(\\mathsf{AC}^{1}\\)-complete model checking problem for intuitionistic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q475340$FD91554A-EF47-4F1D-ACB5-EBC2C8E2E6F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93a9c4c213cee9d732b78822f9343d68dd743acd","datavalue":{"value":"None","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q475340$077B8751-8C0E-47FA-8ED1-83709E96572C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"64af706d31db06ff1d10ff9957e17edb0a072503","datavalue":{"value":{"entity-type":"item","numeric-id":475338,"id":"Q475338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475340$ED4D942C-9107-47AE-9C98-127CBA35E484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1037dc0b355174b94bfa3c4e5dd84b05ce8f12d8","datavalue":{"value":{"entity-type":"item","numeric-id":475339,"id":"Q475339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475340$2D625201-ABAC-4A85-9DD5-201FEDB3941A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4472b31ebff52fa964618256e5b76c8eb3e874c2","datavalue":{"value":{"entity-type":"item","numeric-id":172540,"id":"Q172540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475340$10CD3EA3-187B-4FCB-81E1-5CA445D0E682","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb6c07b0dded93a36c29adbf18ee15255c2386de","datavalue":{"value":{"time":"+2014-11-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q475340$F61E7E82-DBFB-47A4-BBF1-8B2CED86ABC2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q475340$C18F05D5-4C19-437E-8B41-E522F4547FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q475340$8DD204B9-A086-4EB7-A845-768A4FF6961E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q475340$0B30A353-7C32-4278-A334-9A662AAB089A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"800aa4ceab8148acf25ad61b8ae67e9d3db39a41","datavalue":{"value":"6374277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q475340$13E7ABB4-EE06-4BDE-A67C-1E74A48B50D9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q475340$E36DDC10-DF42-4AC4-956D-5B020918FFC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q475340$72BE079B-9C60-40D2-809E-2F56320FFAAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q475340$B0EFAB56-6118-4366-8C2F-4AFB464AFE35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd0843da0ebe028b417ff05b8a83932e150ecfab","datavalue":{"value":"\\(\\mathsf{AC}^{1}\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q475340$1428545D-1A7B-4582-AB99-419488748F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q475340$560757BC-7129-4DB2-89E6-C049BC517DF4","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":"Q475340$434AFB44-A44A-4CB3-BF41-BABEC5B43488","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8b5662d4a96f572f6f840158b13c3b4dbf76d7cd","datavalue":{"value":"https://doi.org/10.1007/s00037-013-0062-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q475340$0BD9FE2E-AB58-49FB-8353-A086A303551E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6258520499a006684f98619cf15dd03a3c70aca8","datavalue":{"value":"W2072923153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q475340$3EBF1E3A-4755-45D2-AEAB-C375A0E9C6B3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"02bf53cccd5de81044eee30e0b50dd90f86ca40f","datavalue":{"value":{"entity-type":"item","numeric-id":1894452,"id":"Q1894452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475340$47807E25-B125-4FC1-9F05-3262A30F713C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f8ff1dde15320feaf0e2d97ae63b5260eaa5803","datavalue":{"value":{"entity-type":"item","numeric-id":4018401,"id":"Q4018401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475340$AF466467-FB1C-496F-B29C-84CB45BE6211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475340$CBF04682-4827-45E1-B004-450B54E6FEEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9285a61f3039e7ce640456a9ea2b4d13665dc77","datavalue":{"value":{"entity-type":"item","numeric-id":5626625,"id":"Q5626625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475340$7D180039-B96F-46FC-8800-5053F5FBF2AD","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":"Q475340$E22B28CB-DF1E-47DB-A1B1-561FEFFDC3B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b90df03a170fcc85d9f6d5af38c0866a51f22b3f","datavalue":{"value":{"entity-type":"item","numeric-id":3694688,"id":"Q3694688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475340$17004B80-C65A-44FD-A5C4-17E6B8F4E290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbdf63a7896696ddb6905e29eda6c797354cd6b5","datavalue":{"value":{"entity-type":"item","numeric-id":5907067,"id":"Q5907067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475340$CCCA7CA5-FE23-456E-BCF1-093147D31AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cec842f244293bbf8375f7e382cf748a52233713","datavalue":{"value":{"entity-type":"item","numeric-id":5567827,"id":"Q5567827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475340$4C0FAEA7-CBBF-47DF-8445-243D18298E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5dfbc538077da75d332fb528c12551a8b230f68","datavalue":{"value":{"entity-type":"item","numeric-id":1148885,"id":"Q1148885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475340$D9E3BDD1-044D-4F20-8D38-BADD0769DFDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46d51e91008e604186625ce09bd060653249e096","datavalue":{"value":{"entity-type":"item","numeric-id":2546865,"id":"Q2546865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475340$A67B7DE3-B16C-48E0-8667-76C30F9B2402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475340$A0254D7E-AE0D-4C0E-8E25-AF2D8F56AB07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09242c66e9de738abf006bc653cd2c2ed81531b9","datavalue":{"value":{"entity-type":"item","numeric-id":2893316,"id":"Q2893316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475340$79BE398F-1E69-460F-A7DC-277CDAE91E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51f3f63a23f42b0ad4873668a3e11350b9f969ea","datavalue":{"value":{"entity-type":"item","numeric-id":5525334,"id":"Q5525334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475340$20D529AE-9FE4-4284-977B-8D0F0638EBF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d414f51649e857be26468402ac605eb351354827","datavalue":{"value":{"entity-type":"item","numeric-id":2652482,"id":"Q2652482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475340$37416DE8-B6A4-498D-8E91-D1B220C5F2E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05d235b13b6189b04afc72d8494188fd02e92ea7","datavalue":{"value":{"entity-type":"item","numeric-id":2703802,"id":"Q2703802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475340$F940033E-DF53-483D-BD2D-AA8BD6C9E99B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f50847d5587480f582823170be408821eb7967a","datavalue":{"value":{"entity-type":"item","numeric-id":3584967,"id":"Q3584967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475340$660FE5C4-72CB-4079-86D6-7F67B04FB8FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5a9f66ef483fe29532200e9e2ff9ab3492b77b4","datavalue":{"value":{"entity-type":"item","numeric-id":3113702,"id":"Q3113702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475340$D323A286-621B-444F-9657-9D70D9CAECEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd043fd3c0b979d71c6d7f05c7c16f729049c727","datavalue":{"value":{"entity-type":"item","numeric-id":2887060,"id":"Q2887060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475340$D9CB2772-463A-4FEC-A447-DC9BC29F9B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9920c3ac00d626f59f95283223bd4fb6ae680345","datavalue":{"value":{"entity-type":"item","numeric-id":1152951,"id":"Q1152951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475340$18C8CBE5-153B-41C7-8329-32E2399E4EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c153a0530ba535c867bf275e826325b051c371db","datavalue":{"value":{"entity-type":"item","numeric-id":3509064,"id":"Q3509064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475340$0ABCB648-227F-4505-B72B-54B4715CB4A5","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":"Q475340$39C90F17-0E93-4917-9490-ED739CBAEEAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59a71ee27fc06ad3b0b4b92d7dad58a5649789e7","datavalue":{"value":{"entity-type":"item","numeric-id":4158497,"id":"Q4158497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475340$F912835F-DEC1-4944-BAF8-D1544852E7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2561212e62046aa1bbe5f6493082a6843f18247","datavalue":{"value":{"entity-type":"item","numeric-id":4077986,"id":"Q4077986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475340$A7697E21-EFE2-47F3-9CD8-ABA918C2F31C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51ccd65311ecd4cc9b53683b671660cb6ffeb8db","datavalue":{"value":{"entity-type":"item","numeric-id":1411664,"id":"Q1411664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475340$613F3F01-EC19-44B4-9D75-877D87D6911F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7da532c36723598c4676447c3db472d75992dc1a","datavalue":{"value":"10.1007/S00037-013-0062-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q475340$D26B23C6-CBA8-4365-A512-AD370BAD1BE4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30fec276eacb966ef07f22e16451b4b250aa8fb2","datavalue":{"value":{"entity-type":"item","numeric-id":3113702,"id":"Q3113702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e17f37e2cd94d5eabda4df373b5eebfce1dabd9","datavalue":{"value":{"amount":"+0.9530560374259948","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":"Q475340$B25658D5-BF54-4626-8D5C-8BCF7A088225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f906915a72bb3f81c3e387341a191491cb1f9bc","datavalue":{"value":{"entity-type":"item","numeric-id":3584967,"id":"Q3584967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbbbff3852fe9d2c83a0e906972dc431dadf8b62","datavalue":{"value":{"amount":"+0.8619350790977478","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":"Q475340$E819E2A9-6986-49D7-AFCC-C0BEC7CDF670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfbb40ec794d9bd48055d65f973a7b8c47d0d62e","datavalue":{"value":{"entity-type":"item","numeric-id":2887060,"id":"Q2887060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d84e33730d5c74d044d8484ccfa1c54378ef7534","datavalue":{"value":{"amount":"+0.8443506956100464","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":"Q475340$ECC09151-0207-4103-AC83-547944BF9341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfcf9bee88c51f2cfa1fd094339fd35821bdd450","datavalue":{"value":{"entity-type":"item","numeric-id":5292653,"id":"Q5292653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9c08584528ba2db84c9dd831b94161143f1ffa9","datavalue":{"value":{"amount":"+0.7552533149719238","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":"Q475340$C3664277-8507-46A9-A2C9-7CAFAE4AFC2D","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":"c6a21ca8c0707ae89a1abe89fcf0881f8c52b808","datavalue":{"value":{"amount":"+0.7542822360992432","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":"Q475340$D781AFC8-7CF6-470B-8E89-D29E0CD85E2D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:475340","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:475340"}}}}}