{"entities":{"Q6637783":{"pageid":14248935,"ns":120,"title":"Item:Q6637783","lastrevid":40606986,"modified":"2025-03-10T10:10:51Z","type":"item","id":"Q6637783","labels":{"en":{"language":"en","value":"Algorithm and abstraction in formal mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7943811"}},"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":"Q6637783$76DF7564-1A2C-4A7D-9B08-89F89DB438FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ae16a1bff51e5665c0afc0e7656124e2a35a70a","datavalue":{"value":{"text":"Algorithm and abstraction in formal mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6637783$57AAE0E3-F9D7-4289-B839-097D1E3CD8CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f5ac9138e8d2c3692ced94e7597f95f218fee211","datavalue":{"value":"10.1007/978-3-031-64529-7_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6637783$530F090A-B784-48F3-9770-D14A5C162A54","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e14dacc63b6dc54408a9c18a47b52131676d9276","datavalue":{"value":{"entity-type":"item","numeric-id":658023,"id":"Q658023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637783$76FBFACD-ACA1-41DC-88F8-53F864D3FC65","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94ed3d9ad2009d09c98d19037b5add3226f6f958","datavalue":{"value":{"time":"+2024-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6637783$82581E6A-E770-4E16-B06F-21CA4175ADB4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51b7800ccceb407b4c9aa81c10252a3a04dbfebf","datavalue":{"value":"68Vxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6637783$8D451D5C-B0D6-456E-A358-6B8CB5F7C0C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ccfe81c1483dc071aba7305d12c387593d39984d","datavalue":{"value":"7943811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6637783$A6525FE4-9930-44D2-81E9-1C942C80FE94","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":"Q6637783$6AA6FD4A-F12C-4C10-A4CC-6841A4C856D6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae30b3c26d4c8fe68567ff748fe6fcefe4ef8701","datavalue":{"value":{"entity-type":"item","numeric-id":5048989,"id":"Q5048989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637783$124713AB-8897-4E7C-A026-948F54562591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2669c1d0481e61627b3452e2cbadf97e3de178d9","datavalue":{"value":{"entity-type":"item","numeric-id":4236892,"id":"Q4236892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637783$2879D1D8-1010-4482-89B5-3B397C2524CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2c121c79cb894d11fa7f09e2051424f0cdc13b8","datavalue":{"value":{"entity-type":"item","numeric-id":3964490,"id":"Q3964490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637783$E0DF3350-00E2-474F-A4F7-A583B1F1BE76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c5a532c33c02d635cd521843fbb7455394e00b3","datavalue":{"value":{"entity-type":"item","numeric-id":5795114,"id":"Q5795114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637783$EE1AC354-6318-4D1A-8D11-E8AB2899E0A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54eee2313932f532ca016c516cb047dfc95351e0","datavalue":{"value":{"entity-type":"item","numeric-id":5428257,"id":"Q5428257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637783$9653FC91-3D0B-4CA7-926B-9A635397D60F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95e37db2eef3f9b1d261585b732fcd8910d7ba79","datavalue":{"value":{"entity-type":"item","numeric-id":6130524,"id":"Q6130524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637783$880C7BCA-9F52-4C29-94F6-E37FD159C2FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f53fd5ef8d2ba77ffc3cfe9616b1e931add5fd3","datavalue":{"value":{"entity-type":"item","numeric-id":3502619,"id":"Q3502619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637783$B2C5AF1D-E2EE-41BE-9365-7F87313055C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d9190693f3924b86be7203c014f0b8b161bc6f8","datavalue":{"value":{"entity-type":"item","numeric-id":5302559,"id":"Q5302559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637783$71C805B7-DC2E-424E-BB77-1FFDE5540D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dac16af6cf1adb18d0516e2c8db27f45fc424e6","datavalue":{"value":{"entity-type":"item","numeric-id":5327343,"id":"Q5327343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637783$18C2983B-32E6-4D22-8084-8F2124B3205A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"682946cb5e2c1f55656099d2603e3df34ac44c7b","datavalue":{"value":{"entity-type":"item","numeric-id":6159362,"id":"Q6159362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637783$C19F35E5-0E13-4B29-82A6-FE7ED2D44778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb4857d0d243b746647a153e1690cd4acc84f69e","datavalue":{"value":{"entity-type":"item","numeric-id":5280247,"id":"Q5280247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637783$5E8D6CB5-3D21-41B5-AA91-8B3463823043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e12bfeb0e8cb8ab7f554a71b74a6fc707ca7a34","datavalue":{"value":{"entity-type":"item","numeric-id":2542061,"id":"Q2542061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637783$C726EE47-19A6-400C-AA3F-4C9CE14080D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"374795c7439e3714b7924596735dd5194c8405d4","datavalue":{"value":{"entity-type":"item","numeric-id":2589513,"id":"Q2589513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637783$1C660B97-75E1-4D55-A331-383490D1D719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7902ad05fc58101eeb009f9da7bcfeb90392bef","datavalue":{"value":{"entity-type":"item","numeric-id":3608762,"id":"Q3608762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637783$0C2E79C5-26A5-41B3-B810-B1ABFECA3598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34f831bdd0445bbb207a58535cee0f990813469d","datavalue":{"value":{"entity-type":"item","numeric-id":2655322,"id":"Q2655322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637783$BC4A86CD-4B49-49C5-A772-BC5B401B7E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bf6b9d2ce411d579f1b21dd66b3a564adb7ab81","datavalue":{"value":{"entity-type":"item","numeric-id":1663218,"id":"Q1663218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637783$2BB56311-1DE6-4C1E-918B-CA0F83307796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae5be7a3a808b40ac414736b090a7ceb254afa74","datavalue":{"value":{"entity-type":"item","numeric-id":2965620,"id":"Q2965620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637783$36245293-FBB4-4B52-808D-6881ACE1C974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3473edfe0e31b429c0405615afe024ba69140e33","datavalue":{"value":{"entity-type":"item","numeric-id":5536167,"id":"Q5536167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637783$28C4F3A6-508D-45CF-B031-E75253FF9FB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ccd88318f5445d866b4b73dacc6c616fbfe96a4","datavalue":{"value":{"entity-type":"item","numeric-id":1935355,"id":"Q1935355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637783$35E21855-1B43-4303-8E41-248FD83C7F0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"432347ebf7758fa5347be4c601bf2d08f68cb652","datavalue":{"value":{"entity-type":"item","numeric-id":2055901,"id":"Q2055901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637783$CC797431-5202-412B-A669-2466DEBEEE0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8242928870aab67343ad0152eb7ca8357168f7f3","datavalue":{"value":{"entity-type":"item","numeric-id":3454108,"id":"Q3454108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637783$8456F84C-E8ED-46F8-8F5E-B2E7AF4BC1F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dd1c2d2c0f722280dfa8f9eca5fc2302b234afd","datavalue":{"value":{"entity-type":"item","numeric-id":4713639,"id":"Q4713639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637783$79A218E1-3BCC-41E3-8A06-CC25E24F8149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24a7db326e43376dc12c8369f0aa456c47e285a4","datavalue":{"value":{"entity-type":"item","numeric-id":1297036,"id":"Q1297036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637783$5BCB3D52-CDA6-449A-A2FC-A2D5D9A7EAF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5318249f647ed72ae382e19f5eb95967f288ea9a","datavalue":{"value":{"entity-type":"item","numeric-id":5452356,"id":"Q5452356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637783$4613DB68-7C12-40D7-92A3-EB0586F4F47E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b3c86719beffa574d5754bc195ec31b1274957","datavalue":{"value":{"entity-type":"item","numeric-id":2443390,"id":"Q2443390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637783$4EE7C1FE-5621-411B-9ECF-BB14069EC0F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6637783","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6637783"}}}}}