{"entities":{"Q3521992":{"pageid":5551896,"ns":120,"title":"Item:Q3521992","lastrevid":49015786,"modified":"2026-01-06T11:47:44Z","type":"item","id":"Q3521992","labels":{"en":{"language":"en","value":"Algebra of Programming Using Dependent Types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5317306"}},"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":"Q3521992$8D788664-3598-4B9D-BC98-8484E9A900DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa0d4ecf26c57ecf8ef51cdd5611ec5e39be73fc","datavalue":{"value":{"text":"Algebra of Programming Using Dependent Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3521992$DC1354D0-E775-4832-8EA0-BFEBF8AAC2A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"131126c48a1f0aa9b5454e4b76f73dab466f7a40","datavalue":{"value":"1156.68358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3521992$CFE92504-95D5-4CE5-AF63-56A34C8281DA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f654c2619281a1cff67973b79cfeafe0f0b40b5c","datavalue":{"value":"10.1007/978-3-540-70594-9_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3521992$1A9778D1-70AF-46A8-BFB0-9A0A1DB101F7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de02a9fa0078d5c4dd476379688b2208c97acc13","datavalue":{"value":{"entity-type":"item","numeric-id":1648869,"id":"Q1648869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3521992$E0CD7408-365E-4900-A501-C3759982CFF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c7f44d1008a3aa8136e9ce23239e92615a7cf11","datavalue":{"value":{"entity-type":"item","numeric-id":1725930,"id":"Q1725930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3521992$65D05A7C-9F91-49A0-86B4-CD371698F47F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e6b49a79ddd8f1eec318f733110278cbf98781e","datavalue":{"value":{"entity-type":"item","numeric-id":1347991,"id":"Q1347991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3521992$AEECE25F-A5C9-43AE-B3FF-AFC77A3D653F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3521992$3B0B3731-130D-4EE0-9D57-914DF3301FD8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a6f30c96b939eda7f5ad6004e94c006250dd509","datavalue":{"value":{"time":"+2008-08-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3521992$276F63E3-8C98-4F67-BB5D-A43006656500","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3521992$6035FBB4-D346-4937-BC9B-E8BB4E2F5E37","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"79a459fe2efeacd79f2015b2492e1575f7fd4e3d","datavalue":{"value":"5317306","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3521992$359A561D-227F-4FB0-8B6D-B14BDB09EBF7","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":"Q3521992$6203EC7C-0D98-47F4-8A6A-2DE0EC56DE61","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"397e2b0b790b90b674ca138d0298fef993d3aa27","datavalue":{"value":"https://doi.org/10.1007/978-3-540-70594-9_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q3521992$46631FD2-BAA5-4D29-A243-7F81922A205E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b8f1581ecf6c00c171607fdfc619e778e678d787","datavalue":{"value":"W1575779505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3521992$F3682486-7A71-4710-ADC7-EAD4C073739B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc19f055d55f9abb4a7f436135735a8657522ac2","datavalue":{"value":{"entity-type":"item","numeric-id":5234272,"id":"Q5234272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3521992$201C5214-94F4-444B-80D2-08EF895DFC78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7265479d5cd976358ec176e13070366f2dcb3c2","datavalue":{"value":{"entity-type":"item","numeric-id":1916357,"id":"Q1916357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3521992$EB5D20D9-FC9E-467F-87F8-B1722B4F7BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15f915bd6752b8e731b62673178ee8eafb7e0b32","datavalue":{"value":{"entity-type":"item","numeric-id":4331824,"id":"Q4331824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3521992$413D6B30-2FCD-494A-AF17-2EE2A3FFA929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20c4ea0596e044007edf9b18c9de134f0b57e605","datavalue":{"value":{"entity-type":"item","numeric-id":5958614,"id":"Q5958614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3521992$FDE00806-C562-402F-9D1B-F9F78F2A2998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0191c8d55bfb13f05e230de930538ee944fa6808","datavalue":{"value":{"entity-type":"item","numeric-id":1336951,"id":"Q1336951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3521992$C881C094-9B73-4563-8FB3-80AB35DFDDFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec4660297b9572a381c5c5177c89363feb957221","datavalue":{"value":{"entity-type":"item","numeric-id":5712427,"id":"Q5712427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3521992$2DF4FA12-30B5-4400-B28E-8406A2C461DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3893e24895c818d766b4ac601e2292c1956a8e2a","datavalue":{"value":{"entity-type":"item","numeric-id":4819653,"id":"Q4819653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3521992$4153EAA8-AC26-4241-91A5-4D3E44C5D013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3672c8b02758806da440a6d77105fdfedf9117e1","datavalue":{"value":{"entity-type":"item","numeric-id":5308083,"id":"Q5308083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3521992$AA6B205C-65B1-400D-9318-B4440EB5FBEC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8a5324825a2c42612d8cdf741c2841c5ea254fe","datavalue":{"value":{"entity-type":"item","numeric-id":5244796,"id":"Q5244796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbd8a360dea99a03701754b0d2a33c6d288d9264","datavalue":{"value":{"amount":"+0.93719965","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3521992$59446587-6C61-4716-91E8-FD0391D7B9E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83a9a1cb2c762ff8bfb3334266634affdfe71512","datavalue":{"value":{"entity-type":"item","numeric-id":5193019,"id":"Q5193019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b7fe160f4a5d5e22046d07ddb7b49d07c0229ea","datavalue":{"value":{"amount":"+0.9308221","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3521992$0CFC8FC8-3043-4EF2-8C3A-010C79128E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d3b7bcd1d68db7d577128e4a5c1fa35ac4c5ac0","datavalue":{"value":{"entity-type":"item","numeric-id":3644935,"id":"Q3644935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad5ea8bac7aa826f58e5bb64bbccfc3601bb41e8","datavalue":{"value":{"amount":"+0.9165563","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3521992$80321242-8F0E-4682-B4A2-CF1A117468AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"968ef3c413e5fe02e2d496a820a84be2c7737a1a","datavalue":{"value":{"entity-type":"item","numeric-id":5255080,"id":"Q5255080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"084a7b40dde1aa0246bd3434fb598c74f4e071f3","datavalue":{"value":{"amount":"+0.9092523","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3521992$9B95C957-E64B-4023-8552-D9E14757C0B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0712d7a29a924a2ece9e5c4c46b8bc70284ae23","datavalue":{"value":{"entity-type":"item","numeric-id":1916364,"id":"Q1916364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be37bbe9a9866f6758cf25d7519635361be33e88","datavalue":{"value":{"amount":"+0.90732","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3521992$EFEABD07-5154-43D1-96BA-861962024125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"187b62627e66cd358a52ec0d56e639fc73eeacc8","datavalue":{"value":{"entity-type":"item","numeric-id":4025341,"id":"Q4025341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"333a7fd15cdb7a3e0c4377b4b24a50cce1656b17","datavalue":{"value":{"amount":"+0.8911102","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3521992$BC75EBE2-3F2B-4C7E-8992-34CE339B5A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4246eaf4aeb7ee18b6fadc7db2ccfc3206320db","datavalue":{"value":{"entity-type":"item","numeric-id":5703756,"id":"Q5703756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fc3d1d74dd05296c842aaa4b612dfcb37ea1877","datavalue":{"value":{"amount":"+0.8902459","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3521992$4A71190A-7124-4042-91A6-7BA989D68A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"940723fd7e6ea9f480a9accdd2cd50405f238aad","datavalue":{"value":{"entity-type":"item","numeric-id":3736891,"id":"Q3736891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53dce2159184a26f5718e6866a81b5518794adcd","datavalue":{"value":{"amount":"+0.8893059","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3521992$C0AD4932-91C3-4565-B945-B6ECF3CDDAD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d31d8ba59c9a05bbabc856f1bd33a0866d5cd466","datavalue":{"value":{"entity-type":"item","numeric-id":3090909,"id":"Q3090909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90e4faf93cdc49054ed9f1a948c78b1f28126be5","datavalue":{"value":{"amount":"+0.8874579","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3521992$6046200F-FC0F-4304-9298-A4EECA584773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"052b05f52bce14eca63d5caa03f50876afa12cf9","datavalue":{"value":{"entity-type":"item","numeric-id":1694026,"id":"Q1694026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f75bd452fd1f21c20ce5b3ed9316f3458bd47a5","datavalue":{"value":{"amount":"+0.88307244","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3521992$60EAF4D6-EA82-483F-8D00-B02A7B83DDEB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3521992","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3521992"}}}}}