{"entities":{"Q5219132":{"pageid":7248702,"ns":120,"title":"Item:Q5219132","lastrevid":100582832,"modified":"2026-06-05T22:30:09Z","type":"item","id":"Q5219132","labels":{"en":{"language":"en","value":"Arithmetics base on computability logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7178024"}},"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":"Q5219132$B0F6417C-3F14-4617-8B3E-2C9CE3D8A778","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"26946c0a20b83be962670898464e25c367464833","datavalue":{"value":{"text":"Arithmetics based on computability logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5219132$F374FB50-A4E0-4E58-A390-D14BF887BB1D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f23ae00a531007dd78ee89602ccde4b1e82ad5a7","datavalue":{"value":"1446.03101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5219132$BB416035-F6F1-4B9A-BE82-E924DB15A96A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3cd664e2c7b394c26855a030ee09fa8824ef18c6","datavalue":{"value":"10.21146/2074-1472-2019-25-2-61-74","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5219132$532D1A9C-3303-4F3D-A12A-FF9D6BCC7937","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b92b6dd4dc950e5b503f8f6d4e78c532d91da339","datavalue":{"value":{"entity-type":"item","numeric-id":259083,"id":"Q259083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5219132$EE9A7653-CBC8-456C-9BFA-8C766A8E51F2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"419a39ba736b850fef44044ed2847be5eb6b6cc4","datavalue":{"value":{"entity-type":"item","numeric-id":2981227,"id":"Q2981227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5219132$2AC7BF54-2F77-400C-A127-096AD92C3032","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94ace806cab6bccffe2dd3b0bf0eac605327f868","datavalue":{"value":{"time":"+2020-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5219132$69528192-62B6-4B15-AEFB-ADB8609A162F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5219132$BBA24CD8-72F9-43FE-988D-092BDDD81DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5219132$CDF3ABD2-025A-437A-81D1-89AFA2C438E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5219132$40780097-DD2D-4BDD-91E6-6BBB31BDD5F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b75d195590bd6e349e2af2fb36d7a281daf42e91","datavalue":{"value":"7178024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5219132$75049315-D9E6-4347-80A4-AFF9222B2BC6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6945a219886acf273899692df184d0a728d65a6","datavalue":{"value":"computability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5219132$6524F97D-2017-4272-9FB4-1706DAADD2C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5219132$4BD1369C-DA04-4FF5-AA2C-0C0E6570C6CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5219132$22F82726-C710-4E7B-8CEF-F918F353E4BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4a62be59df86ac5656fbe65ad3e6c1589611bfc","datavalue":{"value":"constructive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5219132$CA60E49C-E04E-49DE-89BE-570F3551BEED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5219132$1F409950-E139-4684-BAB3-7D5CB2831FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5219132$3DA7D933-8DA1-4477-B8C0-4601F5FDF572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1dda25e455c96ee8b6e0b529972d925134643ed","datavalue":{"value":"interactive computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5219132$4C56809D-108D-415A-B173-5F050BE5C5B9","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":"Q5219132$7EE39F0B-4A50-4918-998F-A629756692A1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"10c37cf7473f397aba9af526da1fc92d52d9ec36","datavalue":{"value":"https://doi.org/10.21146/2074-1472-2019-25-2-61-74","type":"string"},"datatype":"url"},"type":"statement","id":"Q5219132$E4D5F04E-2978-46DD-9259-F45FA350433D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"02dd089cb1d1b8dcbd667a5b9f0bdda62a3e9940","datavalue":{"value":"W2999142285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5219132$403BA994-BEAC-4393-B848-19F34661456E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99223050666897a557412837fbbf6f3a3393e579","datavalue":{"value":{"entity-type":"item","numeric-id":642523,"id":"Q642523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e7a1bda79d442cc3f5e9bbc7caafcc269c9c746","datavalue":{"value":{"amount":"+0.8790932893753052","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":"Q5219132$D8C409E3-604D-4596-B6B7-88570D56EDF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e571e83b8b7c1ba9df465e7d276b9ac9183b37fb","datavalue":{"value":{"entity-type":"item","numeric-id":2941766,"id":"Q2941766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eee96d933f34b54489b4d78abb4660f6569e7d23","datavalue":{"value":{"amount":"+0.8770726323127747","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":"Q5219132$72091697-A11A-4890-B4E2-3F96F6C17536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a05aef83ee2726d411723414d77de1a58cd6167b","datavalue":{"value":{"entity-type":"item","numeric-id":2974779,"id":"Q2974779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d671b1fba2f182fd3df0e7518ecff2eb332f13d7","datavalue":{"value":{"amount":"+0.8511164784431458","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":"Q5219132$B9D14BBE-F8EA-4359-A2F4-65A88E6E3861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"776bb2625ed30546b576f2d9fd7e9b57ea3425f7","datavalue":{"value":{"entity-type":"item","numeric-id":3570163,"id":"Q3570163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e18041a9b9989dd42865c0e78fc9522d4a2ce2a1","datavalue":{"value":{"amount":"+0.8384822607040405","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":"Q5219132$65A30A80-80B0-4CEA-8604-A885B4906C2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe34588fb8e2fcee386b05695e697c83b2db1bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2974783,"id":"Q2974783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fb071d6490226bc85101aef6f6049b37bd1b9f8","datavalue":{"value":{"amount":"+0.8375357389450073","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":"Q5219132$5961ADA2-CE1B-4006-B478-52966BC69D68","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Arithmetics base on computability logic","badges":[]}}}}}