{"entities":{"Q5090956":{"pageid":7120532,"ns":120,"title":"Item:Q5090956","lastrevid":94276157,"modified":"2026-06-05T06:24:16Z","type":"item","id":"Q5090956","labels":{"en":{"language":"en","value":"Hyper partial order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7561325"}},"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":"Q5090956$D804DD7B-4F35-41FE-9190-8F4036413EC0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b0b2fb0d8d0ef4d3f60b9aaf6e6e940befe4cd6","datavalue":{"value":{"entity-type":"item","numeric-id":453511,"id":"Q453511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090956$278137A0-6DD1-4BE9-B83B-5D440E852A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b91e01a9c6a200850df0b6fbd74c381fcb9720e","datavalue":{"value":{"entity-type":"item","numeric-id":314811,"id":"Q314811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090956$7A7961E0-6330-4FE8-8C20-09A111772963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ee0686316e41522af7e7375060d21297bc137f6","datavalue":{"value":{"entity-type":"item","numeric-id":436616,"id":"Q436616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090956$4047810A-D486-413B-B25E-B9B310B0ECDA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ae3e014d42c3e727189349ca8167d2ae32144d1","datavalue":{"value":{"time":"+2022-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":"Q5090956$7FE8B649-5E6D-42DE-AAAF-B3B8B289E36B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090956$F2C2D111-AEA1-4C16-B268-82781A3DA5AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090956$530F371C-35DE-4A9A-B42A-6807FE329AB6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10cf3af324850879bd9fda1ae6568fc40541204f","datavalue":{"value":"7561325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090956$92E29828-418C-4B71-BB0D-143FAA13482B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bbd3ab7bf1fbafed768194a39eff6e0454fe108","datavalue":{"value":"partial orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090956$FFC12B24-197E-4B9B-81D6-DAA8C36D1206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bbb0c1d4a0dde26226934f7234d049627289106","datavalue":{"value":"logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090956$44F06163-9B09-41C2-BBCF-E73BA185F7A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b2199715939f1d219d5d24036e45f4255b88268","datavalue":{"value":"hyper-logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090956$B7D6859B-507E-4786-9C51-9B7F5F8EE25E","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":"Q5090956$04B2F06C-ED02-419C-9515-4756DA1C4174","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ce8ab94263d75d8d64459463341cdcd187b079f","datavalue":{"value":{"entity-type":"item","numeric-id":5758138,"id":"Q5758138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090956$A029A53D-C1D8-4F97-9861-DC341A4FD8FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4b7727a577909eb10a5fe8c5b0eba9248116daf","datavalue":{"value":{"entity-type":"item","numeric-id":2465424,"id":"Q2465424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090956$A4C0B242-D541-400E-B201-EBD645E1BD32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51985b42e7756cedc7b7afc8713d8aa8fae8b9e9","datavalue":{"value":{"entity-type":"item","numeric-id":3541019,"id":"Q3541019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090956$715DD1ED-9E1B-4EDD-8CA5-892CDBD48AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b61eab092a09c0d71fa5d2d4bcb0ffd0b50ed40","datavalue":{"value":{"entity-type":"item","numeric-id":1959480,"id":"Q1959480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090956$21DB2F78-8A54-40E8-B49B-AE6C18335DD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b5146506644cf4f17f3d323dd4ae2007733a9f2","datavalue":{"value":{"entity-type":"item","numeric-id":1662539,"id":"Q1662539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090956$1AB58349-2F12-4AEF-966F-31A43E019DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e805f4099ea4645d02195689f6d27be17348563a","datavalue":{"value":{"entity-type":"item","numeric-id":2786133,"id":"Q2786133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090956$4192E965-8BFC-421B-9183-0E3A6CA76426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a156d0e955d918a0cf7c3031785e80a3fc845ba","datavalue":{"value":{"entity-type":"item","numeric-id":3077955,"id":"Q3077955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090956$4C814353-22A9-490D-8F82-AA2B98B2196D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1134f2341d7e5000fd707505605e06ca29388803","datavalue":{"value":{"entity-type":"item","numeric-id":2641288,"id":"Q2641288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090956$FC492A03-B1F1-422F-A952-F6C09F0060D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"664c83bf274f93d861a5c0c6834d01ddb129bcbf","datavalue":{"value":{"entity-type":"item","numeric-id":2912701,"id":"Q2912701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090956$490FC7B1-D503-465B-8A63-7833680D05A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd92129a26dbf41cdf266b4912c7209843a4f651","datavalue":{"value":{"entity-type":"item","numeric-id":1175711,"id":"Q1175711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090956$7C4013DE-35A1-4B1A-9D7A-F29BD848381F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29558a7d29a75e1c126135f22d6c400886954fba","datavalue":{"value":{"entity-type":"item","numeric-id":1600655,"id":"Q1600655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090956$3BF9AAF4-43F5-4763-8F5D-0C9F1657C99B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13f2dcf20c57430b1eac17b90e979c46f9c249ae","datavalue":{"value":{"entity-type":"item","numeric-id":5190791,"id":"Q5190791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090956$C15FB5F0-3C06-438E-87F5-41BC20AE5DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14f9918dd24d68d6a8b0715c23196dc11eb6c8fa","datavalue":{"value":{"entity-type":"item","numeric-id":684560,"id":"Q684560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090956$D5CEE13B-C16C-474B-90D9-4798615D08CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8738b6b5a4a448ae9d9ae40e910f6210802bae6","datavalue":{"value":{"entity-type":"item","numeric-id":4037325,"id":"Q4037325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090956$21F4E898-9971-4AF5-9339-E2C94C0D8C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8421bf31d8b0704e96001f7467f1d058f77af7c0","datavalue":{"value":{"entity-type":"item","numeric-id":4474224,"id":"Q4474224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090956$BDA70E56-3894-47DF-A108-BE8A17047793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8f234712b1aa94710207e78d0463a15230877fc","datavalue":{"value":{"entity-type":"item","numeric-id":5897770,"id":"Q5897770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090956$DDD67E5B-3D8E-4D7D-A44A-728370676129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05f4da4dfe5d34b9315297ae73f401ab40eab8a7","datavalue":{"value":{"entity-type":"item","numeric-id":1346650,"id":"Q1346650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090956$27CBBC93-CF17-4E6D-BB1A-400DFE1908CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c97726108eb5c94e4f01a19ba698615051e785","datavalue":{"value":{"entity-type":"item","numeric-id":1886450,"id":"Q1886450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090956$8D4CD3BB-3A8C-4773-8FA0-D39B6EC4B3C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e62926166610e171255ba7600cdacbb982331e7","datavalue":{"value":{"entity-type":"item","numeric-id":1179473,"id":"Q1179473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090956$8ED3D1C6-68D6-4D29-A0CC-D490EB0045FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de23c88d178d1757508970e713aadf32280e3ea6","datavalue":{"value":{"entity-type":"item","numeric-id":4965866,"id":"Q4965866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090956$7A8BD1E9-50B8-466F-B43C-B65B072050FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f9f183c346b75b6606d715ef16db844e4a05a8e4","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2018.20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090956$C0742F85-1C11-466D-8818-EC35EE77BE25","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fef505639c25aa14535a6d4144afc8b1686b755","datavalue":{"value":{"entity-type":"item","numeric-id":1774565,"id":"Q1774565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2e0b13ad15931b6caa8bb0176f6942471c32009","datavalue":{"value":{"amount":"+0.7576086521148682","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":"Q5090956$92EA0D64-E5E2-452A-B2AE-FBB871EE98B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ae0df9b052f38faac5ff96396c472935978d41d","datavalue":{"value":{"entity-type":"item","numeric-id":532389,"id":"Q532389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8be371978912bd51c335c3d36baef8c7d1ae658","datavalue":{"value":{"amount":"+0.7547328472137451","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":"Q5090956$B9B5CB2A-2FF4-4DBF-98D8-095E0AAD8182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95343ebf7aa3a2a166e273ab43cb51942840a9af","datavalue":{"value":{"entity-type":"item","numeric-id":2234054,"id":"Q2234054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f960070612071430b92bceaf4f4eff7852d96ed","datavalue":{"value":{"amount":"+0.7524619102478027","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":"Q5090956$67069AD6-4ADC-4AA4-85D9-6A33211F7BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c86ab52131965037bf0b3d39270a952c23fc7639","datavalue":{"value":{"entity-type":"item","numeric-id":3184685,"id":"Q3184685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b36f6ee94684eeccf471eef8611bfab99fb3ddca","datavalue":{"value":{"amount":"+0.7489408850669861","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":"Q5090956$06A54A68-ACA3-48B5-B563-6E1B78D7739E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"430a37bf04db9c21fe1ff8141794a20cfc720c0a","datavalue":{"value":{"entity-type":"item","numeric-id":1854268,"id":"Q1854268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c9c14bcd07e1975691bb0031f139234bf4cb3d4","datavalue":{"value":{"amount":"+0.7399507761001587","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":"Q5090956$90B6B754-D30D-49A6-9E43-D38B479F0126","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hyper partial order logic","badges":[]}}}}}