{"entities":{"Q920987":{"pageid":922835,"ns":120,"title":"Item:Q920987","lastrevid":65397123,"modified":"2026-04-12T02:18:54Z","type":"item","id":"Q920987","labels":{"en":{"language":"en","value":"The disjunction property and Church's thesis in arithmetic with Grzegorczyk logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4164837"}},"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":"Q920987$3B37F83B-6F93-49C8-A2CC-DD2576ED7CC1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ecfa21eb5a2ae69a3ba17bfd88b87c8e1577a0a2","datavalue":{"value":{"text":"The disjunction property and Church's thesis in arithmetic with Grzegorczyk logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q920987$C56F8E0A-D670-446B-8530-21075C095EEA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d49566de4c22ad3c3cdafa60b5487cae337ab04","datavalue":{"value":"0709.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920987$65D611EB-021A-45F2-969C-F3472648F564","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc4e0705867877c10fbb8322484874a4fc7cbe55","datavalue":{"value":{"entity-type":"item","numeric-id":752680,"id":"Q752680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920987$5EC88E73-FDCA-419D-B97F-EC4F6175C5EC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6c13805eb53dbd00bf0343bc22d19b4be9e16872","datavalue":{"value":{"entity-type":"item","numeric-id":187667,"id":"Q187667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920987$BCF5F245-2324-4FE8-9DD9-258565F8CAFA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q920987$7647BD25-1974-475F-A6DD-C00907DA9AF8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920987$DCEA4514-929F-4944-8305-0668AC5A8747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920987$3B075089-B68B-41FA-B541-A31CAF3F15BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920987$34EE0210-BB35-4284-8147-2F221B25F745","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e0cde21ca38402de9b2debedd3cb1f0d16993fd","datavalue":{"value":"4164837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920987$E6D71A0D-589E-4F1F-AC09-9718090AE803","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q920987$DB1050A4-4D01-46A9-9DE2-4B67278B572C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b86423b5686667f7394bb6da25ec5323abb4a73","datavalue":{"value":"Church's thesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q920987$404039D0-82AD-4B12-B681-77090C0D4884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5de855ea8fd65a3e3409eb19aa5d66ba3dd450e6","datavalue":{"value":"Grzegorczyk logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q920987$F64AD644-F970-4390-88D8-CD14A1220247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"804a3cc37c6cae9c6c6bdf4f9f39ecc76866fdef","datavalue":{"value":"arithmetic GrzA","type":"string"},"datatype":"string"},"type":"statement","id":"Q920987$424E4B96-8791-45CD-A74C-A4DC233C6986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3020c5a082e5813cedace6da7c6bdd6690dd9fb5","datavalue":{"value":"disjunction property","type":"string"},"datatype":"string"},"type":"statement","id":"Q920987$FC2F2305-E5ED-4192-9209-F287C423BA75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b14323adcfa74b47684032100e252e5a38ffcde","datavalue":{"value":"explicit definability property","type":"string"},"datatype":"string"},"type":"statement","id":"Q920987$C0A18B4F-DA25-4DD7-966F-EA21A78F167F","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":"Q920987$3638BA68-9B05-4F64-B2F1-FAF9ABE8243A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a1aa71283379be67e2c23bdee008814a53f386b","datavalue":{"value":{"entity-type":"item","numeric-id":4396604,"id":"Q4396604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5188f2498318c4e8e7d0862a0af6890a7bcc8145","datavalue":{"value":{"amount":"+0.8081355094909668","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":"Q920987$9CDC5F94-63C7-43F5-BCDF-AB7CFC31E4D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9de09c0273bf647c4b0a9f0b52074adaf717485","datavalue":{"value":{"entity-type":"item","numeric-id":3033734,"id":"Q3033734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9cedb89bd1f298e227406cc2ffd7df96e12e90b","datavalue":{"value":{"amount":"+0.7814531326293945","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":"Q920987$56C6C096-B057-4993-AE13-D71201952624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3709b2cd8b5a4f7494df1616fcf70442dc80c6d","datavalue":{"value":{"entity-type":"item","numeric-id":3358710,"id":"Q3358710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1ecfa6acd5ceb57e888d51da9d0b3b9c55d93ab","datavalue":{"value":{"amount":"+0.7806879878044128","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":"Q920987$B7C08E11-B527-441B-B0AC-488E6FC2F3C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c85509e83dbef71387fada9aa30eaccb06cac11","datavalue":{"value":{"entity-type":"item","numeric-id":3495340,"id":"Q3495340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"741bb5e7a1e39ef75e505140e0ed3b45b14ede7e","datavalue":{"value":{"amount":"+0.7777145504951477","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":"Q920987$D4018062-2D98-461B-AE93-A3BEF7BEE667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d131ab2931fcfbdc9e600b26a8c6a90bd684d239","datavalue":{"value":{"entity-type":"item","numeric-id":4736757,"id":"Q4736757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22eabedf8199bef29b8181b6d2a947e1c71fe660","datavalue":{"value":{"amount":"+0.7730898857116699","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":"Q920987$A05DE7EA-EDE6-4203-B599-3572D7FBF382","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The disjunction property and Church's thesis in arithmetic with Grzegorczyk logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_disjunction_property_and_Church%27s_thesis_in_arithmetic_with_Grzegorczyk_logic"}}}}}