{"entities":{"Q1683375":{"pageid":1694116,"ns":120,"title":"Item:Q1683375","lastrevid":68130627,"modified":"2026-04-12T21:38:06Z","type":"item","id":"Q1683375","labels":{"en":{"language":"en","value":"Functoriality of modified realizability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6816536"}},"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":"Q1683375$3F12B5B8-DE5E-44EF-A109-C3093EB283F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b0463843d8dca19a793bef492a1590264a9772d","datavalue":{"value":{"text":"Functoriality of modified realizability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1683375$24DD8769-415F-451D-A721-98FBADD34C11","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2fd2138c4e16cb5fea488563524c79803e1b9a71","datavalue":{"value":"1386.18008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683375$4CDAC272-E4F3-48C3-B037-64D0145E3AC9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0b20184a6fff1652901d0ca49b1ea674e3d21708","datavalue":{"value":{"entity-type":"item","numeric-id":250605,"id":"Q250605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683375$F08CA19F-515A-4E6D-8044-6C940B0458BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"854248848ffa58316de2f587c061c4c66e4e4ea2","datavalue":{"value":{"time":"+2017-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1683375$D02B9594-564C-4750-9BF5-A877ACA1CF67","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683375$5848EF91-5BA0-40AE-AD0B-2E145EC0EA51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683375$BF46AF4B-A8CF-4A57-A846-8001F9A3711C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683375$36090580-936B-44C6-9824-5AFB27DF5187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"88f26c5e5c8e9b1a1b9fcd1e726cfac3efaf2593","datavalue":{"value":"08A55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683375$9A80FCF8-5691-4599-B3B2-FCB1BC2A4257","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9b4f540d5fa885226b821b0c59679522986264e1","datavalue":{"value":"6816536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683375$A18F810C-C8BF-4A79-94F0-A6AA5F19B3EB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e65baa80c66ffd926eb7c090c0cc443ecc29865b","datavalue":{"value":"realizability topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q1683375$30DB5DA3-B36F-4624-B48E-81E82C77A1C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5421956e89c0ab796777cf8411ba9e640503366c","datavalue":{"value":"modified realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1683375$DBF418F2-A295-4424-95BE-4B46BF45F88B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"819df22c8f2640b67a040447996ed2bf73c10ef5","datavalue":{"value":"Sch\u00f6nfinkel algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1683375$C4182FD5-36CB-4658-B0DC-08DBBA9109D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9d9c949c56161faed1aade087470a53cfc22b03","datavalue":{"value":{"entity-type":"item","numeric-id":702196,"id":"Q702196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683375$EFE41F77-91B1-408C-BA0C-BAEC86CA8053","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":"Q1683375$62A693C1-EA39-4A3A-8E83-0F6745B6E1BB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f647db87dace18ae672ff60b92138659317751db","datavalue":{"value":"https://doi.org/10.1515/tmj-2017-0109","type":"string"},"datatype":"url"},"type":"statement","id":"Q1683375$946F4DE2-4FF6-42AE-A24E-D0CBFB507C4C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dc3801b452fb876b6a94f20437b650adf4ae372d","datavalue":{"value":"W2774746460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683375$EB002A8B-D86B-4A59-A9DF-E8B9628ED4B5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e05811417c5ee1af827cc59c118b37886d2c8a4","datavalue":{"value":{"entity-type":"item","numeric-id":5891131,"id":"Q5891131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683375$47F0069A-450A-424E-8A62-7B8DED01D728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c54891f86cbca57f8a8d1ce37326037a87c38a8e","datavalue":{"value":{"entity-type":"item","numeric-id":1849865,"id":"Q1849865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683375$CB60C5E8-C94F-489E-BE79-E2CE5C8F4B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"811242b51b2fbe0f7eaff68ef4417f3f8fbf2e79","datavalue":{"value":{"entity-type":"item","numeric-id":5248247,"id":"Q5248247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683375$786CCF42-BBB7-4E2D-A80A-FE4730195ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1829aee5986908c54b36a60378f43b8bef22e21b","datavalue":{"value":{"entity-type":"item","numeric-id":4207884,"id":"Q4207884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683375$8C95034B-CE7D-42A9-8CF7-EC9CDCDA80F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd67abd2467590c0cafdcd35bf27574ea1d9e02e","datavalue":{"value":{"entity-type":"item","numeric-id":4431167,"id":"Q4431167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683375$D405D515-0E8B-4ECE-BC5B-00CF83EF4818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09c1978a037b7ad6102f87ad7f2d924dda9eb813","datavalue":{"value":{"entity-type":"item","numeric-id":3897050,"id":"Q3897050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683375$DECA98AA-BE0D-49E3-A3D8-12EBCF3A4F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a90115fec3c9dd38731bc75a59a44443e7647739","datavalue":{"value":{"entity-type":"item","numeric-id":4281473,"id":"Q4281473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683375$466D480E-1B6A-44C2-9121-A13AA361FEF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b41cbef27cf2edd74cc41ddd8d179ab3a2e113ba","datavalue":{"value":{"entity-type":"item","numeric-id":4783274,"id":"Q4783274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683375$7139C122-24CE-40AE-BF01-F81CE3C85586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f044934af972e97f50b799669d7e72dc07493684","datavalue":{"value":{"entity-type":"item","numeric-id":2847361,"id":"Q2847361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683375$3D6F665E-224E-43A3-92BA-959BC2AF4CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d00faea8d391965b4e73225a490c177fb6948ff","datavalue":{"value":{"entity-type":"item","numeric-id":5413231,"id":"Q5413231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683375$9C1F5619-0964-4159-933E-7AF36DA5CFAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37a6ffe9d5ff0d3327ac24bd09efcc7b982a7944","datavalue":{"value":{"entity-type":"item","numeric-id":3820775,"id":"Q3820775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683375$F815F18C-5A76-4173-A219-E24D0945F8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b1835bfae18cc1adbabddf840b1ddb76432e899","datavalue":{"value":{"entity-type":"item","numeric-id":3826731,"id":"Q3826731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683375$4A6E82A8-CE3C-458A-B20B-9239755E5E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df9f17f6e274de37f6b4f47157fffc1375f6057a","datavalue":{"value":{"entity-type":"item","numeric-id":678851,"id":"Q678851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683375$4F11BBCD-AED7-4193-9536-DE47C6A53DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6d42c7fe9e08e949535125d9db7f6febeb811e6","datavalue":{"value":{"entity-type":"item","numeric-id":866493,"id":"Q866493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683375$2E6DB804-70AE-4D68-B9D2-7479BE7B5CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb99eb66c25fe4c4058c32bc65bca0017ab853cf","datavalue":{"value":{"entity-type":"item","numeric-id":1011333,"id":"Q1011333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683375$57C1BBE1-145A-4724-8A08-C3C37C9D157F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f1380ad1b4091c61076f6cc3520507e6e2b86ce8","datavalue":{"value":"10.1515/TMJ-2017-0109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683375$82D718C9-2653-47E1-A145-4784126205C8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1630fdbad4d07a5c069220aa32a913b6eb15d13e","datavalue":{"value":{"entity-type":"item","numeric-id":678851,"id":"Q678851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5aecbee262e7b3038ee8552ce26cec8577049bee","datavalue":{"value":{"amount":"+0.8478303551673889","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":"Q1683375$5EE425CB-6A50-43BE-836B-E6A2B2122DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"408d3618e601ef68ad249fb8223006b581df83a4","datavalue":{"value":{"entity-type":"item","numeric-id":938241,"id":"Q938241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"193d0520a4906b938d4f370602f1b3a95e5033dc","datavalue":{"value":{"amount":"+0.8433542251586914","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":"Q1683375$1D7F4004-88DA-4E41-B374-A46AD1D144BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"789c2943bf4c2de31e07ceb444c802b858b929b4","datavalue":{"value":{"entity-type":"item","numeric-id":1849865,"id":"Q1849865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"915d68c5045891a8005876f1e312f352d759d126","datavalue":{"value":{"amount":"+0.8355479836463928","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":"Q1683375$74C1819D-1FE1-4DAF-80B5-FBFC24C13CD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7510187e227362d379ef28e8f04e715169204d7d","datavalue":{"value":{"entity-type":"item","numeric-id":1356980,"id":"Q1356980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"915d68c5045891a8005876f1e312f352d759d126","datavalue":{"value":{"amount":"+0.8355479836463928","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":"Q1683375$FC1127DB-EAC1-4956-83EA-AAF4F610C945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06c500e46ae37c57df52a0c433156a84ee6c5881","datavalue":{"value":{"entity-type":"item","numeric-id":4281473,"id":"Q4281473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86ea6fa7ac46b92aa23956ce0a67b3c012663c3d","datavalue":{"value":{"amount":"+0.7886636853218079","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":"Q1683375$8E41C9BF-BDD7-4723-A807-F5C90C6DDC82","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683375$E77D0C2E-FD9C-484B-AF85-A877D5F033C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Functoriality of modified realizability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Functoriality_of_modified_realizability"}}}}}