{"entities":{"Q6565573":{"pageid":14176728,"ns":120,"title":"Item:Q6565573","lastrevid":57206658,"modified":"2026-03-27T11:39:32Z","type":"item","id":"Q6565573","labels":{"en":{"language":"en","value":"Herbrandized modified realizability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7874621"}},"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":"Q6565573$A363081B-7917-4FC6-AC5D-928F50F516FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c385684365586107fb7949149f3a82399c9ddde5","datavalue":{"value":{"text":"Herbrandized modified realizability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6565573$484AAD85-2794-45E5-A8C2-10AFCE3CB558","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90a8a93423af25d5afe64356faef2868078af676","datavalue":{"value":{"entity-type":"item","numeric-id":424544,"id":"Q424544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6565573$A8DE7C4B-7BBD-4D3E-B462-D523323633B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2bcd33ba757f5f6d3716f89daf0bc07c29065fc6","datavalue":{"value":{"entity-type":"item","numeric-id":470158,"id":"Q470158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6565573$F0C02B2F-6994-4510-95E8-7FC4B93C128C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6565573$400B3462-F78B-481F-9397-452A1993E11F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd626077463fab39887c759e0e24d4037425166","datavalue":{"value":{"time":"+2024-07-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":"Q6565573$F27A7F83-96D6-4CBB-9EF0-55F3BB7E0ED2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6565573$1AE8B167-EB36-4C46-A603-FEC6FEB94713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6565573$09205CDB-B1F1-48AA-B5EE-C2015642B362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6565573$D951C06F-2D9A-4971-A200-06929190014C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6565573$B15B2402-8556-4EE9-B0CB-081FAB700C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6565573$F964B73A-5695-411C-90AA-7C81BF708243","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"802620b25b4b5c7ceb23db108a87b0e408d6cd40","datavalue":{"value":"7874621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6565573$C2B983F8-52B1-4B7B-8DFE-1A1436AFCDFE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d61092cbbff856a3b199e03225e42bcac6db78","datavalue":{"value":"realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6565573$CAC302CD-5BCB-43D7-91D7-AC73C2B9339B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2716f3faf1d24b68cf2cd4cf29f2d39cc97473df","datavalue":{"value":"star combinatory calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6565573$4DF00081-A586-434E-83D3-18E87C7660A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3bdfaf50a859f5dcfd6c0d4cd8eb8dd602821d3","datavalue":{"value":"finite sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q6565573$FB284045-0719-4315-8493-EDE57C8C1E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6565573$FD8D7DB6-548F-4728-A9D2-CB1DE3523F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c6b970990dab40d69357bafd674174e833bc7d","datavalue":{"value":"Heyting arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6565573$E402BF94-381A-4FED-A764-00BC5FE3968F","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":"Q6565573$196C0AF0-D19F-461F-8824-876DA1EB56DC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a22804e4168b3a0666e86ce7365fe1279f0a0943","datavalue":{"value":{"entity-type":"item","numeric-id":3655246,"id":"Q3655246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6565573$71F8AA90-70FF-4EF2-B3B3-CFE0C0ACA860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb28c48c999673926e38f6ca4dfb012800e1e91b","datavalue":{"value":{"entity-type":"item","numeric-id":6167159,"id":"Q6167159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6565573$78A69B3D-AF6F-4C16-8132-26B13A20CCEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b2e99af7020dec449ffea2d0934884ccc24fb3a","datavalue":{"value":{"entity-type":"item","numeric-id":2195636,"id":"Q2195636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6565573$AD0096F5-D645-4262-9F32-12AD7427EF86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d67189c63269cad7e7ff47006ef0f8dbaf3a7f57","datavalue":{"value":{"entity-type":"item","numeric-id":2043309,"id":"Q2043309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6565573$41FC0B19-8CB0-4CF4-A035-53B01CA84731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"837bc1385595a868f157ad00f8e53f97083cfd9b","datavalue":{"value":{"entity-type":"item","numeric-id":2402958,"id":"Q2402958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6565573$6FDD09FC-FE26-468F-92BB-4781252AAD69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d26e7e48781a52e6dc033fbfd496250fb6f1e60e","datavalue":{"value":{"entity-type":"item","numeric-id":5477639,"id":"Q5477639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6565573$37C1BEA4-AC3B-4C02-B788-3EF89A8D57F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d26b1ef00bc67d2868d77b06ad6b8d2cf11afcb4","datavalue":{"value":{"entity-type":"item","numeric-id":2488269,"id":"Q2488269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6565573$C253BD6F-C818-4A6B-85FA-DE8F30D3BDAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d32dbd7b49271fceef4a09517e6d1a1601600a6","datavalue":{"value":{"entity-type":"item","numeric-id":3406445,"id":"Q3406445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6565573$F6B86627-9E64-48E9-8EA0-2A1417D02FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f231c78aee0a9996d37683e0e5678e6c7352ac95","datavalue":{"value":{"entity-type":"item","numeric-id":5843995,"id":"Q5843995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6565573$AD9AB7EF-E11F-47AE-A056-75E08710FDB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fa6c57aae1d21de49bf812d56ed5b9bb9f3500f","datavalue":{"value":{"entity-type":"item","numeric-id":3837732,"id":"Q3837732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6565573$0B008CA4-6219-430C-8150-B91E9AC81338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"171f82c1628c2a301543b8df444943d13a9c70e8","datavalue":{"value":{"entity-type":"item","numeric-id":5726687,"id":"Q5726687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6565573$7E265CE4-1A1A-4CE4-8BA4-6A1EEE44ACAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7130b8e8ad403bac4e3a609004e5598d1175d3","datavalue":{"value":{"entity-type":"item","numeric-id":5561939,"id":"Q5561939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6565573$E79C5DBB-9938-4748-8B1A-DE2AD80F2A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6565573$FE535E6B-899B-4BF5-AC8D-E4E9851585B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556c63d3d5fbb69adda2aaeb321f31370f38a3b9","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6565573$BE2294E1-9477-458F-A69E-79C058354B59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6565573$8B0E1AA3-44C5-4A8D-9CE9-A8920AABCB1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aba82a794e7b50f883ca25aef5af8219c4085648","datavalue":{"value":{"entity-type":"item","numeric-id":714729,"id":"Q714729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6565573$24C51090-81A1-43A9-B7AB-C344B0868C87","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f37fe7d35728ad77e0e031876a01b37fe12b0d28","datavalue":{"value":"10.1007/S00153-024-00917-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6565573$95BC2132-52C5-4517-9F6E-FB3B4267CA4D","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6565573$D3BF429B-43B2-45EC-92AA-3D9815D4DC79","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6565573","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6565573"}}}}}