{"entities":{"Q4380557":{"pageid":6410156,"ns":120,"title":"Item:Q4380557","lastrevid":97075796,"modified":"2026-06-05T13:15:02Z","type":"item","id":"Q4380557","labels":{"en":{"language":"en","value":"A selection property of the boolean $\\mu $-calculus and some of its applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1129471"}},"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":"Q4380557$17079DFD-0363-48B2-930E-CC66B42B2FB0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1ff8c67e7b9e9fe26bb1b1ebff6eb13a276df017","datavalue":{"value":{"text":"A selection property of the boolean $\\mu $-calculus and some of its applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4380557$EB71205B-692A-4165-9EF8-AF76D6134232","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2810ddb22d812c0807ae9c871052979612538f1a","datavalue":{"value":"0936.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4380557$935190A8-146E-4E0C-838A-2E4BF0C0D283","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb11a7d64aa2e2ac6f5f0a641dfeb8e0525b889d","datavalue":{"value":{"entity-type":"item","numeric-id":2720405,"id":"Q2720405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4380557$0B8BC719-26F8-4991-A42E-01155985BE34","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9ff6f78d2c46342fc5d8d801323510e9e41b4f43","datavalue":{"value":{"time":"+2000-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4380557$E2BD2B04-1175-4A28-A2DD-603D631BCEC7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e1b94c195e15ff01814d5b53201ee2edcd351874","datavalue":{"value":"https://eudml.org/doc/92567","type":"string"},"datatype":"url"},"type":"statement","id":"Q4380557$B1D466BA-268F-49BE-98CC-9C557A08C23E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4380557$96EBD4DA-CE72-44F9-B7EA-173A8B9143D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4380557$94522F7D-4CC6-4F14-A86F-504C301EE40E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4380557$5E63957D-A13E-4FF6-A182-E42DA0EEB454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab61fb2d4201bc94cf09f5737001908cd5ef158e","datavalue":{"value":"06B23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4380557$E116EB30-87AA-4931-95D4-B903A84624A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f3eb9b2932c3fdc120e877804d57f4cb2d94e9","datavalue":{"value":"06E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4380557$B8D03536-E1D3-4064-BC58-6220D75B53AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4380557$8F786CD8-9A67-4A67-ABD9-E6DCA6C691BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"48716d911ce7bdbe02efacbcb5b13174e2beb732","datavalue":{"value":"1129471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4380557$7CDEE02E-5CBD-40E2-B92D-41132DB2B3A7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4380557$9F73C7AA-17DF-44BD-875B-05797F86AC79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02c7dfd1ab67fbce273f865d4ce0edc484c69f9f","datavalue":{"value":"complete lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q4380557$0D2AE01F-4D59-4C96-9F08-8B5B7509D63B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4195da307c92bb984465b19d012a6dcc46575b5a","datavalue":{"value":"monotone mapping","type":"string"},"datatype":"string"},"type":"statement","id":"Q4380557$B58C3657-F316-4024-B0C8-A56F4E7508A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8d9b90d8cba59aaef1d765ae8eaeda7c123576d","datavalue":{"value":"games on graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4380557$967B4254-2B91-484D-93B7-B506EE44DE8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b462f38abee80906c2d768906563204d6d43dfc5","datavalue":{"value":"modal mu-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4380557$B84D540E-FEDD-40B6-B2C2-EA3C8342E92F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b628ee37bb1de264bc13811ff0dbdcc706e2c5eb","datavalue":{"value":"automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q4380557$616D3738-FC64-4CF7-914C-5C78EB53F1D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eda177117d6cc33b2646d897ece0bf9201e02df","datavalue":{"value":"selector","type":"string"},"datatype":"string"},"type":"statement","id":"Q4380557$9C1E7ADA-57A0-4610-8F35-AA67C382F87F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f07bf463f7dd0ae34a6ca7eac63af8055d6cf8ac","datavalue":{"value":{"entity-type":"item","numeric-id":671987,"id":"Q671987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4380557$8D541631-D712-4F35-9155-EA9A51C48B7F","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":"Q4380557$64A7C1F3-689A-4ECB-80DA-5FD4A7ED5F09","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"74f1adbfd532d26dd9f6e8b241ed149827c1bb21","datavalue":{"value":"W1565810170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4380557$F34B8CF2-818A-4466-B524-81F8B6A845CC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"89136b2861aee80a28bb632c30d89c0ce71953da","datavalue":{"value":{"entity-type":"item","numeric-id":1325844,"id":"Q1325844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4380557$851CACAA-5E5A-48B9-9506-C51731577907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebf828b7c6d2ed049ca70d578a6ec95770129b4d","datavalue":{"value":{"entity-type":"item","numeric-id":672383,"id":"Q672383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4380557$34C0379D-2EEE-4F1E-86D4-FC037D6C1790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6720ea54e8d7bda1f526d6d3b9396cc0b55a891","datavalue":{"value":{"entity-type":"item","numeric-id":1115196,"id":"Q1115196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4380557$767059B6-23A2-49DA-8B2B-27515CA1DFEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe8caa258152596951f3aed3546536f53bb4ec18","datavalue":{"value":{"entity-type":"item","numeric-id":4273664,"id":"Q4273664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4380557$64F70328-E902-45E5-8D95-6EE15B99762F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c7a7ed2697f26032ba1d9f163966d4ba6ea9f4","datavalue":{"value":{"entity-type":"item","numeric-id":1314640,"id":"Q1314640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4380557$D1373AC4-C042-429D-A4BC-803B3FC89245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6adb1e48aa7d82b462397e04de8ae48c530c0de9","datavalue":{"value":{"entity-type":"item","numeric-id":1119630,"id":"Q1119630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4380557$6C2CA4AE-EAE0-4911-9892-6BDAA62D267C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"383a3ca7aae52562570b64d9d10b45f0e5fd4501","datavalue":{"value":{"entity-type":"item","numeric-id":4593948,"id":"Q4593948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4380557$194DA2D0-D222-46B8-9C5C-0BEB2AEEE7FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee0f06f8149ad9449d52f3e00709cc707f14bc42","datavalue":{"value":{"entity-type":"item","numeric-id":1276252,"id":"Q1276252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4380557$BB1CC61C-0A7E-47F6-A294-A7E881BEEA63","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d0f69a62ea06fdf19a2d956fd403fd1e0317eaa2","datavalue":{"value":"10.1051/ITA/1997310403711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4380557$4B6BDD98-5493-47AB-A751-CC2628749AE1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"429ceecd8fd14e3a700bd0400fc5b26ea5b45556","datavalue":{"value":{"entity-type":"item","numeric-id":5926539,"id":"Q5926539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6176bb60ddf75367fe3924ba8d8a2f4a7d2dae48","datavalue":{"value":{"amount":"+0.7596333622932434","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":"Q4380557$98020A11-CD06-4E46-81F8-75B682F1714B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb6a410e9d8f63b27d1237c3fa283697e3de45d9","datavalue":{"value":{"entity-type":"item","numeric-id":3617361,"id":"Q3617361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4d3570fec6510db35c8ceaea9ed457d81d6e219","datavalue":{"value":{"amount":"+0.7350336313247681","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":"Q4380557$34426080-E662-4C2F-8D9C-E90086D93F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ade5bf4d76fbd0e376b47448f793f09e728564d2","datavalue":{"value":{"entity-type":"item","numeric-id":4411813,"id":"Q4411813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef25ce8cc34f03f0a499b2abb66c88ede04563cd","datavalue":{"value":{"amount":"+0.7327051758766174","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":"Q4380557$BC226891-FCED-438A-8D3D-4BF9A932D32F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A selection property of the boolean $\\mu $-calculus and some of its applications","badges":[]}}}}}