{"entities":{"Q3146244":{"pageid":3156960,"ns":120,"title":"Item:Q3146244","lastrevid":47983783,"modified":"2026-01-03T06:36:27Z","type":"item","id":"Q3146244","labels":{"en":{"language":"en","value":"Variations on realizability: realizing the propositional axiom of choice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1799472"}},"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":"Q3146244$1FF4162F-0B5C-48B6-BC06-BF4D3AADC1F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3360dbcc42d897b544f9c8ac83ea2ce71ddfaf56","datavalue":{"value":{"text":"Variations on realizability: realizing the propositional axiom of choice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3146244$375C0FDD-7148-40DF-9743-0CC4344BE8B7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0742eff5ca17c27d5ca171429c24c467a4e7c7ee","datavalue":{"value":"1009.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3146244$64242C4D-068A-4205-A790-CF9B4F11F56E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f99eecbfa747f8ec8631e00c237f89b3c17c9ef1","datavalue":{"value":"10.1017/S0960129502003651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3146244$EB9F2BD1-10A3-4A0D-B1A3-5AEACC010186","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"84ce645d51675861424cd68ee78a78f79548c49a","datavalue":{"value":{"entity-type":"item","numeric-id":234589,"id":"Q234589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3146244$A58CB71F-9629-4A59-A071-C620FBFB772D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3146244$82DE1F56-63A9-475E-AE1C-FCD285237C9C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0c46a1848186a989e845a7b08e6b4d15724d6aca","datavalue":{"value":{"time":"+2002-10-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3146244$4BA0C292-AF85-4C17-BB54-68E5E5BA7D1F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3146244$8B0D7626-01B5-4F8B-BF27-885AD91BF1B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3146244$71002D57-05BE-4137-8CA0-76E8A14FA0D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3146244$D3F1A705-ABEC-4102-AD78-1CEB357F4F45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3146244$85ECFD19-F020-449A-926B-EC6D27CE68A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f8bff6155ae4bfa7e9a194346964fecdea67ceec","datavalue":{"value":"1799472","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3146244$E55716D7-83D5-491E-9DDC-0C41D428EC90","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d61092cbbff856a3b199e03225e42bcac6db78","datavalue":{"value":"realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3146244$1F48D6F4-3423-444E-A8AB-398AA4274832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61c97d6b492971222388b94172b334d8992404bf","datavalue":{"value":"functional interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3146244$055C9D7D-A188-4AA0-A5B1-9DF824BED47D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3146244$E25F5FC5-0F56-4C26-82D2-14559CE69EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q3146244$C423F3D2-0DF3-4937-8D76-23B46B9C8E7F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9683ec726fbc9bb366f6e0f17afe7cc797f2e6f0","datavalue":{"value":"Q114012199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3146244$CA83AA57-7231-49EA-BB39-C9C6BA17B9B6","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":"Q3146244$0B8B91B8-1D9E-4E43-9095-413A3F495D7C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4e7ceadd1f9ce61d77fe67e6f4feb5dea73c0ea7","datavalue":{"value":"https://doi.org/10.1017/s0960129502003651","type":"string"},"datatype":"url"},"type":"statement","id":"Q3146244$2FD8A89A-F6AA-4FB1-8405-570D6982D703","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ee64aa2f864be5a178bf597ad1fd695cf98be982","datavalue":{"value":"W2084078173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3146244$0C1964A2-0DB9-4D18-B501-3FFD2A25703C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d0981983a30bacc3f35523f63becaaeea3403f3","datavalue":{"value":{"entity-type":"item","numeric-id":4670607,"id":"Q4670607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef36399f9b488eab402816141e108f945d60d896","datavalue":{"value":{"amount":"+0.7779380083084106","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":"Q3146244$A77A2BE8-2AD6-490D-935D-EDF7F597E58E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e53ac80558fe361a5d6e8c098e575d528006d07","datavalue":{"value":{"entity-type":"item","numeric-id":4499140,"id":"Q4499140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c1be13cbc482220d00b8e09c736d2c1c4b3ebd0","datavalue":{"value":{"amount":"+0.7700315713882446","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":"Q3146244$544E1D0E-A4AE-422C-9A2B-640D4D231495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f3720b1a189b5c16d94a81564d3b8089adb1824","datavalue":{"value":{"entity-type":"item","numeric-id":3532208,"id":"Q3532208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"874727f8b38b5623d84fce85d50ec974734b48e8","datavalue":{"value":{"amount":"+0.7454243898391724","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":"Q3146244$0E53F7D9-34F2-4C9B-8745-A868D1E54E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53d84fdb7e4290ac28ca8e4d46b03ffee51b82dc","datavalue":{"value":{"entity-type":"item","numeric-id":5241928,"id":"Q5241928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58fa9dcc4c40ca6fd0b5cb227519b4083b813800","datavalue":{"value":{"amount":"+0.741765022277832","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":"Q3146244$FAAF0026-C539-4996-AE47-30683BCF71B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ec70ff52fc796e00caacfc9a4c85f6c74c9f07a","datavalue":{"value":{"entity-type":"item","numeric-id":5477363,"id":"Q5477363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c45ae652a856723d5464c60fd210868b7f9d072c","datavalue":{"value":{"amount":"+0.7352074384689331","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":"Q3146244$9C54379A-BB6E-43D3-BB21-ACC23DA364FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3146244","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3146244"}}}}}