{"entities":{"Q5495932":{"pageid":7525492,"ns":120,"title":"Item:Q5495932","lastrevid":52059947,"modified":"2026-01-20T20:48:38Z","type":"item","id":"Q5495932","labels":{"en":{"language":"en","value":"Flexary operators for formalized mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6327270"}},"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":"Q5495932$F8BE425A-C21D-4522-B959-8FA56CD964BF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"608eeab0a46830c092f0e7868f67a9e975aa39d6","datavalue":{"value":{"text":"Flexary Operators for Formalized Mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5495932$FC0B7D3F-D293-40A5-94C6-956EB5470557","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f88d83c68819af866b8b7ed9fd0b9f1ce38c9c8","datavalue":{"value":"1304.68171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495932$DBC7E5C4-763E-432B-8FFE-51DDA29B2653","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d746fedfd592274da0805be14954bd9fafde2ced","datavalue":{"value":"10.1007/978-3-319-08434-3_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495932$062FDE37-3742-4251-99D1-2185D6F9EEF8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e727f7412a28c7638c002661822734993886d80a","datavalue":{"value":{"entity-type":"item","numeric-id":654912,"id":"Q654912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495932$F28249B5-41B6-4F03-9869-7E1CF1FA8981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc5ea7724245f13d1458583f67e1c62f50c4bfe7","datavalue":{"value":{"entity-type":"item","numeric-id":263102,"id":"Q263102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495932$6C607E5D-6E67-428E-8380-EF3384072DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2058e152866416201cc45ced58405f55031245a7","datavalue":{"value":{"entity-type":"item","numeric-id":219445,"id":"Q219445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495932$6574A6E8-948B-4EC7-B890-446546D495C3","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":"Q5495932$E6C4822F-EAB4-4011-875D-95083A20A4F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1c94d745affbb1f035e3911adf053858df897bb7","datavalue":{"value":{"time":"+2014-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5495932$8D2E7A30-320A-446B-B1E4-3CF1DE05DDAD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495932$50C9A115-97BC-4A5A-905E-932D423090BD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6917139f358dce8f0831b6ad2f162fcb79d4d897","datavalue":{"value":"6327270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495932$12E7AE2A-E0D5-48F0-A09F-FE9F7CE68891","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2f814033a9e00705fd84c6b6f7e45c7e0a90bd8f","datavalue":{"value":"Q57389322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495932$D61FD24E-BE71-430B-988F-89EB3A0F3517","rank":"normal"}],"P1463":[{"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":"Q5495932$1B739A5F-AD8A-43D6-A65C-44DABDD9C16F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d89eed7087f93c1cdf4120c868b02779d34eaa8b","datavalue":{"value":{"entity-type":"item","numeric-id":13309,"id":"Q13309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495932$15EFDFBD-7E0D-438C-BEFC-428CCB180D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b3d79b8b392d9701f6cbf0671ff230a2010e255a","datavalue":{"value":{"entity-type":"item","numeric-id":19191,"id":"Q19191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495932$57715EB8-EA8B-4D39-92CA-2DE17E2C6696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"771503fee8982049925eed89301d9abaf6576239","datavalue":{"value":{"entity-type":"item","numeric-id":19192,"id":"Q19192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495932$942DBDCA-60B0-4715-B412-5C3CA7F862FC","rank":"normal"},{"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":"Q5495932$88EE50F2-0719-4901-BCBC-6B4EB59B4009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495932$169318BC-BCCC-4944-9DD8-751DCE1B6842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"087358e857ad594acb3b44c885eda09255cdcc10","datavalue":{"value":{"entity-type":"item","numeric-id":42581,"id":"Q42581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495932$52D072AB-AD87-4B12-8AB3-E6A77CF3F121","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":"Q5495932$1F82C7C1-AFB8-41B4-8896-5D31793FD9FC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"168802adc6e06225af64a3db2f28e2af5b0e8eb8","datavalue":{"value":"https://doi.org/10.1007/978-3-319-08434-3_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q5495932$D9E4BCD4-40C2-492C-B517-9323C758ED85","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"21f09c25447e23e6c3e9f814d2020306ab0a6ae3","datavalue":{"value":"W126695022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495932$C12F2697-DF08-448F-9AA5-772C57AE1FFD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495932$7430BC95-7745-43BB-A2C5-9E06B86CFF0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495932$49B92189-064D-4030-AFCF-4FA175369C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2d8a82c54657d02bb198ddd93f92ea9107dc67b","datavalue":{"value":{"entity-type":"item","numeric-id":5313058,"id":"Q5313058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495932$31F86237-B5C8-4568-B9D1-C41B25F8FC30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"692645ba0e13e1ab798946ded35053c7569206ce","datavalue":{"value":{"entity-type":"item","numeric-id":2907348,"id":"Q2907348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495932$C36986A5-ACE1-4117-9D43-AB0025DCE033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495932$9007368B-BC9F-4473-939C-0EB04E1E7032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a4d4048d68302ad95851d7b1bf999b446bba869","datavalue":{"value":{"entity-type":"item","numeric-id":2751369,"id":"Q2751369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495932$660749F6-4619-42F4-95A6-13BFC6E90753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dedc68dadd430a8cbde5a901ead9a15c139e567","datavalue":{"value":{"entity-type":"item","numeric-id":2843035,"id":"Q2843035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495932$04E5DEDC-83CF-4C6E-A01A-0BEF6C58728E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e46d03ed8baa9ae878960109d39dea9a2288f13","datavalue":{"value":{"entity-type":"item","numeric-id":391632,"id":"Q391632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495932$9AD8B5CC-4414-4891-B29A-6FDEA866BDB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d731d1aa0b811dd0152950d78401d4b994f3107","datavalue":{"value":{"entity-type":"item","numeric-id":5898515,"id":"Q5898515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495932$0BF6C611-CD0A-4F4D-9ECA-D8F5A54E7D49","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23bcbd725ba58a64ef035a81fc5c540c4e22d292","datavalue":{"value":{"entity-type":"item","numeric-id":1749141,"id":"Q1749141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0732cae31b4027ff8c2003c793a0cee676c8358","datavalue":{"value":{"amount":"+0.746636152267456","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":"Q5495932$3662ABEC-1E4B-4041-BE13-1D5076510517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2763d5870551069d07b0a88eec5991bf219b8a3f","datavalue":{"value":{"entity-type":"item","numeric-id":3543652,"id":"Q3543652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ff0556bfac08b6638618356fcf26ba2a343c7a9","datavalue":{"value":{"amount":"+0.6645508408546448","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":"Q5495932$B253E432-FAC7-473C-8BC3-F78E87F3A118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d969b0fc68ad7e31167a84fb187788fbe217dcc3","datavalue":{"value":{"entity-type":"item","numeric-id":1984791,"id":"Q1984791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0618881f70c2ceb8ee6ab49cbe7a5d54db5c6d91","datavalue":{"value":{"amount":"+0.6372401714324951","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":"Q5495932$8DDA92C5-8D22-4C1B-852F-BE0344CA3BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f28079fac9e033be8346d93a1ed4803a86b7c50","datavalue":{"value":{"entity-type":"item","numeric-id":491771,"id":"Q491771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfd9c7cdf52d107913c76d8188a1a3c1f67ddb3e","datavalue":{"value":{"amount":"+0.6334500908851624","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":"Q5495932$84525CFC-6DE3-421A-9370-1416983B32BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35e8aa2a5d3c8a8495b3128320f0845f2f1f12ef","datavalue":{"value":{"entity-type":"item","numeric-id":2879095,"id":"Q2879095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f6628bb37e71cbc907a34a28353c01180a7162d","datavalue":{"value":{"amount":"+0.6333630084991455","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":"Q5495932$8519EF4A-D40A-4461-B31E-15C2DF944D2E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5495932","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5495932"}}}}}