{"entities":{"Q3224668":{"pageid":3235376,"ns":120,"title":"Item:Q3224668","lastrevid":51441077,"modified":"2026-01-18T06:20:16Z","type":"item","id":"Q3224668","labels":{"en":{"language":"en","value":"Realizability algebras: a program to well order \\(\\mathbb R\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6020576"}},"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":"Q3224668$FB17BC36-4BFF-4E0D-BED5-FA1AA54317A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"23a00bb754fd2f6fb7408447ae5dc3de1756aecb","datavalue":{"value":{"text":"Realizability algebras: a program to well order R","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3224668$034BBDFD-1331-4E15-BEE9-933FF5E9BB66","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"43152db1481d97cd811538db314717fbbb30863e","datavalue":{"value":"1237.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224668$B604BEEA-49A2-4B1F-9B04-2DE32EB8B947","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"04bedde1c939560157eae3f50e383c05efb74087","datavalue":{"value":"10.2168/LMCS-7(3:2)2011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224668$F2792EEA-BBAE-42F4-B8DF-304393E64421","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c930bfaa88d0466feb9bef34cfbca5f6b60b9e3","datavalue":{"value":{"entity-type":"item","numeric-id":206560,"id":"Q206560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224668$A632C011-1D6C-4A6E-BC41-0BBFA8BFDAFC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224668$172F67CD-23FC-4CBA-B3CB-6052D552B4F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a20009f475df93c72840e2e5b3a3e90a55f1389","datavalue":{"value":{"time":"+2012-04-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3224668$A2B46F8D-1E0C-4CE4-9818-A5487DD4B13A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224668$548025C3-B27C-4BDA-B697-FAC02EA0894B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224668$7114FA12-359E-40A6-A96A-1D4D4B9FD2DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224668$10F138D1-C5C2-4646-AA29-BA25D8461C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224668$50BFA857-A959-4A89-98E1-4C2FD60ED4BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9b2d22e5d7a6df5e1f7d8dbe3329e48d7f570792","datavalue":{"value":"6020576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224668$7C5F9E4C-6A24-4DDD-B0B4-B26AD938AA5E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f89b34d84a29901e6cfe557573b31fa1373d9525","datavalue":{"value":"Curry-Howard correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3224668$754C8284-B2BB-46B3-BB81-BD550AFFBE6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5263ef9f2085aab5a422247e6ec140dd66cbd7d9","datavalue":{"value":"combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3224668$BE16C7BA-258F-4B3D-91B4-18B5C4D23B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3224668$0BCE7BCE-99A1-4E24-A504-17DC605FE3AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q3224668$E25AF1DE-25FD-423D-9A55-53E29F58BB0B","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":"Q3224668$0EDEA708-FB23-4686-90CD-A8296ACAA2AD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9244541800b44a4ac672899f4d91ac4fd040dbe","datavalue":{"value":{"entity-type":"item","numeric-id":4599612,"id":"Q4599612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"397cb5216207ad1ad5617c41165eca6679322096","datavalue":{"value":{"amount":"+0.836921215057373","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":"Q3224668$06CE2CC3-F728-4226-A108-97F0FF2C3887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e4c4734d659f93d2745046fe9762c21e168e528","datavalue":{"value":{"entity-type":"item","numeric-id":3075442,"id":"Q3075442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e15c368984554892eb7b730b00abb0c6ab2feee","datavalue":{"value":{"amount":"+0.8349077701568604","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":"Q3224668$E61260AB-B062-42DE-A792-41AE6543BEC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e607e33bd7ecccd85a381ad59d8fd4cb35996d4e","datavalue":{"value":{"entity-type":"item","numeric-id":2881077,"id":"Q2881077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e057f1f0c0e04aa51f1b733c56ae478e719dfe1","datavalue":{"value":{"amount":"+0.7966916561126709","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":"Q3224668$29C1A515-DCEB-4508-97E9-4E96716DB37E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"085c8b493a54e3301ecacda6c1b26197aa9f1786","datavalue":{"value":{"entity-type":"item","numeric-id":5277975,"id":"Q5277975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41e2a8f3ff288b26c3000aa70541d27a46e4b273","datavalue":{"value":{"amount":"+0.784635603427887","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":"Q3224668$2B1CD173-9105-4DEA-8395-E47DB1150C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af78cd63c14723f1c623d689703d45fe71767c15","datavalue":{"value":{"entity-type":"item","numeric-id":3460427,"id":"Q3460427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2987d4f3095fa7338d4deda9e37dfa3d1ce3baea","datavalue":{"value":{"amount":"+0.7728766798973083","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":"Q3224668$66F7FF46-1563-4F3B-A889-DB3A4840A480","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3224668","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3224668"}}}}}