{"entities":{"Q5014446":{"pageid":7044023,"ns":120,"title":"Item:Q5014446","lastrevid":58404243,"modified":"2026-04-05T01:51:02Z","type":"item","id":"Q5014446","labels":{"en":{"language":"en","value":"The arity hierarchy in the polyadic \\(\\mu\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7437713"}},"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":"Q5014446$D72D873D-C21F-41D7-A281-F3F559BB5EA8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d64f0c1c9bde5246cebf94b0ea8f1545e9d0e59","datavalue":{"value":"1476.68176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014446$71DDE7A2-0DF6-4535-8B18-95B4B319D1F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e9395c4897e056d54eaef255c0b18eeb46bea27","datavalue":{"value":{"entity-type":"item","numeric-id":386036,"id":"Q386036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014446$BC82C399-F344-4FC1-94FE-35A70C38F454","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdad15c107a3ec3b53d0f64c681b4e5a9ad3e19b","datavalue":{"value":{"time":"+2021-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5014446$DAF76659-E63A-4890-871D-8FC31DC42839","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0217e0062dbd5c66dc2d4f021589d20d804e48b3","datavalue":{"value":"https://arxiv.org/abs/1509.03018","type":"string"},"datatype":"url"},"type":"statement","id":"Q5014446$FD1900C8-2A71-474B-8BE4-F431217EF758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"d0117b475de3c4d1d00b4a6ab1f47919a5007a13","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?FICS2015.10","type":"string"},"datatype":"url"},"type":"statement","id":"Q5014446$043ABAAB-6836-4EA9-8F32-3E48B4CD1B03","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014446$BB0AAF0C-5869-4399-B4B7-E88E63055222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014446$780CF5D0-46DC-4A68-B922-9ECF1EE6F00A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014446$ABED37AE-7DA3-4F8D-BC75-08001226EF25","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18fc37b548af01159adcf9878a79eb8f55dd5880","datavalue":{"value":"7437713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014446$019FAE92-E43C-4781-BD3B-47A4753A21E0","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":"Q5014446$1C209395-A541-4208-ABBD-E73E6F9C4A3B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"71300c9d6626c040c8b83b0552be673eacfb707b","datavalue":{"value":{"entity-type":"item","numeric-id":3655261,"id":"Q3655261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014446$0E3E216A-8B50-45E6-A536-8445B56E8363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b8cb182758fb38507da200e061d13e9bc8ccafa","datavalue":{"value":{"entity-type":"item","numeric-id":4943546,"id":"Q4943546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014446$2C281592-011C-4B12-8B9C-0E6E2A66197B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26b89896d12727ad637f84067fae27b2c42f93ee","datavalue":{"value":{"entity-type":"item","numeric-id":2760241,"id":"Q2760241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014446$51828ABE-9FD5-4A34-BA34-2D8DE552029F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f70427d1bec1892856b306a28600257c0fb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014446$7D415352-B17E-495E-B410-7A8327DCE50F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bfb6b1fc05ad741479cef3c150af6f2f2528b6b","datavalue":{"value":{"entity-type":"item","numeric-id":6104376,"id":"Q6104376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014446$8BD66273-3A6A-49C8-B772-7D595E16C1FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b14ca4bd4280b253262c53bf2707644111b6884","datavalue":{"value":{"entity-type":"item","numeric-id":4943547,"id":"Q4943547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014446$5448BCA7-9212-43C8-B46B-A335A1CD7E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8ba1b09f64c762fed1a65e45c4f5a343e83986b","datavalue":{"value":{"entity-type":"item","numeric-id":606994,"id":"Q606994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014446$CF700797-2B46-44E5-81A3-B03A7D5A4122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a6045261392323d9d8a3f72fb4bd1c38c735051","datavalue":{"value":{"entity-type":"item","numeric-id":2563982,"id":"Q2563982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014446$309A68BD-5F40-48A2-9C44-82655BA34321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2683216c8d354f77e028a59e5cbe76bf8f7cbf58","datavalue":{"value":{"entity-type":"item","numeric-id":477204,"id":"Q477204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014446$9F6AA373-A0A3-4089-B8EF-E8A51A278BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a675fab4321817783597d6a1b8160efcb24c4ec","datavalue":{"value":{"entity-type":"item","numeric-id":3753525,"id":"Q3753525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014446$974D9F07-B025-46CD-B1BB-92545624A196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58569cfcb63db51abd33ef3dfc3dfca274845b33","datavalue":{"value":{"entity-type":"item","numeric-id":4744245,"id":"Q4744245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014446$C1A376E8-6714-4DA1-AEA7-5D2C34F1D7D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a45c6db4be13ac29556fe71e8bc839acc9f73d01","datavalue":{"value":{"entity-type":"item","numeric-id":4968489,"id":"Q4968489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014446$AA29D338-DAB5-4F71-94A0-91BD18876546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21815f2b6998c4be5541fe7e93f59fc23446bb96","datavalue":{"value":{"entity-type":"item","numeric-id":477208,"id":"Q477208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014446$FB7418B6-0685-4662-84DF-78DE0D59BB7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa853dc52082146519bcf70a82325d270f5956a4","datavalue":{"value":{"entity-type":"item","numeric-id":4818826,"id":"Q4818826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014446$71CDCDE3-6C20-42EE-B890-9480C4725234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"219f2c95e003de66dc6439cb3c03fdbe5010ab47","datavalue":{"value":{"entity-type":"item","numeric-id":1960425,"id":"Q1960425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014446$6E10943B-DE59-4611-9E00-C68ECBCA7328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014446$4DD82CF3-2A99-4168-B11F-A13165C48D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"498661e57f097849360a48f48785a3868e7f1cac","datavalue":{"value":{"entity-type":"item","numeric-id":1606130,"id":"Q1606130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014446$B0614D5D-C5BC-4FD6-A271-4FAF302194BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4abb079d9008f6a66be199478d5e07bda28a079","datavalue":{"value":{"entity-type":"item","numeric-id":3454725,"id":"Q3454725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84690fb180bec055537131f5435ffa886c7e6d5d","datavalue":{"value":{"amount":"+0.7880064249038696","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":"Q5014446$463534AA-01B2-4327-81D2-11C60F659F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85a19e4fe756e84b14e0c1cb0b1fd34a1397a1ec","datavalue":{"value":{"entity-type":"item","numeric-id":5710722,"id":"Q5710722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b081775d52e79245b99e7c8c1e67328a9debb6f","datavalue":{"value":{"amount":"+0.7878923416137695","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":"Q5014446$5080DBA5-29CD-4FAF-908A-38C3336168AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec4a8c0b4de7ee56825982eafcdf16c0418b3cda","datavalue":{"value":{"entity-type":"item","numeric-id":4593954,"id":"Q4593954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2d519fe00fa10d4f1682c8e2d7204b191c0004c","datavalue":{"value":{"amount":"+0.7729774713516235","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":"Q5014446$6CF574FB-3760-458C-B271-7D307E81C229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f43600c7ca878f3eee91bce418037d187d16583","datavalue":{"value":{"entity-type":"item","numeric-id":477204,"id":"Q477204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a285edc91aad8bda853a527fd8a146da306f5754","datavalue":{"value":{"amount":"+0.7672035098075867","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":"Q5014446$2FB34F8A-F415-4586-BCDA-D4A77FE280CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a62eb90c970836fde89637acbad581b0274865a","datavalue":{"value":{"entity-type":"item","numeric-id":3655261,"id":"Q3655261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d48b0d20e75d18c2082c762681dcfdbb049d946f","datavalue":{"value":{"amount":"+0.7648637890815735","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":"Q5014446$6D38B976-81AA-46B6-8D6C-02A90400168D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5014446","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5014446"}}}}}