{"entities":{"Q3684108":{"pageid":5714014,"ns":120,"title":"Item:Q3684108","lastrevid":50088727,"modified":"2026-01-12T22:09:16Z","type":"item","id":"Q3684108","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3906478"}},"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":"Q3684108$C393CDD8-24BB-4E02-A99F-F94B77E95E96","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8628c279ceff180daebb016295675ac7fb69bf3d","datavalue":{"value":"0568.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3684108$70634DE6-B282-47A6-82A9-4A822C66B635","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3684108$50A143E7-B7B1-4937-B335-2EAFA22ECBC2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3684108$C3502F90-893B-46D4-9DBA-874044EB02C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10d4e333ae1dd03e39df767fd8442a2f721f6234","datavalue":{"value":"3906478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3684108$C8121177-E7F9-49FB-AB60-F5A05ECA990A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cb6d4a6ac4bafc283e7a9541e7a91db359c7649","datavalue":{"value":"super-intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3684108$EC4ABF27-469B-4BDE-902F-49046E322DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85827e65c3477aa2458fd0c82cb453bba7c0bcac","datavalue":{"value":"pseudo-Boolean frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q3684108$65A86015-33AC-4F9E-9D2D-592B2EA0E612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f481efacde33a5a244effa204d9416f05ddd334","datavalue":{"value":"relativization theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3684108$D910F950-509C-4EAD-B028-E6E9EAF5AB8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17a01cedacdd5d7fedd625de50de09464f3aa2c0","datavalue":{"value":"Kripke frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q3684108$FF908B25-9B6F-42A8-946D-23F1E22C4FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5333318789793a74ef08383e6aa6da665911a8f","datavalue":{"value":"Gentzen-type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3684108$5EA323E0-91B3-4970-9F86-BE92405B7617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e217b50616614f81c83ccf6b07919d5380c97cf","datavalue":{"value":"strong completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3684108$E6AD6FC8-4334-4583-8AEF-3DC6764A09DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3020c5a082e5813cedace6da7c6bdd6690dd9fb5","datavalue":{"value":"disjunction property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3684108$25369802-B3A1-4810-B49A-67617B4C1624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46e827a2f1d9e2ec3bdc3a7ec6d04e64033483bb","datavalue":{"value":"existence property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3684108$84FCF058-26CC-4B55-8160-7BABCB211663","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"284b349575b4cf80ae5ff7dbd50dcd981e4aa70a","datavalue":{"value":{"entity-type":"item","numeric-id":1089329,"id":"Q1089329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3684108$EC05674B-5139-4358-94B2-B53B4C9A126B","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":"Q3684108$AFFC06EB-BFB2-411D-AEDC-863446496A9D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3296a5f8733ae44dc771721dc76c22f25e2cd35","datavalue":{"value":{"entity-type":"item","numeric-id":1208117,"id":"Q1208117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b791318f2a13b68161e107834928bbcc4ff5fb9f","datavalue":{"value":{"amount":"+0.94114065","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3684108$47448DFF-4575-4C34-965F-80B35774B0A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5974e64ba7dfa848fe141f6662587967bc85e098","datavalue":{"value":{"entity-type":"item","numeric-id":2773676,"id":"Q2773676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c84dc85ea464c5e0289b631ea1e325be2b5df498","datavalue":{"value":{"amount":"+0.9357159","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3684108$D954ACAD-BA10-401B-8BEF-893715A84643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb987aaca5fe66272cee230db85f814c6a875281","datavalue":{"value":{"entity-type":"item","numeric-id":5214741,"id":"Q5214741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f39d157532f6b30b8562938e57bb1d424464379","datavalue":{"value":{"amount":"+0.9353609","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3684108$BBF68DD6-8532-49ED-8D38-0661BFEA3100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d362901b4a5e7f2d21aca6ff20802f58e34067a8","datavalue":{"value":{"entity-type":"item","numeric-id":1059064,"id":"Q1059064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fa2549af5a5b947137034679cd0b0db60e563aa","datavalue":{"value":{"amount":"+0.92749834","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3684108$3109B608-7CF3-4B71-B049-4311A17609DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dc02608b863477b408949f3a93b516a0d237cb8","datavalue":{"value":{"entity-type":"item","numeric-id":1868242,"id":"Q1868242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0affbeba8503f72c73ccd4f84b3c58f6e19677da","datavalue":{"value":{"amount":"+0.9240631","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3684108$BAFED1B2-65F0-4953-8473-72928AEB9BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2155678a2b08a8329f0dd87e8211f74c7d6c34f0","datavalue":{"value":{"entity-type":"item","numeric-id":3980114,"id":"Q3980114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"869641de5276dbd06d16bfb1b03d9affcde04f89","datavalue":{"value":{"amount":"+0.9172058","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3684108$989211AE-F3BB-4E4A-B6E3-01588EAFB4AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"503cdb2f2d2de0c7cf62bb33ca5ebf65aa49915c","datavalue":{"value":{"entity-type":"item","numeric-id":4489075,"id":"Q4489075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58fca37f6bf486780f06a5ab222d8aaa08f51853","datavalue":{"value":{"amount":"+0.91685885","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3684108$6386C598-02D7-4CA6-97D6-CA471B1A1419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bd0eb1fe2ba9322e58e0dcb65e5c82edac930e8","datavalue":{"value":{"entity-type":"item","numeric-id":4198474,"id":"Q4198474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c2dd34d4f4c5d44db2f9b068337cc55a4b54ab8","datavalue":{"value":{"amount":"+0.9150753","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3684108$2D10B3F6-EF50-4A13-8304-0813A5FBE4C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02005505c83fb1ad82ba5475728c480e62bee91c","datavalue":{"value":{"entity-type":"item","numeric-id":4287341,"id":"Q4287341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07cd0738c108097a78120df2cae489f039322941","datavalue":{"value":{"amount":"+0.91437584","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3684108$7341D025-CF02-478E-98F2-C4A37CFAF66D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26fe996129dcacfdf9a84d5f5421c7063999d3d7","datavalue":{"value":{"entity-type":"item","numeric-id":4268319,"id":"Q4268319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a96b44a033edb6d8ac462b5416ba179a0851140","datavalue":{"value":{"amount":"+0.91377664","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3684108$FF318986-9C11-4832-803B-EC739CEC56A9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3684108","badges":[]}}}}}