{"entities":{"Q4267169":{"pageid":6296770,"ns":120,"title":"Item:Q4267169","lastrevid":39858992,"modified":"2025-01-27T19:06:40Z","type":"item","id":"Q4267169","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1343458"}},"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":"Q4267169$F4FD7CC5-476F-4C4D-99C9-31C829C3CAE4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c1837bd729f52978e38e20891e9f3d9e53a301e","datavalue":{"value":"0948.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4267169$BBCCCD7B-D634-4B20-8C5A-2F7F5AC2E982","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffa73845da6faeb3595ac4dea6415bdc68ae4978","datavalue":{"value":{"entity-type":"item","numeric-id":229730,"id":"Q229730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4267169$56676331-728D-4CA9-B795-C1545DA2F287","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"45c6b522baf77e7131b262008cde5ff0fa2a03f4","datavalue":{"value":{"time":"+2000-11-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4267169$C227A75D-080C-478A-92EA-996637222074","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4267169$47CDBAF9-24F5-48C6-8C97-59BF38E6E86F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4267169$382E5D50-C3F1-4D78-9CE0-2AF49B4CDEDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4267169$BE6F735C-41AE-4ABA-B3C7-418F57192168","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f77cf56e6b954dec5bf92e7079d0ba8416acd600","datavalue":{"value":"1343458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4267169$C4645AB0-72D7-431A-8B99-AC124D529B38","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b838261c78c4ae7442badafeb6cc147e9d09de5","datavalue":{"value":"many-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4267169$22B26845-31DC-4E2D-80CF-85CCD99C49DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4267169$81F5F81A-13C4-4DF8-A38A-987E3CCF3EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"721d1168a423b4fd1ec6f2691948a4663f9d873e","datavalue":{"value":"sequence formalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4267169$36874730-1433-47BF-A45F-3D0A32A05BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4267169$96323F81-F3CB-49BF-B8C1-B187E31AFA14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b423fd205c4d31bb9e9fbd0f003b1a60f2ac9385","datavalue":{"value":"Rosser-Turquette logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4267169$01AB3385-C4F3-493E-B10A-054AA3FF886F","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":"Q4267169$1ABBD9B8-D8FA-4D5D-ACF6-C78AAD4F3AB6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6de127ad0b82b88c5d082aa13d90ecc654c5a52c","datavalue":{"value":{"entity-type":"item","numeric-id":1910288,"id":"Q1910288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20588a955e6f99d12e023f482e27979b15cbd864","datavalue":{"value":{"amount":"+0.77682424","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4267169$A00F699B-0242-4AF0-8163-250C1E186FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42b3f42660e72672415b76819eed23bd563a4b4f","datavalue":{"value":{"entity-type":"item","numeric-id":2595482,"id":"Q2595482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd4dbeb4019e182d747bce8575b990efce022db6","datavalue":{"value":{"amount":"+0.7668435","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4267169$3A1F9591-59B9-4515-BCAE-2D26F2E43EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a880b2d84fd24c903ed014494cd1a692dd5bd02a","datavalue":{"value":{"entity-type":"item","numeric-id":4018166,"id":"Q4018166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"773a6e75830a30032c3f76fbf5cacf7a93017b38","datavalue":{"value":{"amount":"+0.7638451","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4267169$BBCA154A-D483-425A-A593-C0A5FBE970F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9503d7f45d81b61ce487584207624f9e7c0f9a5c","datavalue":{"value":{"entity-type":"item","numeric-id":2624142,"id":"Q2624142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbba492c2b600eefc1ada7beb231f1fb4fef8b33","datavalue":{"value":{"amount":"+0.75988644","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4267169$93B9EC27-471F-4460-8368-98AF515BA081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b515c38acc0d7ad532854506d9226d2a19c0f79","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d247c42c624702eb3bc3e825bc080e0e56143b1","datavalue":{"value":{"amount":"+0.75161093","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4267169$D7485226-267A-4FB4-AEAB-9F4C2B0F9D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5eed03998e28cf133886a04a0b5c9974aa731eb5","datavalue":{"value":{"entity-type":"item","numeric-id":5848176,"id":"Q5848176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f435d7242b4528e744966b99c45ce391433fab5","datavalue":{"value":{"amount":"+0.7492643","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4267169$A8427579-1010-44DB-B910-65B7F4677F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23d0e120100cdbc8dd848dd417483d314bd5d9b0","datavalue":{"value":{"entity-type":"item","numeric-id":1204621,"id":"Q1204621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da32606d33e37eb77a17011bd8c5adb823d69de4","datavalue":{"value":{"amount":"+0.74297476","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4267169$6704A892-BDA8-4AB1-8862-387D3B471AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"266864345c49446ff47b8513de3b4d6c7ec39ef2","datavalue":{"value":{"entity-type":"item","numeric-id":5115854,"id":"Q5115854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4ca15e049065622c29163f61a93988a8c337b9b","datavalue":{"value":{"amount":"+0.7421721","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4267169$C7FB7A41-72A2-4B09-8FE7-EF950EF8965A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ad32c36d47f1bf5d2240597ec6806ac7a51abfa","datavalue":{"value":{"entity-type":"item","numeric-id":1828976,"id":"Q1828976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e51600f225f9892733c07210faf11740a3e0d1d3","datavalue":{"value":{"amount":"+0.7394069","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4267169$87252310-4390-4F57-91A8-3A2E9F952CA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40dba4be07ce1b9fb69adcf84eb7535e48ce9a6b","datavalue":{"value":{"entity-type":"item","numeric-id":4602434,"id":"Q4602434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9a6f8acd16268d33b41d0ed5cf8b88bd937ecc0","datavalue":{"value":{"amount":"+0.73729205","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4267169$C33B6827-03E9-487E-9A8D-A4DDCC31A311","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4267169","badges":[]}}}}}