{"entities":{"Q5283218":{"pageid":7312792,"ns":120,"title":"Item:Q5283218","lastrevid":52863473,"modified":"2026-01-23T16:22:28Z","type":"item","id":"Q5283218","labels":{"en":{"language":"en","value":"Reasoning about cardinalities of relations with applications supported by proof assistants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6750829"}},"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":"Q5283218$7F5A5C9D-A03D-4214-8AEB-9AB7BC915174","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"35029d9c82fe2745cc9d15a7914e0f7d0237f806","datavalue":{"value":{"text":"Reasoning About Cardinalities of Relations with Applications Supported by Proof Assistants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5283218$67E31432-D981-4820-B7DA-14E86301EB7E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93a12992c11fe04f6e6228ad3a430c1e516912f3","datavalue":{"value":"1486.68105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283218$4EEFD151-611A-451D-BCC6-199ED6F8D8ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b74faaa2ff02d422751251f7f8ab17663eced72","datavalue":{"value":"10.1007/978-3-319-57418-9_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283218$97935667-CCC7-418E-BD97-86FE135AE176","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e340cc0c1484f747cc53f9eda4f19c78a10991fc","datavalue":{"value":{"entity-type":"item","numeric-id":246440,"id":"Q246440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283218$53089B88-A73E-48D0-B6E6-992752457AB6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"40b55b51d1711e94124c260c7ee2d3d6bc2c1162","datavalue":{"value":{"entity-type":"item","numeric-id":2915131,"id":"Q2915131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283218$14C6B11E-7418-40B0-BDB1-6106628B5C94","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36ae9f0663dd67e81623b5f2360b90198adfccf0","datavalue":{"value":{"time":"+2017-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5283218$9A87926C-E7FA-4CA8-98B7-B93879F00EE1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283218$271B8EB9-9AA2-4C86-BD4A-C999C1FC52D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283218$B7BB995E-B440-42EC-BD8E-4443EEFC9079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f15d46cb8d4ffe0dbd9357e013b784d0f700114","datavalue":{"value":"05C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283218$257AC790-EF13-44CA-BBC4-D14AD8654B6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283218$1F8178AF-324F-49C8-8ADC-F2C37BC51DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283218$E90BD76D-69B9-4CF5-9E74-DE095CC00A62","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e99088e5cb648ea078ed8b4f5f60d07835e7152","datavalue":{"value":"6750829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283218$855DDDDF-88F6-4CFF-A5CA-2537C6DF2067","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283218$8B348DE2-1116-4AF0-AB4B-B709547FD0CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283218$1100EC46-0148-446E-9B31-9AAB30B7930B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283218$58EDCADF-9571-4C45-A377-4D84CF3A4C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283218$C32C3B86-2F0E-484C-8791-3A7EC2ADAF54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283218$1E995192-0469-440F-8E68-747B24BAC33E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6ee09fe69dfa555094283e37ed7e7b0f7e7f6dba","datavalue":{"value":{"entity-type":"item","numeric-id":43913,"id":"Q43913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283218$94764B74-C0C3-4913-8495-FFC4BB6C7DB7","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":"Q5283218$CE2C458B-20E2-4952-9365-CA9741D111C7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e818167531beb462f8db443b9eb81f8ec9d90f0","datavalue":{"value":"https://doi.org/10.1007/978-3-319-57418-9_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q5283218$90854A1F-8CE3-428F-BC29-42BF59275A19","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cd3aaa2dd9166bdd1ad6737edac73f4ded019f96","datavalue":{"value":"W2608071279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283218$722AA07B-53A3-45A6-BB4A-E1010F42B9FA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"611908bf059ffd574a8cbb5cf98cb2f6b69811b2","datavalue":{"value":{"entity-type":"item","numeric-id":738869,"id":"Q738869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283218$6B3391AF-38CB-4621-A143-0D70901D4EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c66a0889ac39cf406c35639cbf3bc8add8e2a39c","datavalue":{"value":{"entity-type":"item","numeric-id":3460631,"id":"Q3460631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283218$575C05CA-43C3-4CF9-BC5B-6DD7A63D0E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13c18ad8ed71ab3b938f2e89c4c20790fdb497d9","datavalue":{"value":{"entity-type":"item","numeric-id":5963086,"id":"Q5963086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283218$7D442739-6A3A-4EB5-84D1-A478A9DA8A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"284bca2eab6807888353e6047e0bdd0c97abea3b","datavalue":{"value":{"entity-type":"item","numeric-id":2829280,"id":"Q2829280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283218$4AF8722A-A3DC-4097-B07F-25E01D5E71AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e65a7c62d8ac53263b35784497f41cc4b969cd3f","datavalue":{"value":{"entity-type":"item","numeric-id":3995720,"id":"Q3995720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283218$F6409155-18AA-4A02-B3D5-4FB985A467FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"551681d017f4f47c8c95263caf4b8f4e168dd7da","datavalue":{"value":{"entity-type":"item","numeric-id":5459186,"id":"Q5459186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283218$1CF09906-C797-46B4-871F-42229B961B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ac0741082eee268d8fb2391d4dc966a1c3f9e9","datavalue":{"value":{"entity-type":"item","numeric-id":868510,"id":"Q868510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283218$0FF43B5C-8EC4-4E4D-8ADB-2449EC32DFDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283218$C66603F5-E794-4608-B491-3218C7FE41EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30913205e97beb5c571c720f15fb23e67f5add3f","datavalue":{"value":{"entity-type":"item","numeric-id":5327344,"id":"Q5327344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283218$A4FFC9D9-F994-4685-8A9A-920885814BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbc106b731042db90c61107a1945c225e20e2508","datavalue":{"value":{"entity-type":"item","numeric-id":5287518,"id":"Q5287518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283218$E7EDE78C-EBFF-45B8-83A8-3B02D6643B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a681fcbfc0930850efc373f2fc1b878ee795412d","datavalue":{"value":{"entity-type":"item","numeric-id":5283218,"id":"Q5283218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283218$5267CEBD-9BF9-4C45-8014-7590E273B701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55279b562077235a83c8f027abb8a1db79401d8","datavalue":{"value":{"entity-type":"item","numeric-id":3194730,"id":"Q3194730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283218$B9CB4A3A-AC2A-41A9-AC69-2FA5AAD8BC1D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef16cc20a77299af5e1a68597f6b98275b6d3b27","datavalue":{"value":{"entity-type":"item","numeric-id":5963086,"id":"Q5963086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53bfabce668b6d27a259b11f36991153c05634c4","datavalue":{"value":{"amount":"+0.7936127781867981","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":"Q5283218$169584C1-0269-44F1-B88B-76BA2373D031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e59853d10342a644908d3bbc31469b55f1134284","datavalue":{"value":{"entity-type":"item","numeric-id":2829280,"id":"Q2829280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7330c24c8b355d4b6def1ecdc36db918a973dea8","datavalue":{"value":{"amount":"+0.7848398685455322","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":"Q5283218$DC0524FF-09D8-4F9B-83E5-8B145410A53E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cca2854fd7a79135ee033b108f9035ae95e93f2","datavalue":{"value":{"entity-type":"item","numeric-id":3460631,"id":"Q3460631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c0d4520a11a60ea02c0b07db03cab2e5f9df6c3","datavalue":{"value":{"amount":"+0.7591277956962585","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":"Q5283218$1BB179D1-423B-4305-89D7-15DE22A6C30B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b7f24183b68ebc695bbe96ffcc90df20eaf5698","datavalue":{"value":{"entity-type":"item","numeric-id":738869,"id":"Q738869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad0c197e04a854dab2878964c42c94aeb9fd87d4","datavalue":{"value":{"amount":"+0.7075028419494629","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":"Q5283218$12076D9F-91D7-4CD8-8580-FD8F1D317A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"895a24b297715db4b23a6932e26e2f4e2b1fe459","datavalue":{"value":{"entity-type":"item","numeric-id":4484332,"id":"Q4484332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b51affc0c643cbd6f6bfff6b21a7739c8da5a91","datavalue":{"value":{"amount":"+0.6897822618484497","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":"Q5283218$32B1A336-4A75-4CE4-A965-6C7F51FFF6AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5283218","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5283218"}}}}}