{"entities":{"Q3647242":{"pageid":5677148,"ns":120,"title":"Item:Q3647242","lastrevid":50837576,"modified":"2026-01-15T08:47:32Z","type":"item","id":"Q3647242","labels":{"en":{"language":"en","value":"\\(\\mu\\)-programs, uniform interpolation and bisimulation quantifiers for modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5640523"}},"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":"Q3647242$1D8F3980-FBC8-4A3C-9669-B1CFFF143D22","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c3878367e7b52b0704baea059583404e663edf91","datavalue":{"value":{"text":"\u03bc-programs, uniform interpolation and bisimulation quantifiers for modal logics \u2605","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3647242$588171A7-D091-4887-B0E1-83FC42481C83","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"441a9ad6c9a79d41eb3beb1299a95883191c3c36","datavalue":{"value":"1186.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647242$FC07FD4F-3C4C-4367-ACAE-778538EF3993","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bc4d377d3637058f1e83788786b9a25ae94a603","datavalue":{"value":{"entity-type":"item","numeric-id":481099,"id":"Q481099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647242$CCE27900-C924-4C50-96A1-6DA5607EE0C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a24a57d77aefd8460dbb03e9524615c44c518008","datavalue":{"value":{"entity-type":"item","numeric-id":392378,"id":"Q392378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647242$132EA66C-1833-43CE-B8D9-2224454D1B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b731434e1148d12c80d6300dedff0088d080112c","datavalue":{"value":{"entity-type":"item","numeric-id":476191,"id":"Q476191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647242$C54132FB-A6D2-4302-8808-9464F4F812CF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647242$F9693460-4DB2-4A29-AE5E-CB1238B4BD97","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0282e8a69b73ad7ee83a673994f773268a123e65","datavalue":{"value":{"time":"+2009-11-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3647242$FCD1F874-2580-450C-B16A-B7B088525B01","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647242$1CF97B75-44B5-4DC0-AEBB-8AFB1DCA61B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647242$3D4CD48E-1EE0-48D5-8E6F-4D8B26C905D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647242$D640ECD3-C1CA-4E0C-B6EA-8A2C2F133900","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5687c2337d066aed55666afec1ee4c8c0c3ad329","datavalue":{"value":"5640523","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647242$34FDA3A8-4040-410D-A0AA-04D14961AB9C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647242$19EC3C06-D6C8-4541-A151-C2906C6DA6D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7483599c59da95d0e43be2d6c09c0ab6121fcd50","datavalue":{"value":"uniform interpolations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647242$55476FDD-9A99-4C9D-B8B8-6AAF732DDA44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d13fe3141ed30017042d09d7bb940bc6ac1211a","datavalue":{"value":"bisimulation quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647242$4F72D5D1-F64E-4A21-B57D-71F70DF4374F","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":"Q3647242$EFD1C3A0-7BEB-496B-9501-D81663611EE5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e3de45e8eb5fed6a4a46ca03cd2994f8ddd3fc4f","datavalue":{"value":"https://doi.org/10.3166/jancl.16.297-309","type":"string"},"datatype":"url"},"type":"statement","id":"Q3647242$ACC826B2-D47C-4A1E-8BA9-1CD90A10D654","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8c3c56e736e68dea107a14c425bfec707cd4d304","datavalue":{"value":"W1975054948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647242$0DE47258-B651-42E5-ACA9-F78F101F230E","rank":"normal"}],"P223":[{"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":"Q3647242$7D7A97D4-435A-4AFF-82BB-450A8FAB7BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c626cbe404122091a83026b026d88f35b4752ecb","datavalue":{"value":{"entity-type":"item","numeric-id":3509051,"id":"Q3509051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647242$2883777B-6DC5-4B0C-B60C-5ADFC3662EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bee824d2e0910e556fcc580e2b02e6de025931f8","datavalue":{"value":{"entity-type":"item","numeric-id":1902553,"id":"Q1902553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647242$14B90139-DCF5-43A7-BFE1-6F11E27A6B07","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"eaf30af939a6d082c683e2b78c21daa4f50a4462","datavalue":{"value":"Q126266246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647242$C99A2240-88DF-480C-BA7F-6ECC97804886","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"43c73893c923f811c29769770a24f9315271560e","datavalue":{"value":"10.3166/JANCL.16.297-309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647242$F45BC2B3-06BA-4683-9898-4EFFA2DCCD7D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f96cf457d3b33a953fc5ad72fe5f3ba1b4c33e82","datavalue":{"value":{"entity-type":"item","numeric-id":3613043,"id":"Q3613043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08edc0df9ce2cfe77a7cb2e73cb00f9e145df20c","datavalue":{"value":{"amount":"+0.8847203850746155","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":"Q3647242$76DFF89B-DB7D-44E4-B29B-EA04A7FC75B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91240a69adf266f22612679fce0b8310fc5de142","datavalue":{"value":{"entity-type":"item","numeric-id":4215595,"id":"Q4215595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77de60200e54635c55af1fc3dfecf5755aebabd0","datavalue":{"value":{"amount":"+0.8435511589050293","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":"Q3647242$6E1574BB-555F-4CA8-9EE6-B84D87AFFF7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04225f4473bb0d2061fc7a79e5131680e65f419a","datavalue":{"value":{"entity-type":"item","numeric-id":2904063,"id":"Q2904063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89b8bf205b35fef5e6a97e9c4400783af09af56f","datavalue":{"value":{"amount":"+0.8435509204864502","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":"Q3647242$3C6F7733-48DD-4F76-845E-43EAB5904DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8360e23067f6d47764214a5f12daf6448a5281f8","datavalue":{"value":{"entity-type":"item","numeric-id":2506827,"id":"Q2506827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"061703e424835f07c7d494f49f40f4c9011b0a39","datavalue":{"value":{"amount":"+0.8417059779167175","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":"Q3647242$7D4E8123-F29E-49FD-9F5F-D1EED331CDC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e80b454cf3bbbc7e0419d7cafb0e6fcd4d2c0e0f","datavalue":{"value":{"entity-type":"item","numeric-id":4893140,"id":"Q4893140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbfd6a987d3338c5f3687fd4596aec6182394b61","datavalue":{"value":{"amount":"+0.8228455781936646","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":"Q3647242$3DA39798-6B3E-4843-889B-CBB1CD3A0404","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3647242","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3647242"}}}}}