{"entities":{"Q6916899":{"pageid":21003838,"ns":120,"title":"Item:Q6916899","lastrevid":84148505,"modified":"2026-05-11T08:19:12Z","type":"item","id":"Q6916899","labels":{"en":{"language":"en","value":"Constructive validity of a generalized Kreisel-Putnam rule"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8105261"}},"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":"Q6916899$00366730-33C1-4CE3-8CF2-73BBCB51DFD2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"664626522591fc497ba233fa37a305c38b903792","datavalue":{"value":{"text":"Constructive validity of a generalized Kreisel-Putnam rule","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6916899$9F6568EF-2DBF-4357-B9AD-4C01BE7C9D34","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"551a5f2f8d1d01c5a1c1b378da22185719aed749","datavalue":{"value":"10.1007/S11225-024-10129-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6916899$F2602CD6-C8F7-45F7-9418-4EE6FB6446E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b18913cec03ba282016e056a5c89950c1912b88a","datavalue":{"value":{"entity-type":"item","numeric-id":2148781,"id":"Q2148781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916899$250D1CC3-A633-4393-8BA6-38D033A3E446","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916899$F7A0EC44-EEBE-4619-B708-209114886564","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"649f7effc355da50d14f0c965ab07ea7bae1a67d","datavalue":{"value":{"time":"+2025-10-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":"Q6916899$A8FB19DB-59C3-4348-AD96-DFA8E2391319","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6916899$83D52450-ABF0-42A7-A151-12FDFDA2F14A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36c072a0da0e8c8cf044b04545a69ce2f61e5750","datavalue":{"value":"8105261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6916899$2ECA100E-B8E6-4BFD-AE76-5A0437DE0A13","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"016192ac99d609c639c449e6374ba2f40428c9c8","datavalue":{"value":"inferentialism","type":"string"},"datatype":"string"},"type":"statement","id":"Q6916899$334EB7BB-E2C2-41B5-AD72-F29E763C5E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98afc8bf077732faa7b36e358825aad09c7afaa7","datavalue":{"value":"proof-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6916899$56DEE2E5-719F-4A20-B736-F9DB356F5EF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71c95d6371d47e86c84e2b2a5b875b171f4c6886","datavalue":{"value":"BHK semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6916899$79A28CD9-DFFD-40A1-B5C7-A320C5833EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b778a0b468b9760068d206929f87e51f1d8de89","datavalue":{"value":"Kreisel-Putnam rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q6916899$B29A3374-CDBD-4E89-8C0B-7BBC7F8F67B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff31de5d65e52e04fe5db5f7d62f7f2d52e3df0b","datavalue":{"value":"Harrop rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q6916899$6AF23F0D-5B9C-497E-93C7-E9563117EF44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88f86b2c6b814c2f18f855089c00886c429e1397","datavalue":{"value":"split rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q6916899$61095696-966F-44A3-840C-A7DA60FE2423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ccc9041329e4c372f5a7298c5a44afed32e0397","datavalue":{"value":"constructive validity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6916899$DCC3B6A5-E4AB-40C6-82A0-68ECB4015DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f89b34d84a29901e6cfe557573b31fa1373d9525","datavalue":{"value":"Curry-Howard correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6916899$1955BA44-0033-4C4D-8362-CACAFF91C8C2","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":"Q6916899$6CB18FD3-75BF-4558-8362-EEC8403F15E1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b65e0aba9c9550d09b3aa23b24d834aac779a91","datavalue":{"value":{"entity-type":"item","numeric-id":1174593,"id":"Q1174593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916899$4807B5DA-5EE2-41B6-BB79-CF99BB274C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b87000e171ea98427f9efb60b84553b6eeb21ef6","datavalue":{"value":{"entity-type":"item","numeric-id":5595152,"id":"Q5595152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916899$7B93B950-811C-44D8-9552-8C09347D2041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8497b2d78ba0b1939b3cc4392136c45f636c16c","datavalue":{"value":{"entity-type":"item","numeric-id":817701,"id":"Q817701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916899$F4E2D105-D2A0-45D9-A91C-382A9C6464F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f86be4ee78b8dfc28dbdf6bf0baf55d7f2249d0","datavalue":{"value":{"entity-type":"item","numeric-id":2176408,"id":"Q2176408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916899$80F181B0-E9B0-4E12-B736-CFC240CDF32C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e1eda4504d5f1fc929c3f274ef545803d0a39a7","datavalue":{"value":{"entity-type":"item","numeric-id":3384899,"id":"Q3384899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916899$57B41771-8622-41CC-918A-B68F22C69ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae542aa49195da2f0564220c3e6d6c6c5762344","datavalue":{"value":{"entity-type":"item","numeric-id":769601,"id":"Q769601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916899$C419E7FF-B3D3-4CE0-B1B2-B93DAB257547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0251f975d77253b6649a57153c70166d676c637f","datavalue":{"value":{"entity-type":"item","numeric-id":5176674,"id":"Q5176674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916899$7A4DE949-B838-4833-85E4-9DFC8421221E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b870bd3f7616c2307692f727cad9b33e047b823","datavalue":{"value":{"entity-type":"item","numeric-id":3264226,"id":"Q3264226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916899$46B64B31-07D9-44F5-8AF8-AF6DFDD136E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e027f5650296472fc746ced3fc44df7db916881","datavalue":{"value":{"entity-type":"item","numeric-id":5665173,"id":"Q5665173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916899$73FAE8AE-3450-4D6F-B319-B526877900C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b44dc579c51b3f7b4cdb86b7e3cffb721c41a5c","datavalue":{"value":{"entity-type":"item","numeric-id":2616497,"id":"Q2616497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916899$4E28306D-7DC5-43B9-8919-F363CDB2F4B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916899$6E966B17-25FB-4427-930E-17A6F5F8774D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f19fa06fd5f5f17f6780c02c0b3bc22d261679c","datavalue":{"value":{"entity-type":"item","numeric-id":568066,"id":"Q568066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916899$35465A76-6948-4F73-9BC9-0C6BF6B648B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916899$C18AD984-2331-483D-9662-FD65A723C642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cfbdba4d61283c4aecfff5bb19cabf08a5ab634","datavalue":{"value":{"entity-type":"item","numeric-id":767454,"id":"Q767454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916899$43310E7E-0872-4042-9C84-5D8200E788B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24f052a64cf669c48b098163e065f113a757924c","datavalue":{"value":{"entity-type":"item","numeric-id":3278334,"id":"Q3278334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916899$F3F0C14A-368C-4D07-A7B6-600CF6EAB43A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07d3fe70dc62991e79e222a7fc408e5bec950513","datavalue":{"value":{"entity-type":"item","numeric-id":2732279,"id":"Q2732279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916899$A28460F5-C8FB-480D-A7A2-E735CA8DC223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"468a3a1c09b18a83961082ef93dd46e46840fb7d","datavalue":{"value":{"entity-type":"item","numeric-id":558441,"id":"Q558441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916899$B07F7CC6-83D6-44DD-BCB4-54577B7E6312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f231c78aee0a9996d37683e0e5678e6c7352ac95","datavalue":{"value":{"entity-type":"item","numeric-id":5843995,"id":"Q5843995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916899$577B6281-77D5-4E4B-910B-6F28C3F49119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40bf03b14ee12a3cdbc67fa7b1fe5ffcff272071","datavalue":{"value":{"entity-type":"item","numeric-id":3851084,"id":"Q3851084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916899$6941404F-49C2-4E7C-8BA4-F57AEB5EF9E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06fb0b94e59c5adb31c73df20ec0bcc54d345cfb","datavalue":{"value":{"entity-type":"item","numeric-id":3246321,"id":"Q3246321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916899$A1BA7BC0-7ECD-4772-8F5B-6085B4AB8CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb0e5926137f2781ab7f6959579a481f050fca5a","datavalue":{"value":{"entity-type":"item","numeric-id":5813911,"id":"Q5813911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916899$F3F3F726-29D3-4D22-A7F1-5E0E211B6CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6700608ed8e559fac8d9f93f118b25da3ceb0fb4","datavalue":{"value":{"entity-type":"item","numeric-id":5010232,"id":"Q5010232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916899$0E469887-5885-4E66-9C33-298373AB1ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916899$99CB9A4E-4C68-4B3E-98AA-5AE6682DFEEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1600a11b8df70aa7107a23e670c832566511a29","datavalue":{"value":{"entity-type":"item","numeric-id":3472080,"id":"Q3472080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916899$99176B8B-3527-4C97-B3C4-B7653CE31B2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755ba4a7f8b70eaa04400af225724e167e2ca658","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916899$75A96ABE-7CA2-40B0-AD0B-5CB701665357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8207abc13fab8d23f526b8bc7117a2213b5c851","datavalue":{"value":{"entity-type":"item","numeric-id":3664429,"id":"Q3664429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916899$A2B72DA5-9DDD-43BE-A559-08C2E8627E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916899$72C5989F-2E5F-4DA4-9970-80FB5F8ED5B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adfc206cb896de507fcf94f0b372332787226292","datavalue":{"value":{"entity-type":"item","numeric-id":5067988,"id":"Q5067988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916899$6B9BE319-C617-412A-8F8B-8434CE0063FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604686a5863b0bbdb6c64aa93b923e5212a9cf8f","datavalue":{"value":{"entity-type":"item","numeric-id":2746757,"id":"Q2746757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916899$E52A491F-0254-4317-80C9-02E6CDB82D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10aeb68ed33efc672b38d7a1b2cf66c9f3f8e113","datavalue":{"value":{"entity-type":"item","numeric-id":6967416,"id":"Q6967416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916899$554E26EA-8543-4DAB-886A-2254C4159FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73b7b74c4c3a97d27a6a25a7f9662f779b8b7fa8","datavalue":{"value":{"entity-type":"item","numeric-id":2516584,"id":"Q2516584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916899$4FAF4217-B9F5-44A2-A80B-AE943081209F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b069134822651b3e85bdd1845d61b663e46f8dd","datavalue":{"value":{"entity-type":"item","numeric-id":3616428,"id":"Q3616428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916899$3A4C9624-EB46-4A52-B4F2-58375B731A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916899$46287CAD-C13A-44D2-B40B-07D4F8545555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed6186f00d683b4c7cb7f70af7a03fd2b654c87","datavalue":{"value":{"entity-type":"item","numeric-id":5632554,"id":"Q5632554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916899$2C102EF7-A515-4327-A3D4-5CCAD4BBB2CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9bd3b3b932e2906f8850be14dad2c5749215613","datavalue":{"value":{"entity-type":"item","numeric-id":1140629,"id":"Q1140629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916899$283879EC-5A1B-45D5-A584-D784D0B9C0DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b367403ec2a0406a4c2a9602b4c6d49bc399b02","datavalue":{"value":{"entity-type":"item","numeric-id":312497,"id":"Q312497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916899$A0E5CF97-0248-4952-AFB3-50198D3CF95D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bd5ff2b67d6335d1905ad6eaa6badbc5e676676","datavalue":{"value":{"entity-type":"item","numeric-id":5832053,"id":"Q5832053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916899$76C24738-948D-4127-8BB5-B079008BE95E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7765983df057facd1b56c3296102242db08be75d","datavalue":{"value":{"entity-type":"item","numeric-id":4279242,"id":"Q4279242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916899$3D9A9E34-7DAF-4B8F-8F4E-CE1375A77263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8822dc62f02ea9c36897bbc35c138ec9ca4c7b3b","datavalue":{"value":{"entity-type":"item","numeric-id":2500820,"id":"Q2500820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916899$C270DA12-799E-4C9D-AAF0-584E8AF85F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36ba8a3d330a6c8f1ccbbecd7a0083b7bd6e1dfe","datavalue":{"value":{"entity-type":"item","numeric-id":5251184,"id":"Q5251184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916899$28EFC918-1F4F-4A41-B7F1-BB499FFC1006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"334057c9297d6a0878784b79f130fef6a1b466a8","datavalue":{"value":{"entity-type":"item","numeric-id":3110202,"id":"Q3110202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916899$8BB1CEA0-61A8-45FC-8DDF-F01F539EA657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4f127b3855970e580849c7206b234093a5d1387","datavalue":{"value":{"entity-type":"item","numeric-id":2240552,"id":"Q2240552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916899$B9D143B2-D6AC-47E3-A950-10132E4E6DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7130b8e8ad403bac4e3a609004e5598d1175d3","datavalue":{"value":{"entity-type":"item","numeric-id":5561939,"id":"Q5561939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916899$E70B57F4-27F6-4415-8F3F-8670C664FCBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83f372f89de7bf317c3abd74c1ef99e85415014e","datavalue":{"value":{"entity-type":"item","numeric-id":3941377,"id":"Q3941377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916899$E23E8521-134D-4C45-917F-84B3CB0B8866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd6853a9537341e883738cc0ed5cbba1c3e2b1bf","datavalue":{"value":{"entity-type":"item","numeric-id":2288280,"id":"Q2288280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916899$D77968B6-6B0D-4E18-A0EA-F99DFDE05757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916899$07C964EE-2BAD-441A-BEA0-D89E6428D2B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f08428aa5ff5cff206c04eafd38aae6ff6337d0","datavalue":{"value":{"entity-type":"item","numeric-id":4325268,"id":"Q4325268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916899$F0357C9D-CBE4-4BF0-BBE7-4258A00F2319","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constructive validity of a generalized Kreisel-Putnam rule","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Constructive_validity_of_a_generalized_Kreisel-Putnam_rule"}}}}}