{"entities":{"Q6044105":{"pageid":13178261,"ns":120,"title":"Item:Q6044105","lastrevid":47851480,"modified":"2026-01-02T21:22:09Z","type":"item","id":"Q6044105","labels":{"en":{"language":"en","value":"Partial-order reduction in the weak modal mu-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7686610"}},"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":"Q6044105$15D93391-26F6-4122-A40B-528A01F91569","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1c3d57b72fbc4ae8f068cb25e21581ac14702fba","datavalue":{"value":{"text":"Partial-order reduction in the weak modal mu-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6044105$D81D5737-4FE2-4BE3-9968-1B2C696EBE96","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4491dcf5d5472349a7457dc1368a050f36868765","datavalue":{"value":"1512.68160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6044105$439B4D98-67F7-498D-963E-632BBF8B81E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c0cb32bdb998ed8f4f11bd84a6fe8599599933e4","datavalue":{"value":"10.1007/3-540-63141-0_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6044105$CE779B90-A241-4B00-8FBC-0E883265C272","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e7a92a96e6148fe777c586a5ea92900cd9ce610","datavalue":{"value":{"entity-type":"item","numeric-id":230068,"id":"Q230068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044105$A2731902-F935-4D43-8BDD-F93D38B0EA32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f8d39e08371c895d256df63166d986e8797f46b","datavalue":{"value":{"entity-type":"item","numeric-id":498914,"id":"Q498914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044105$8B3C6174-43F9-4CDF-9F16-9E9D88FFBF29","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2119d755bd5d418a3808091d51c0bc708f312de4","datavalue":{"value":{"entity-type":"item","numeric-id":6044104,"id":"Q6044104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044105$6F496AEE-6DDC-4A20-AD99-6B5820572C6B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e173d8a6d5fd8f9048a4897c8fc35d9b27bdc36c","datavalue":{"value":{"time":"+2023-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6044105$86AD33EA-8F88-4FA3-AE73-80C4D783310E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6044105$96D8130F-994C-4D39-BE01-0C683741C1C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6044105$B806DFAF-712E-4146-B528-52689D29AA4B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"44851f0407bbc69c7804811020a19f14c6fe1a40","datavalue":{"value":"7686610","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6044105$269A2213-1ACF-4332-8647-0B847CAB5F2E","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":"Q6044105$CBBF9907-11CD-4E11-B399-4DF93AEC5504","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7d504cd2920c89ad20fdb96a979d48aa28b53d18","datavalue":{"value":"https://doi.org/10.1007/3-540-63141-0_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q6044105$16A8325D-488F-498A-8D63-F94ED9C087CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"57d2abbe80dd098acf1c42ae008cfda97aad8db3","datavalue":{"value":"W1513924733","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6044105$D567C93E-1E11-42E9-9804-21663F99582E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b32a99c10e32559e3ab4db22c7269a43cf71de7","datavalue":{"value":{"entity-type":"item","numeric-id":1920213,"id":"Q1920213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044105$F2066177-2DEE-4E07-A9B3-736D08F6C628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0223e77bbb63d3c4a170868420904ca6d59df30","datavalue":{"value":{"entity-type":"item","numeric-id":3731022,"id":"Q3731022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044105$76364FD2-EE55-445B-9B66-0D202A0961EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044105$4F1E4878-9785-4906-8E69-F547C7A78794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044105$454ED2E8-44A1-41B3-9334-AB5519E98E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28bc60ee833177d563e5e082ad3a90443a25cb70","datavalue":{"value":{"entity-type":"item","numeric-id":1309679,"id":"Q1309679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044105$DFC2F058-6431-48F7-A418-F967C9D658E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6635542395ceab89ec0442ca8322133bfddc11d","datavalue":{"value":{"entity-type":"item","numeric-id":4369871,"id":"Q4369871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044105$4529906C-504D-49B3-85F2-BCFD212601B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91956939e5cb9f6747ac2f94705cf9343932b4fb","datavalue":{"value":{"entity-type":"item","numeric-id":1801499,"id":"Q1801499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044105$37B4F14C-DCDE-4DDE-BDFF-53453746F5E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc95d446f80c52ed7453599d680e586168dabac7","datavalue":{"value":{"entity-type":"item","numeric-id":1327383,"id":"Q1327383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044105$AA14E959-0655-4353-9F97-2CCD85CDF755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044105$AF4EC9D7-4168-4419-9F19-89185512B78A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"747cc4de9ba2a5f1b34ac1e3a64be5300b4f97a7","datavalue":{"value":{"entity-type":"item","numeric-id":960506,"id":"Q960506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044105$521187D0-70F9-4B79-BE11-7E571A818C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d53d19922c3a7c2ab66b49e3b99548004028739","datavalue":{"value":{"entity-type":"item","numeric-id":3940830,"id":"Q3940830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044105$CF980A65-E4EE-4932-8CCD-C38B08635836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa4614c3d7786f0db16d6ca3adbca9b075e1b1ff","datavalue":{"value":{"entity-type":"item","numeric-id":1177939,"id":"Q1177939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044105$42DC23CE-1205-4F82-AAF5-D94D4A654F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a791e6b13200f21127f48f475b5988c15175f95b","datavalue":{"value":{"entity-type":"item","numeric-id":5663889,"id":"Q5663889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044105$4279A5F7-AAEC-40EE-9397-991F3B9DD981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4fdb8e4a2fdf5458b7800cfcdabf92018c2fe43","datavalue":{"value":{"entity-type":"item","numeric-id":685106,"id":"Q685106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044105$B6683333-1420-41F2-AF52-ECF456A02B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6099da69c2eb7db5a8595f9de4e39712280e72e7","datavalue":{"value":{"entity-type":"item","numeric-id":4632435,"id":"Q4632435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044105$3556F941-DBC0-479C-87B9-53F6A09E7DEA","rank":"normal"}],"P1643":[{"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":"0ca68589b6636eadd76b91ea80ed0b1c2afce61b","datavalue":{"value":{"amount":"+0.8306187987327576","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":"Q6044105$A31A58C5-EBE6-463D-86C5-C63E30B6B842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d4cc3b957fee28e812a6d90197c8aae0f3811c2","datavalue":{"value":{"entity-type":"item","numeric-id":4503926,"id":"Q4503926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b226a4a2b5fd11a0fe12c2ced69654872963fc0b","datavalue":{"value":{"amount":"+0.8209046125411987","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":"Q6044105$787EF12B-CF11-41C6-A992-FD94798F3043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1124589407aabfdc5ce011f199f697dc8b5e040","datavalue":{"value":{"entity-type":"item","numeric-id":4353637,"id":"Q4353637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b1047db4000ac73d3181338b41eb32baedf6393","datavalue":{"value":{"amount":"+0.8104174137115479","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":"Q6044105$A734A009-22AC-4B9A-9B8C-028A5A45592E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8da86bc4214d441bd69ca1e5734b810c6f1e015a","datavalue":{"value":{"entity-type":"item","numeric-id":5493237,"id":"Q5493237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71efcddeab7128470e12c222d6c16c3249917105","datavalue":{"value":{"amount":"+0.8063928484916687","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":"Q6044105$3CA51D64-834C-4981-B352-A9C317989422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10b8af454ec2af791b492aaf4ed14827a82eb1ff","datavalue":{"value":{"entity-type":"item","numeric-id":4738472,"id":"Q4738472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c983d94e1745ecbc9b9ab49822a75a798bdfdc6","datavalue":{"value":{"amount":"+0.8047330975532532","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":"Q6044105$530A113A-60D2-4F71-9316-588837EAC69B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6044105","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6044105"}}}}}