{"entities":{"Q3540176":{"pageid":5570080,"ns":120,"title":"Item:Q3540176","lastrevid":50499128,"modified":"2026-01-14T05:22:26Z","type":"item","id":"Q3540176","labels":{"en":{"language":"en","value":"Continuous Fragment of the mu-Calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5369493"}},"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":"Q3540176$19438AD3-4FA8-4BFC-82D2-BBB805E6CCB5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"978e34701b50694df310cc3e695655e654dd6e51","datavalue":{"value":{"text":"Continuous Fragment of the mu-Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3540176$7953C33F-6965-4B74-8E30-2381C47EA675","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e1b8ab9042c77b4eb652b3817d2cb2d749278eb","datavalue":{"value":"1156.03325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540176$BB49F1B5-601C-49C8-ADBB-4991FE97E9C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6f1b0a86a40a87ae84236ea816f1730eed1e3b52","datavalue":{"value":"10.1007/978-3-540-87531-4_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540176$2D11D187-1DD1-4060-984D-E61DD65F6E7A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4806e22388fc22e3970ce41be246be0da279e951","datavalue":{"value":{"entity-type":"item","numeric-id":269315,"id":"Q269315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540176$B34A0320-F322-4923-968A-675252FA7853","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ce06ac78cec2c642b9fbad4cd2a2e4121754d54","datavalue":{"value":{"entity-type":"item","numeric-id":3540165,"id":"Q3540165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540176$92A1DCD9-E136-4992-BA29-B620147B667D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391f01da9d69c422d0ad9b2dbbb0b627908b1ac6","datavalue":{"value":{"time":"+2008-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3540176$7056CBDE-DEDE-48C4-882F-2925751194FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540176$D8494FB2-B8BC-4E93-9CD7-F605C33C2D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540176$00761A3D-E2E3-4A44-9121-F9D6C7881F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540176$937C3BBF-8E09-4658-A416-22C204004133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540176$DA33B785-705A-498C-AA1A-F1A58FE24B64","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de1191d3d5595023a6377e53f3d45034230e1ce1","datavalue":{"value":"5369493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540176$7BA5ECF0-2982-42CC-8F72-6E9287390DD8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7aa3fdbdf3b7584bcd007098b5e184978502a1cf","datavalue":{"value":"mu-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3540176$5EED3E79-93DA-45FE-BE18-566FE2EA9C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3540176$81A9D96A-142B-44B6-97F6-378CF951D41A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"879e21c4f470c80c413a06f6eb03d0c3d3659c07","datavalue":{"value":"Scott continuity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3540176$B68DB411-DCA0-4F4A-B29D-DFE645861600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b90914abff871562fca9868ca2da1c33595259de","datavalue":{"value":"constructive fixpoints","type":"string"},"datatype":"string"},"type":"statement","id":"Q3540176$3699A970-A2A3-4B63-AAE8-D5E42A8528F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea19e2d1db89ff418098a21cd3638245f3bc681d","datavalue":{"value":"preservation results","type":"string"},"datatype":"string"},"type":"statement","id":"Q3540176$7C3F075A-42F4-453C-99E2-B3D8E0E0D4F5","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":"Q3540176$93AA2560-F0AF-4272-9017-48AF0EBDF9A8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"72841d880cc2fcda370aae1d028676053f76900c","datavalue":{"value":"https://doi.org/10.1007/978-3-540-87531-4_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q3540176$911FCD81-D660-4A19-A11D-B3D727D6BF81","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f295c43cfaec438b6fa0869605017f25eaf37b02","datavalue":{"value":"W1600071783","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540176$F40ABCB4-0C02-455A-B560-52C06A47595C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"51168937b953606ba438f51561c83b743d0cfabe","datavalue":{"value":{"entity-type":"item","numeric-id":4843177,"id":"Q4843177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540176$E2D92DCC-8A04-42FD-8AFD-13D67138F7A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd46e00e025849b54a0892b5e385ef0d563478f","datavalue":{"value":{"entity-type":"item","numeric-id":1393228,"id":"Q1393228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540176$7DC39EBC-8614-4F6E-A2EC-ED412290FF52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"711e282bbd2865ebea7c8b287f5496055a3f9a3d","datavalue":{"value":{"entity-type":"item","numeric-id":4953222,"id":"Q4953222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540176$2A4C8BA1-6F9C-4AF2-82CF-5176786D9EE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cec9ba6e99d0b988d6ab1227e6bdd591bb955386","datavalue":{"value":{"entity-type":"item","numeric-id":1577354,"id":"Q1577354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540176$F0A9E28B-EDA4-4C4C-B8FD-7101FB6DB250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"772b2382f4add161c3830c55f431a966343e4cfc","datavalue":{"value":{"entity-type":"item","numeric-id":3122692,"id":"Q3122692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540176$A969C9F8-B48C-4C6D-BF75-D76EAF879293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b616d03b1219418af06ece48bd855e350c3cf3d4","datavalue":{"value":{"entity-type":"item","numeric-id":3569045,"id":"Q3569045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540176$273AF0B5-3697-401C-981D-6D9979BE4ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9ad1ca0c030444e5bd3d91e22695ff17d7ccef1","datavalue":{"value":{"entity-type":"item","numeric-id":3898534,"id":"Q3898534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540176$C1B4E6C3-4CF4-4179-8AB8-8DD93B843193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec39c4ba48368fe55c340c99f72435d76d7465e0","datavalue":{"value":{"entity-type":"item","numeric-id":2433098,"id":"Q2433098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540176$C9D2D06B-7B1E-42BB-AFF1-7C068DFB89D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"738c7e7218eb710cc2e430195a18e085d47a9f84","datavalue":{"value":{"entity-type":"item","numeric-id":5452177,"id":"Q5452177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540176$3F67EB6C-F5F5-4614-8743-9690E38665AC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec36172d005e4eb4f539d380bc30ca077d8ca169","datavalue":{"value":{"entity-type":"item","numeric-id":4603451,"id":"Q4603451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faaa2ca5c509bead44723941f1c073d8e8247f9e","datavalue":{"value":{"amount":"+0.8278353214263916","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":"Q3540176$DA3A224B-D760-48E9-AF7B-0964165D7A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24828d27186af82d4624127976b7de638ff3dba1","datavalue":{"value":{"entity-type":"item","numeric-id":4972732,"id":"Q4972732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c628f1629c22aa48788e7b6f6abb46189547d98b","datavalue":{"value":{"amount":"+0.8134195804595947","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":"Q3540176$7FFB1AB4-A258-49E7-BFA7-0322934C7E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35f3f647348ee8e4c772d350a9768ecf11cf6d1c","datavalue":{"value":{"entity-type":"item","numeric-id":5111208,"id":"Q5111208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aecacf741335251ea09d978e2a506148b4325e6a","datavalue":{"value":{"amount":"+0.8114300966262817","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":"Q3540176$5E6E4CA1-436F-49B4-9E6B-7032CDBAE3AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a1f46073c3621d2ba073c3d70cbb7d015be3d55","datavalue":{"value":{"entity-type":"item","numeric-id":714717,"id":"Q714717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a92df481928476b9e22cc0cd8c13e3d6cde23103","datavalue":{"value":{"amount":"+0.7907474040985107","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":"Q3540176$A9F83EB8-CD4F-470C-8598-AF9190A5D472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"147c6bfd28f499b09baf6da1add39b17bd630247","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88c17180e767c8b480d223ad38a62d7b80946f4c","datavalue":{"value":{"amount":"+0.7634682059288025","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":"Q3540176$E5BF77A7-A7E2-459C-A962-32F0902A019C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3540176","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3540176"}}}}}