{"entities":{"Q1136752":{"pageid":1147501,"ns":120,"title":"Item:Q1136752","lastrevid":69715950,"modified":"2026-04-13T08:54:43Z","type":"item","id":"Q1136752","labels":{"en":{"language":"en","value":"Realizability and finite validity of propositional formulas with restrictions on the occurrence of implication"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3664911"}},"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":"Q1136752$5E00FC0C-F143-4012-83A5-62F3E76286B9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf9f06d1d56fec762ea3cec8003de06b7883850b","datavalue":{"value":{"text":"Realizability and finite validity of propositional formulas with restrictions on the occurrence of implication","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1136752$85918B24-6C0E-42C4-85EC-47CB65CCF25E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"07a77eb2a7323aa5ba332332c962c357d53d7c60","datavalue":{"value":"0427.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1136752$750ABDD8-CD00-453C-A549-F0A844A82325","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d926c7caf13a9d9ddd2db4d7bdb85970eb6a5b2b","datavalue":{"value":"10.1007/BF01230991","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1136752$2F401D35-1FC2-4FF8-9148-CBC834581C63","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1136752$17F2EFBE-B85C-4A40-B25E-87C2810C14E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q1136752$1B545136-C6D7-42E4-B861-96F5AF73E7A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1136752$247E51A2-7E87-4725-A729-84D8D03EDEAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1136752$D5F4D5B1-2FD4-4B56-80D4-35AA46808C85","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f06b298187f5ce2be775e8ae21722f2190bb5a20","datavalue":{"value":"3664911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1136752$7DEC5922-26CF-473C-B2FD-1AC398A2EDC4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1136752$A0DB8A8E-89FD-41E5-8B46-CC8128CD791A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49622c6f787c79dde83ba52ff1928f43bda9592a","datavalue":{"value":"intuitionistic propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1136752$443EC159-7A97-4BB3-8645-5301FB9F7123","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"92e5c7a0fa17b322a9e2262053ffff4fc6798d1e","datavalue":{"value":{"entity-type":"item","numeric-id":731483,"id":"Q731483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1136752$709F2986-AE5A-4F7C-B1B3-37347A973A7D","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":"Q1136752$34CEB51C-52E8-4986-8C8F-550A8A1409F8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ad78f0c9eae65d440bef225de3d19917af4dc15","datavalue":{"value":{"entity-type":"item","numeric-id":5822056,"id":"Q5822056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1136752$02876D55-EEE2-4C6A-9DC0-FBD657DA833E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a5eacaed051cc161a7ce08ac79133710d581039","datavalue":{"value":{"entity-type":"item","numeric-id":5613907,"id":"Q5613907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1136752$BD23C1AE-5C13-487D-A02D-65F804F7F223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d28425cd8be361ed535cc8534a6715c6ebe3698f","datavalue":{"value":{"entity-type":"item","numeric-id":5610997,"id":"Q5610997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1136752$00610A7A-1712-4AFE-A798-C245C8F45C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfc9280b946671d69fb790cd9053d2470149d76e","datavalue":{"value":{"entity-type":"item","numeric-id":3845365,"id":"Q3845365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1136752$DEAF8C70-DB96-4604-B072-0461A60CE4AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"200282dc3242b53e9b13af66eeb98d5476b7aeb5","datavalue":{"value":{"entity-type":"item","numeric-id":5573946,"id":"Q5573946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1136752$16BAE430-D16A-4A1D-81A7-14ED9349C7FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98c57dade71b60ed928463c5ef2f167cb1e78aaa","datavalue":{"value":{"entity-type":"item","numeric-id":5645398,"id":"Q5645398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1136752$707F6DE4-AE78-4D32-9C9B-B977CCDE3502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cba0a2613e70bea519fcc9d7814c8434344ce14e","datavalue":{"value":{"entity-type":"item","numeric-id":5626609,"id":"Q5626609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1136752$20265AB8-6EB1-4D29-A0EE-732DFEC14BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be83abe6096c9d102b9a4f31ed0d052d857085d5","datavalue":{"value":{"entity-type":"item","numeric-id":5519126,"id":"Q5519126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1136752$4564ADB2-852C-437E-B6AF-DE896DD1099E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"20af5136301f1d79cfe8878a1c5ffbf4a4b959b0","datavalue":{"value":"https://doi.org/10.1007/bf01230991","type":"string"},"datatype":"url"},"type":"statement","id":"Q1136752$5CC8FF5A-06CD-478C-86EC-EEA3D9586F61","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dc05a648011c42e3938d28c4460c3c3695269f59","datavalue":{"value":"W2038450466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1136752$F97FBB22-4169-427D-A72C-2AD6131A49C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Realizability and finite validity of propositional formulas with restrictions on the occurrence of implication","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Realizability_and_finite_validity_of_propositional_formulas_with_restrictions_on_the_occurrence_of_implication"}}}}}