{"entities":{"Q5221850":{"pageid":7251420,"ns":120,"title":"Item:Q5221850","lastrevid":58482714,"modified":"2026-04-05T10:12:54Z","type":"item","id":"Q5221850","labels":{"en":{"language":"en","value":"On sets of premises"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7185545"}},"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":"Q5221850$25E96582-6000-4D35-8CEA-DADCFFD2CDE1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf1d9b4086fa3e650f50f6a3d3df13383e78e798","datavalue":{"value":{"text":"On Sets of Premises","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5221850$9B4C907B-2FC1-4A76-B3BD-67B367B5B618","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"26146e426edfbd835150c884c3df6e4724152e31","datavalue":{"value":"1433.03128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221850$7E13C3BC-9DC2-4243-938C-816EDE262BCD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77957d2a774e12a03a600813453ee3aa2cbb20ab","datavalue":{"value":"10.1515/9781501502620-009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221850$F5088031-0D50-4F0B-B994-039B687AE823","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3cf3d2b6ff3020598de12f1ebbad1e4de92dcc82","datavalue":{"value":{"entity-type":"item","numeric-id":383357,"id":"Q383357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5221850$72571B67-8A90-4234-BD5C-5D7A912C1BB3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"acf087543524d623afbdd16ad688f4bdec86d00d","datavalue":{"value":{"entity-type":"item","numeric-id":5221601,"id":"Q5221601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5221850$2DF3116C-7BC3-4FBB-A1D8-0641698D11C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5742da56dc1731f3b0dbd67108cb88ffed960e3c","datavalue":{"value":{"time":"+2020-04-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5221850$F161E2FA-4BC9-4A50-B3EA-6E30F00A6C0E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3cfe6d2c71db4690a2617dca1df146e3cba7303f","datavalue":{"value":"https://arxiv.org/abs/1412.6783","type":"string"},"datatype":"url"},"type":"statement","id":"Q5221850$6634BF18-7BBC-4965-A4FE-FEC7A874FC16","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221850$BC1AD43D-C08E-4DBC-AAC6-B218DEED3FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221850$5346D183-EFF3-46B5-8A6C-A1C046A78501","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82ee93f878254d216f3cc96e6dcd27eb2025e4cb","datavalue":{"value":"7185545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221850$F7E430C5-B379-42B0-9B64-12F1FD65C20B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb426102764fe1a8dfec9c3d52625fba40ea705f","datavalue":{"value":"sequent","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221850$30309BC5-BE66-41DA-AAC5-C2B4170A29A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b399e80d32f01f0e5ecb7d27abf0eef31abf6cda","datavalue":{"value":"deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221850$2B845F6E-70E3-42BC-B52F-6570C16CE6F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60e394512f0ca6b210db019a457af7f9acb365c6","datavalue":{"value":"identity of deductions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221850$552238D4-6868-4E0F-A295-9BF157DC4525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4605262f950382e87dc58df46038532164191769","datavalue":{"value":"contraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221850$F08865A5-C83A-4720-A9B5-584FE0F3388E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3ed95a0436675086713b2e9097d338460074094","datavalue":{"value":"isomorphism of formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221850$73AC14A0-D498-4ABF-AFBA-B8B2C0476FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29f225847bebbbd70d61785ce4ab123db6af3778","datavalue":{"value":"categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221850$4EC15820-20FF-40C0-AA73-6B4B3109ADA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32706d3cf5c0180dcd1b9d83daad32cee9c1125f","datavalue":{"value":"adjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221850$327DCF73-1FE2-40FC-81A7-E53122414385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a6d092475732cb28db9aa7c59e9813ba3909070","datavalue":{"value":"diagonal functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221850$D5BC6FE4-DD6E-47E3-BC29-E2764EE7B36E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3e8f6007fec85d442fb112bda32a31899c9fa96","datavalue":{"value":"product","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221850$414A49AB-8603-459B-A877-8AFCF1591301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af54e051c4bdba93f3cfe661c0c6a94d44e8d87f","datavalue":{"value":"conjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221850$8921E568-DD30-4BBF-9BDB-C713D7188306","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":"Q5221850$68DFD72F-34E8-4580-BB80-73818CEE2F7C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"96e6ffe987e3acd93c943102ad26ed432dcb46d8","datavalue":{"value":"W1863042743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221850$A7BABEBD-694F-4DB3-8236-BC17C5FB5C69","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"215fb10386423ad233308f9c270e9d0e092daafc","datavalue":{"value":{"entity-type":"item","numeric-id":2500815,"id":"Q2500815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6175ad1209167308baa4cdb872eaa48bf2dd3300","datavalue":{"value":{"amount":"+0.695250928401947","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":"Q5221850$2F2B302F-6749-435F-8317-F0BBF007F2EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5601c9061a2615e6f96f5de2d390acd9bec9c6ec","datavalue":{"value":{"entity-type":"item","numeric-id":4918290,"id":"Q4918290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35602b169c1134a96eb41943f3e1189b682ae47b","datavalue":{"value":{"amount":"+0.6904396414756775","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":"Q5221850$F0B49CBF-DF4E-4384-8C0E-5E6E868A20FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62d0950f3b1226e6997e75c70690bc4d4b1bcced","datavalue":{"value":{"entity-type":"item","numeric-id":4650310,"id":"Q4650310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0608406017773386f723e37b2a47907b04f90dc","datavalue":{"value":{"amount":"+0.6878288984298706","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":"Q5221850$9669E0BF-4295-4DDC-82EF-3BFA89F0EC34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f277739ebe82fe1199bb0d8d467361d5a409cfd9","datavalue":{"value":{"entity-type":"item","numeric-id":4698605,"id":"Q4698605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f59d96d0a18539dfb163f98f065f22164d14d7ad","datavalue":{"value":{"amount":"+0.6859852075576782","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":"Q5221850$EF7F796D-5BF9-47F0-95D6-BCCCF2BB4DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ec77fcf2bd7579a89e62e24059e1c01eb5c87ce","datavalue":{"value":{"entity-type":"item","numeric-id":1068812,"id":"Q1068812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67d87377edd06b725112672790efeafecfbf40f6","datavalue":{"value":{"amount":"+0.673723578453064","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":"Q5221850$2236F53F-C67A-4EBC-842E-3B9AC6E147B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5221850","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5221850"}}}}}