{"entities":{"Q3107339":{"pageid":3118055,"ns":120,"title":"Item:Q3107339","lastrevid":85786520,"modified":"2026-06-03T11:32:12Z","type":"item","id":"Q3107339","labels":{"en":{"language":"en","value":"Realisability in weak systems of explicit mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5991442"}},"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":"Q3107339$E838EA56-92F3-4B85-906A-0E98AFE22242","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f0a6d20758d122ce76a79faf23f85866d5aa9cb0","datavalue":{"value":{"text":"Realisability in weak systems of explicit mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3107339$FC3C23BC-8588-43A0-9E38-94CD7D10C16F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"274678842e30549e370f0ed833f5768e8f444a04","datavalue":{"value":"1267.03057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3107339$24CF7656-0298-4BBE-BF10-A01F6A8D06FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6751959c8537e0a3012ad54a09a9250575598b4","datavalue":{"value":{"entity-type":"item","numeric-id":3107338,"id":"Q3107338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3107339$8C854217-7D68-486A-915D-E66C05813B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"703e8b987ff5a02d9a59e4ce9f4b68bdce3e6ac3","datavalue":{"value":{"entity-type":"item","numeric-id":588960,"id":"Q588960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3107339$87A4907D-21BF-4517-AEB3-830C7EE28ED0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3107339$4CC8647C-5610-4FB5-9CBE-43BFFD0E6E5F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6836ab67fc2e423e324b6a9004cabbbda791c21a","datavalue":{"value":{"time":"+2011-12-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3107339$4A06DFB1-BD46-447A-AEE5-07FB475F99D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3107339$F62D0D15-3B37-42AF-8A27-050566F6ACA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3107339$E563B5F7-BF34-4883-98BC-7248E0CFD83D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3107339$8FD7A3B5-3B77-4F63-8A88-1B73856A4E98","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c3e7296564eb3d77be1fc3559ed603f29936bfe","datavalue":{"value":"5991442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3107339$65D56FA2-D093-4E9D-9A62-87533B93F255","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3107339$6B335A69-23E9-4437-8496-631C35B0EF3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd12a404dee16f643f34164e0088d8ace581d98","datavalue":{"value":"Feferman's explicit mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3107339$0B064648-88D5-4C00-A31C-F2C40B8D8BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9e58becc408c0fbc8b5b77a51d0ffdcccd356a6","datavalue":{"value":"applicative theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3107339$E07A430F-5BD0-4FFF-B890-9E763E872936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d61092cbbff856a3b199e03225e42bcac6db78","datavalue":{"value":"realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3107339$9564DC01-E83C-4452-AF9D-793B50196F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd3baeada12609513b0df2fca9c8156ae896789f","datavalue":{"value":"feasible operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3107339$F9EBD881-8586-444F-8C2B-5ADA3AC78708","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":"Q3107339$7AAB16F2-679D-4FF9-9D47-F6F0E3A377FF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b67ba522d5d3481a4cbc646f686fb81bab069aac","datavalue":{"value":"https://doi.org/10.1002/malq.201020064","type":"string"},"datatype":"url"},"type":"statement","id":"Q3107339$7DA508AE-B588-4CCB-91FE-A8E3FB7C1D70","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9cf334f665bab98af5279558e346db27a1d70d33","datavalue":{"value":"W2163590111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3107339$281F1284-C64E-4BB3-A63A-BB7AFCA628DC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3107339$00440A22-7774-4651-8A8E-6C67A59C1651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae978bd620b682123250e58a731aadd5413dc2a4","datavalue":{"value":{"entity-type":"item","numeric-id":1407533,"id":"Q1407533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3107339$6C11BB77-D2F4-4DCE-B281-1C05D3924CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"393d8e4708b8ba69e8861193f5071c32d4e881a6","datavalue":{"value":{"entity-type":"item","numeric-id":5702663,"id":"Q5702663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3107339$30D921A7-88C4-4AF8-B05A-EDAEBE5C926B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fb3a8042cfdb4f0192070019159061101f551d8","datavalue":{"value":{"entity-type":"item","numeric-id":4141228,"id":"Q4141228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3107339$27BBE1A5-E174-4706-A4CF-09912BE93F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb73f10ef06d2f95cf34fa3f9d1b79e97709c0d1","datavalue":{"value":{"entity-type":"item","numeric-id":1919537,"id":"Q1919537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3107339$2EB9D788-0F84-4CCE-83AF-F78F9134964E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43e914e04ea3cec3ec18fdc311677a28fac905e5","datavalue":{"value":{"entity-type":"item","numeric-id":639690,"id":"Q639690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3107339$94158C0C-CD38-49B5-9D13-AFF7BC9C8891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"420e5a503caa563a317b6ad1ffc251c774043e8d","datavalue":{"value":{"entity-type":"item","numeric-id":3632522,"id":"Q3632522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3107339$76D6F923-EF38-4F6D-9F30-0A58F248736C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3199afbc552d4b782fb652485d98c16207457f9","datavalue":{"value":{"entity-type":"item","numeric-id":1427856,"id":"Q1427856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3107339$096AF6BE-ABB4-4CA9-A3AD-349A070313DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"645092b122c6dd4cc3f4ca3006b96b35c29880c1","datavalue":{"value":{"entity-type":"item","numeric-id":706620,"id":"Q706620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3107339$2CE106CC-0FB8-4AF4-AF1D-332988C9B6BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be78bc40947558fb5f5efe813f5826267126f11f","datavalue":{"value":{"entity-type":"item","numeric-id":3081651,"id":"Q3081651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3107339$26A0924C-93C8-4382-A71A-4EFA965D3A91","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c1ff57db2225480e1bae4a559aeeb811962987f","datavalue":{"value":"10.1002/MALQ.201020064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3107339$2376255B-80AD-46AE-90CC-BEB931CB75DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07df34f889eabc08ff640001516cda1bb7b1269b","datavalue":{"value":{"entity-type":"item","numeric-id":639690,"id":"Q639690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7d7b0b9a55f4095cb7ab37b02f88eb857b8e05f","datavalue":{"value":{"amount":"+0.8204635977745056","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":"Q3107339$CA3D2361-DA7D-4ACE-ABF4-0F0DA9A14DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f73f4390c337f2e0ede50d85c757f7b18d342ff","datavalue":{"value":{"entity-type":"item","numeric-id":4941991,"id":"Q4941991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aea5ea5e7639574e6b5ad42d4bd12e1f631ffdf3","datavalue":{"value":{"amount":"+0.8201937675476074","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":"Q3107339$F04176ED-0723-4DF3-979C-612B3E59E06E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c240010fe0f0ec238b753662dbae16ce355bdfa","datavalue":{"value":{"entity-type":"item","numeric-id":3632522,"id":"Q3632522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fc4a4fa5fa4e092ece92577da3ef54a0ba0c266","datavalue":{"value":{"amount":"+0.8191201090812683","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":"Q3107339$85482212-3D1B-493A-A5D2-83B897BE0D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9a190b8a00765e304fc1e583e1ef82f6a5e73d2","datavalue":{"value":{"entity-type":"item","numeric-id":4358055,"id":"Q4358055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08145e0636311bb5af2374d92493271d938aa6b1","datavalue":{"value":{"amount":"+0.7979194521903992","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":"Q3107339$B48633B4-6F48-4E68-B76F-A8DEC858C65C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"456e40e1ba83abf84a880db6c9a94e3c028cec26","datavalue":{"value":{"entity-type":"item","numeric-id":2637706,"id":"Q2637706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08145e0636311bb5af2374d92493271d938aa6b1","datavalue":{"value":{"amount":"+0.7979194521903992","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":"Q3107339$A36D4ECF-8649-4EC7-B448-C1D8BC96906D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Realisability in weak systems of explicit mathematics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Realisability_in_weak_systems_of_explicit_mathematics"}}}}}