{"entities":{"Q3764127":{"pageid":5794033,"ns":120,"title":"Item:Q3764127","lastrevid":51828578,"modified":"2026-01-20T06:09:43Z","type":"item","id":"Q3764127","labels":{"en":{"language":"en","value":"Flagg realizability in arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4021102"}},"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":"Q3764127$57FC9A8B-6910-42C9-9E1C-7DE8516F40E5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bc74315003be3572ebbaa558d752d145d69ad774","datavalue":{"value":{"text":"Flagg realizability in arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3764127$16B7D2DE-2C5F-4A49-832A-FBDF0804ACFD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f4a55877794a92b7f55c6d47d990bc5aab57c0d","datavalue":{"value":"0628.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3764127$999720EB-AC12-47A0-A3BC-53917AA49473","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f090e8bd8cc95018da39262fc1dcf3bb7c9b1e7","datavalue":{"value":"10.2307/2274062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3764127$87B5B9E0-A619-40AF-B2AC-2CA672EA01C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f5a694693fd714c68670980cbac395b2de1c958","datavalue":{"value":{"entity-type":"item","numeric-id":788708,"id":"Q788708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3764127$E4562782-4DD9-4439-BB30-C17798B4EABC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3764127$F60D9A70-B41F-4977-9CC7-D54F1AA5EC10","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3764127$11F2D425-6891-47AC-B619-890FDF46ACDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3764127$F39F4BD6-5092-4BAC-B49A-F734D3B6A566","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70d7f06ff090ab975809d78b6204c54661c35292","datavalue":{"value":"4021102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3764127$5160B7BE-8A58-49E6-821A-3FE157BFD201","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f2f3bedf9319acf10e132243309792fb4f3fe26","datavalue":{"value":"G\u00f6del-Tarski operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3764127$C2CD22C6-9197-41F4-B973-02B2AACB15A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c448f94963c9dd8e7f820d2b2639f8e7bd108f75","datavalue":{"value":"intuitionistic arithmetic HA","type":"string"},"datatype":"string"},"type":"statement","id":"Q3764127$0789E40B-1F20-46DC-B256-1BDA6B0A9638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"106ad0b9d846153c5c5df395a24a32d4a5218283","datavalue":{"value":"classical arithmetic with S4-necessity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3764127$2CD959B7-8540-4DEF-B619-195AAA40055C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0b7b6ac525cd0728e12665344c6a03eb29546ae","datavalue":{"value":"EA","type":"string"},"datatype":"string"},"type":"statement","id":"Q3764127$AB42720F-3061-45F0-9ADC-85F5D214974A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14873d66e44788cc5d40f007ea8a574a6c8050fa","datavalue":{"value":"modal arithmetic system IEA based on intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3764127$FC5D6B2D-5BCD-48F1-9B25-2B3DB75C6F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3ff9022062d439826f24ffb6d1298eacefc8e74","datavalue":{"value":"Flagg realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3764127$36BC7853-CFA2-4653-8168-266E00EF203A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccbd231bdc0bbe9169713e1f7b296e6e71dc765e","datavalue":{"value":"Kleene realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3764127$9898A82E-D755-4A32-B086-8F38CB380FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d80c20748a0e652080a28eb8bec6827282032b37","datavalue":{"value":"modal translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3764127$66A9F338-3033-4E71-B163-CE7FC66F2D78","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":"Q3764127$C7E5C494-1934-4F5B-9B74-F3849B8DA460","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a18ccf07ad7bdca5e3e5a4967bef327c7508763","datavalue":{"value":"https://doi.org/10.2307/2274062","type":"string"},"datatype":"url"},"type":"statement","id":"Q3764127$D19FDBE3-52B0-40E9-831E-5CBA951E88AC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4b0a0423254074c9400717d7fca51964a3d0be2e","datavalue":{"value":"W4254657190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3764127$1264D3A6-9087-4FC3-96E2-15EF3C3117ED","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":"Q3764127$3BEFA589-0041-445A-B519-650EA8F654E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89c38d8702209e90e1e847b594de81f291dd71f5","datavalue":{"value":{"entity-type":"item","numeric-id":5737943,"id":"Q5737943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e87f94e99c1b7c84c6043b0aea03700bd1db11b","datavalue":{"value":{"amount":"+0.814979076385498","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":"Q3764127$386DA0DA-FABF-423D-9ECE-08A9B28583CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0749325b60ba338e98ecbafa7be6cf83e3e0b70f","datavalue":{"value":{"entity-type":"item","numeric-id":3728881,"id":"Q3728881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37f05e7c80d05cc50af4cc3641f3044026eb7ede","datavalue":{"value":{"amount":"+0.7664943933486938","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":"Q3764127$6A5CE087-5407-4873-90B2-E090A3D298FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b3cea94a20afe33560d020d12fd7fbcaf9dea0c","datavalue":{"value":{"entity-type":"item","numeric-id":5202987,"id":"Q5202987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5390acde1e8604a2ea094324a713c2b3e0fd3698","datavalue":{"value":{"amount":"+0.7587533593177795","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":"Q3764127$014FCFCC-6134-4BCE-9BFB-59680E2DF837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a5b0978feef991c437715088c9c61a20cdd10e4","datavalue":{"value":{"entity-type":"item","numeric-id":4009135,"id":"Q4009135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99e14255c3a648df4ef7fbeaeab764c8eeee0165","datavalue":{"value":{"amount":"+0.7481169104576111","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":"Q3764127$FE000311-31E7-4C1D-9590-E2BEAA7D1089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"887db6f1c4819702b241d71744c26fe870b04d3e","datavalue":{"value":{"entity-type":"item","numeric-id":1344441,"id":"Q1344441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55f872f3e3e77b821ed3c61d90f8dee2f50b985d","datavalue":{"value":{"amount":"+0.7467435002326965","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":"Q3764127$A262FD62-D84F-4633-AAE5-62D1C94DF460","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3764127","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3764127"}}}}}