{"entities":{"Q2113424":{"pageid":2124167,"ns":120,"title":"Item:Q2113424","lastrevid":43520602,"modified":"2025-07-30T13:38:30Z","type":"item","id":"Q2113424","labels":{"en":{"language":"en","value":"Basic predicate calculus is not sound with respect to the strong variant of strictly primitive recursive realizability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7488500"}},"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":"Q2113424$1B4F3054-6394-4B56-8EE0-7303FE056882","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db6ef1fa4c90dfc02a2e77feb38fcf8113031e32","datavalue":{"value":{"text":"Basic predicate calculus is not sound with respect to the strong variant of strictly primitive recursive realizability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2113424$2C52091C-4019-4A72-B2EA-A6171F062A27","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e5974c20c719bdd64a6fc3a1260b9829176e6f4b","datavalue":{"value":"10.1134/S000143462201028X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2113424$D7D8E805-19EE-49D6-A976-071B46D55C5C","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":"Q2113424$F823906D-4923-4140-AAAB-2671F40901DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5b9356dd598909cd854098580edef30353b10f02","datavalue":{"value":{"time":"+2022-03-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":"Q2113424$650AF167-69EB-4668-8A7D-C5DAC634DABB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a16b2d00f5f309ca4243bc382dd94889099a0bfa","datavalue":{"value":"03Fxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2113424$420B2D8D-97F3-4261-8803-4F364BCCD6F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"11cabf296cbf78cefb4c4e9ef3c9625682c34a7d","datavalue":{"value":"03Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2113424$E9FAF838-51DB-4A05-9FDF-AFEA9E17F485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f97231c38032b2cb868c18061aedc088fc6d95c4","datavalue":{"value":"03Cxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2113424$C366F9EC-05DD-474D-97CC-B5124C12B8D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"02cced999db69f62ab05551ddf636f1c2142c630","datavalue":{"value":"7488500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2113424$2786B757-00B0-4C8D-AAA2-A6FA7822B6DE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30f53cbfa99e3ae1b70d99be50881b6ad7774229","datavalue":{"value":"strictly primitive recursive realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2113424$7FFA1CAF-9A7F-4D45-8777-0E6B4FCAF662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c44a6a701cdd893050e636b1ba1a6b8211fecd5f","datavalue":{"value":"basic predicate calculus BQC","type":"string"},"datatype":"string"},"type":"statement","id":"Q2113424$4C650228-8F16-4610-9252-5560E2FFD538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bb162c196a3357547697a42a48b523e2788d32f","datavalue":{"value":"constructive semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2113424$56538896-79DE-4BE5-9F7B-699BA2C85757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d61092cbbff856a3b199e03225e42bcac6db78","datavalue":{"value":"realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2113424$FAC7D4B3-9E49-49FF-972A-74646CF9ED5E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"267ce10680d69e193e565ad8cdc55a122e5afbed","datavalue":{"value":"Q114008850","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2113424$7FBA5B0D-65D9-46E9-957B-4737838D140A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cdb2930e2582528817f04af5d3addf5081c196f","datavalue":{"value":{"entity-type":"item","numeric-id":785956,"id":"Q785956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2113424$52A3DB7D-5FDC-4983-A84E-1CE67E42DCCE","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":"Q2113424$201749DB-62D9-4512-8796-A90BE6C1EA94","rank":"normal"}],"P223":[{"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":"Q2113424$A6B2D70F-583B-40E1-B13A-274A6EDA1C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7964792cecb71eaca7125c2ad2b9eb082f1fa05a","datavalue":{"value":{"entity-type":"item","numeric-id":4323037,"id":"Q4323037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2113424$1C049934-4FD0-4A77-8A20-DAE9E813A450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fee8983891707bf6bf31f0a354748ef0e2126b7","datavalue":{"value":{"entity-type":"item","numeric-id":4808473,"id":"Q4808473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2113424$FF497890-8194-4FA6-AEA0-0E6700B14F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0389db7be2e276e760be3fbee1d815a588a76f42","datavalue":{"value":{"entity-type":"item","numeric-id":1156789,"id":"Q1156789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2113424$E6698336-AE5C-412F-B1A6-662B15D56425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2089fa58da7d2fc1dfe60e40e3a108a0413c8a8","datavalue":{"value":{"entity-type":"item","numeric-id":5937805,"id":"Q5937805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2113424$EE0105F2-AE76-4FC7-A96F-4F07A9EC4C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cee115f650dd9b2c9350f8cdefbe2dab8f0e067","datavalue":{"value":{"entity-type":"item","numeric-id":5824357,"id":"Q5824357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2113424$4BAF6BD3-EC0B-44E2-8C6F-20C9C33E9B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91b4856bad71beb2e1ace56fcea4c9a5044e4c81","datavalue":{"value":{"entity-type":"item","numeric-id":3851086,"id":"Q3851086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2113424$FDBA8B6C-0985-417A-A064-1192C32C5416","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c316a21b2f396dcb53a7570be3dd0b35a656bb6a","datavalue":{"value":"https://doi.org/10.1134/s000143462201028x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2113424$4D17DC05-2B9F-4DDA-854E-1A487E946E15","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"347242b9c01f542505a13f001fa503293fff15cd","datavalue":{"value":"W4213435112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2113424$8093E07A-1654-4BBB-B64A-82883D8106A4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66070aefaffb11ed36e95c85c16be10c2ae90620","datavalue":{"value":{"entity-type":"item","numeric-id":5099782,"id":"Q5099782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"064ec19d70a615e09c4b1d67b4c8a1dd29a2fc2c","datavalue":{"value":{"amount":"+0.90605986","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":"Q2113424$DF52F552-0E69-41FF-B7BE-F718EB142361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c142065b4d04a61aef0ad4588432fdd22ba0ec5","datavalue":{"value":{"entity-type":"item","numeric-id":6050850,"id":"Q6050850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4405efb60afa99ab5ff38744ac019028ea2bf54","datavalue":{"value":{"amount":"+0.8945478","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":"Q2113424$4C7E2463-EAA4-4F2C-BD37-0E903636C28F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9494c8d8cbea90756ac430ceafb04440ca167b4","datavalue":{"value":{"entity-type":"item","numeric-id":4440609,"id":"Q4440609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2f0728774601c7560d1eb4cfb97c778e9e80702","datavalue":{"value":{"amount":"+0.85773605","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":"Q2113424$B434760E-5AA5-45EC-8384-19E1618EFFEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd0c106d1fe85c4d22a015414cdc2f0d1e2aaac3","datavalue":{"value":{"entity-type":"item","numeric-id":4323037,"id":"Q4323037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe3e7761bda482ef47c4a19d8534709c2ec3eccf","datavalue":{"value":{"amount":"+0.8433827","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":"Q2113424$65B40C8D-497B-4AC9-A49B-79EDED2E9D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c493971065a36cf79b18ff79c8848e315545ea31","datavalue":{"value":{"entity-type":"item","numeric-id":1407590,"id":"Q1407590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e959cdf74345dad1d4b1f84c267386836e3a8172","datavalue":{"value":{"amount":"+0.8428311","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":"Q2113424$62C09725-9B3C-413D-9F8C-955B0DEC32B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8732975aec349078061c6c15dd8474ce2dcedbbf","datavalue":{"value":{"entity-type":"item","numeric-id":5937826,"id":"Q5937826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae4b02902b0c167c9a4518477c3f04032120d274","datavalue":{"value":{"amount":"+0.8377472","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":"Q2113424$A0ED1E70-83F4-40D5-92C7-C60FD6C5EB81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30e180b012ea47dc785fc3662940e4ff286514d6","datavalue":{"value":{"entity-type":"item","numeric-id":4133605,"id":"Q4133605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21071d1e56a4173f338491d912e587c6462e9811","datavalue":{"value":{"amount":"+0.8367467","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":"Q2113424$94053CA3-92D4-492A-BA29-93E33FC0E1F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30f14f0a19b75d246d9c27337c247fb48393eba1","datavalue":{"value":{"entity-type":"item","numeric-id":828116,"id":"Q828116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c89c0d56faf41048b6be321aa2cdb5ba39da4ad","datavalue":{"value":{"amount":"+0.83664393","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":"Q2113424$26BB43D7-D490-499F-8BA7-1AFFA91ED2F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1a9a2536e2e23abd9a3083030db1c0bbafa04f1","datavalue":{"value":{"entity-type":"item","numeric-id":5537601,"id":"Q5537601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29cbae74a911073dc1689b17822446aa00e8b0bd","datavalue":{"value":{"amount":"+0.83436054","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":"Q2113424$068524BE-FFBB-42AF-8858-6993B8BC37A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f90e224184897121cc780ad85950b8c5062bcda5","datavalue":{"value":{"entity-type":"item","numeric-id":1406443,"id":"Q1406443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edcd25035d01155f5117b68dea5a0a142a4822e4","datavalue":{"value":{"amount":"+0.8337517","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":"Q2113424$F07C7D16-1BCE-40EA-8DDE-1D3E6D02C985","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2113424","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2113424"}}}}}