{"entities":{"Q3781069":{"pageid":5810975,"ns":120,"title":"Item:Q3781069","lastrevid":52523633,"modified":"2026-01-22T21:09:52Z","type":"item","id":"Q3781069","labels":{"en":{"language":"en","value":"A constructive analysis of <b>RM</b>"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4041869"}},"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":"Q3781069$E32B8D96-DF6B-42B9-B6F1-FB5D9442E867","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d7a5d32786d025039dc210a5d08f19f14650ca15","datavalue":{"value":{"text":"A constructive analysis of <b>RM</b>","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3781069$EF86B408-030C-48DF-B380-E8A39F04FC02","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"037a2989404419fdfc509fe1b632ed44502e2d9a","datavalue":{"value":"0639.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3781069$57B62083-BD93-4223-923E-5E7FD85AD388","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"759b482e8573fd70ca18127fc2880d7e47fefcc0","datavalue":{"value":"10.2307/2273828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3781069$5AE556B1-0673-4A94-8C2B-CF60D13987C2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38e5feaca6a18ae5db8032e07273f94a7d6bf0a9","datavalue":{"value":{"entity-type":"item","numeric-id":229729,"id":"Q229729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3781069$561088CF-4BBD-4FA8-B0BC-748BBE71B660","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3781069$BBF1C0F4-4D8E-43F2-96AE-E9DC825DC20E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3781069$A7ADD94C-6925-437F-ACC2-1B955E59106F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3781069$7F9E3E60-16FE-4C5C-86D1-BBFA12F90F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3781069$49CBFF42-C028-48B2-9E02-66377AC7AF69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3781069$3DE308A7-3DD3-4499-8670-D984697C89B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"697245889861cb00d508d1f920dc0f7a5dca1a7d","datavalue":{"value":"4041869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3781069$409CB58A-0C5E-43B1-8868-F5D4DFEFB09E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5485ceea4f1b9adc47b2a7ed3f08059e8cfa280","datavalue":{"value":"R-mingle","type":"string"},"datatype":"string"},"type":"statement","id":"Q3781069$2522B693-7108-4853-8C42-4D68A90A8817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ef756c83ad8edc2e2c804b6a2bb8d21bc13b527","datavalue":{"value":"RM","type":"string"},"datatype":"string"},"type":"statement","id":"Q3781069$6BB0BF4E-DD68-44CF-BB1F-DCEE0B7D535D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be534d4950188959ddd440cd819bee45bdd13efe","datavalue":{"value":"relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3781069$4F01E114-B4E6-461C-B5F3-E0206217904B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9cba6af2f15e8f65a526b0ee638ad336c3fe931","datavalue":{"value":"mingle axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q3781069$505B2ADF-7163-42F6-931B-76DB2A61D749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"892545719e4021025a6e689bcf5cd576965bd388","datavalue":{"value":"Cut Theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3781069$D8E258F9-1A38-4873-89D8-622F002A579B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d1cc822e1c26c4cdd2ac493c7178a1c51841e7d","datavalue":{"value":"hypersequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q3781069$2D3C20D1-F35C-43BB-B8CF-A1A098687E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c198937799cb0492a80c1f533bb74fb38012380","datavalue":{"value":"primitive recursive procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3781069$7EE3F4F1-45BE-4D7C-8BDD-C3744AD736A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7e5d568140a653e809fe0aab6e5f93619204cfe","datavalue":{"value":"Gentzen system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3781069$B9C9761C-3A38-42B5-AD5F-07B3694A19F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2808ada6c6d0b5337a1567cd75dbf4770db7ac8a","datavalue":{"value":"Sugihara matrix","type":"string"},"datatype":"string"},"type":"statement","id":"Q3781069$2BA0DCFC-83E1-448B-A261-B17D873C9456","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":"Q3781069$CF8FC38A-78FC-4E00-B48D-463FD5F58DF7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ef3301845ab8120970f795efb107c28208a2fcb6","datavalue":{"value":"https://doi.org/10.2307/2273828","type":"string"},"datatype":"url"},"type":"statement","id":"Q3781069$0FFA8E8D-DE55-4A64-86CF-98E7246AEBCF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b79f494d5fd377cda897c7dd1134d21865cb2138","datavalue":{"value":"W1990470938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3781069$8B266A17-2CF0-49C3-8E89-829BD7B5A92D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc31a9f01623662fcd1d5e33286024595c35768","datavalue":{"value":{"entity-type":"item","numeric-id":4113803,"id":"Q4113803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3781069$0BE02543-92E5-499F-9C72-9C086BE0813E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eef0a2e14351ba118b64b7f7bc939f6b52e0b62e","datavalue":{"value":{"entity-type":"item","numeric-id":2545151,"id":"Q2545151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3781069$6A23CC8A-CADD-446A-8E4E-95A25856B7D9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fe3d539386e36ccc8b348b66ce35b37dbf9abbc","datavalue":{"value":{"entity-type":"item","numeric-id":5902486,"id":"Q5902486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ac2546816543f4a6afe9178f9c9fb9d59d56124","datavalue":{"value":{"amount":"+0.81524384","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":"Q3781069$8BB936C1-F295-4212-939F-7FE4CA0EC6F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1007c50dfed47ab1bcc647adc5d684b9d18786e2","datavalue":{"value":{"entity-type":"item","numeric-id":3803111,"id":"Q3803111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"364a5f02d43a973dfb0fc60153c5207ba7db7af4","datavalue":{"value":{"amount":"+0.79792756","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":"Q3781069$E2D79385-5241-4C6B-B1A2-1D4AD0CB3BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fa84a5b5be4a2c7a6d25f3ee076518fcf67cbf1","datavalue":{"value":{"entity-type":"item","numeric-id":850934,"id":"Q850934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af59284c786acd23c735ac0c8cbd0e45bb93c8ef","datavalue":{"value":{"amount":"+0.783497","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":"Q3781069$E84D6E71-97C4-4EB9-9AD3-FFD1375E867D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f83cb61f5691097179a592ae47db6bccc4346201","datavalue":{"value":{"entity-type":"item","numeric-id":3341694,"id":"Q3341694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fac9cf9db565bc96b939d6acca8fba72a4ce51a9","datavalue":{"value":{"amount":"+0.7716988","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":"Q3781069$ACF10D69-3948-4349-87B9-0FB072389BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f50d481d3f1d267b26b619519b5d4a05e403677","datavalue":{"value":{"entity-type":"item","numeric-id":3490990,"id":"Q3490990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d1fed50c63d614f29c221ede55c03a5b01b7af5","datavalue":{"value":{"amount":"+0.76713824","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":"Q3781069$63586B7C-00DD-49BC-B44A-CFB0BB43817E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65cdbd2312b9917ed30a5f7b7f2c6a64641fe03e","datavalue":{"value":{"entity-type":"item","numeric-id":3789527,"id":"Q3789527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d1fa3d03e3427ea5abbf2bd32e3d72678b6f12c","datavalue":{"value":{"amount":"+0.76524794","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":"Q3781069$41887B8D-7F5A-451C-879E-E53F34A93A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c16ebdb93954b808cb4540aaed93768a0859acc5","datavalue":{"value":{"entity-type":"item","numeric-id":3156160,"id":"Q3156160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1569a588e417159f12b59b80872d8a79b8cd04ef","datavalue":{"value":{"amount":"+0.76514953","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":"Q3781069$F80671E9-CFD1-4131-8EDD-6C0CCD1AC788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d0a8ffcd142033137ab77516f070d75a81fa398","datavalue":{"value":{"entity-type":"item","numeric-id":3363134,"id":"Q3363134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3a93e929ba3db1f52fa38f1317c5028ca6f2ebc","datavalue":{"value":{"amount":"+0.76470137","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":"Q3781069$0F35998D-07FC-40DE-BB15-5D514DDC0773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8e715feaff0436fd4c26101860adf8e1f93a410","datavalue":{"value":{"entity-type":"item","numeric-id":2638709,"id":"Q2638709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddaa98ed46910d96e60664b682c16a07573d765f","datavalue":{"value":{"amount":"+0.76354426","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":"Q3781069$7AC233F3-C35A-45D0-B02C-A38A809068B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3781069","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3781069"}}}}}