{"entities":{"Q3754615":{"pageid":5784521,"ns":120,"title":"Item:Q3754615","lastrevid":51683564,"modified":"2026-01-19T11:26:10Z","type":"item","id":"Q3754615","labels":{"en":{"language":"en","value":"On the Equivalence Between Logic-Free and Logic-Bearing Systems of Primitive Recursive Arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4002088"}},"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":"Q3754615$D4AC94DE-FA14-4E1C-B553-115E1E0A4E6F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d935cf9564e54e0f8e187c7ad9198d6160265baa","datavalue":{"value":{"text":"On the Equivalence Between Logic-Free and Logic-Bearing Systems of Primitive Recursive Arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3754615$7CDF557E-0637-4EC5-AC80-A82219AAAAF0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e50a0bdfdf7bd63c59bd7886a00ef160934acef4","datavalue":{"value":"0618.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3754615$B57D13F1-E8B9-4824-8933-728D66CE7C16","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd005ce716351b36e42cfe06cd0d0a360248b8c1","datavalue":{"value":{"entity-type":"item","numeric-id":192652,"id":"Q192652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3754615$EDE3D0F6-FD56-4C2F-8DBD-490EEA2746EA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"313eeae300ef8d00cbcff079ab31c26707d6fe06","datavalue":{"value":{"entity-type":"item","numeric-id":3025780,"id":"Q3025780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3754615$59E2332C-0EEB-40C2-BCED-2B1FC52EB650","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":"Q3754615$42B9FE5D-E438-4AE8-91AD-DC3AD00823E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3754615$79D48DAF-7C42-4195-BD78-69153C29000D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ec4863629a15e6f2ab12f644ca5737998870c75","datavalue":{"value":"4002088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3754615$0DD67AAF-52D4-4957-A837-F7A9675D08DE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67861ccea4b53c24b3e5a82d6210a4683c5f0643","datavalue":{"value":"equation calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q3754615$8D86D670-6334-4617-BEE4-2C8555643A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46e9b256bce6bea3211c49ffbed4c7e13e7bfc6e","datavalue":{"value":"free-variable theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3754615$071437BD-130D-4307-B494-D7A75F0FAAA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ef1059ded76113e8a55895e9c6444f3ab0f16cb","datavalue":{"value":"primitive recursive arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3754615$0A61C033-E810-4F4B-B5F8-F4B677AA5258","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":"Q3754615$82C1EEC0-82DE-4B09-852B-BFFFDC46CEE5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ea941fe697e013f772472508c53da2561588a999","datavalue":{"value":"https://doi.org/10.1002/malq.19870330308","type":"string"},"datatype":"url"},"type":"statement","id":"Q3754615$745693A1-FB88-48D2-8FB6-EA1028A0AFA7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7c05a7e3d4fc3bc1683df8a50a12de162abc4307","datavalue":{"value":"W2070938200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3754615$204A000A-FD0F-48E5-8F60-2BBE53807BC5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"55b93ab0f35bd0aa570b4cce6cd44efb85669406","datavalue":{"value":"10.1002/MALQ.19870330308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3754615$232EE5EB-3335-4A83-B2F0-1BA6EA1BB70C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cae952f85f0e68eacce91764960796c544b80bd7","datavalue":{"value":{"entity-type":"item","numeric-id":3762310,"id":"Q3762310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc8c447b97d5b469b01a242f30495378b4e05452","datavalue":{"value":{"amount":"+0.7995150685310364","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3754615$A593560A-79F0-4F5D-AE4E-1E65AAED4077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02ae907d10d4336b7c2309936fbd22fe887b50eb","datavalue":{"value":{"entity-type":"item","numeric-id":1885041,"id":"Q1885041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"346e806f5f459893793793e8769892f22a23ecf2","datavalue":{"value":{"amount":"+0.7218281030654907","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3754615$45FE67B6-EF7F-4666-BFBE-A8FF535EA587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"207c80a594947eb194b187ce77a9977db37b9c52","datavalue":{"value":{"entity-type":"item","numeric-id":4002890,"id":"Q4002890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f48a28f131fca0dedb9ac2e75c01c5b907e4f1a2","datavalue":{"value":{"amount":"+0.7149108648300171","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3754615$F4FD723A-903D-436D-A986-78955E899A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01af5acbb1529b53a24ee84d16965a0ae87190c8","datavalue":{"value":{"entity-type":"item","numeric-id":3680822,"id":"Q3680822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2a1f27498e54aeec074e77b4172b2ff79a8d696","datavalue":{"value":{"amount":"+0.7135410904884338","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3754615$3319596A-8CB1-4DAE-A0EA-564C590BF191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d57eaf9b10de3816daece1468bef47a05570545","datavalue":{"value":{"entity-type":"item","numeric-id":4133614,"id":"Q4133614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9d9e83b0b35a288d0881c1f3b1f5ba3271ff6d1","datavalue":{"value":{"amount":"+0.7097460627555847","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3754615$0EAD6D98-E52A-4ACB-893F-9962DB4B042F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3754615","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3754615"}}}}}