{"entities":{"Q2898468":{"pageid":2909193,"ns":120,"title":"Item:Q2898468","lastrevid":84934877,"modified":"2026-06-03T05:14:11Z","type":"item","id":"Q2898468","labels":{"en":{"language":"en","value":"Counterpart semantics for a second-order \\(\\mu\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6054486"}},"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":"Q2898468$25E5B87A-A38F-45F9-A3BA-2F5D2A378170","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13a8b2433283b5257c76de4b9b13fe10142b7c78","datavalue":{"value":"1260.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2898468$C16BFB9A-86F0-4510-B637-629FD8DBD2AC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f49c2a6dbc943c61590ac3f6b34dcc70ac388e6","datavalue":{"value":"10.3233/FI-2012-709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2898468$12A11357-ABC5-422F-B8BD-EFD62C2C5063","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e3445d7abc4eee928243e03ab31bdb8317e366c","datavalue":{"value":{"entity-type":"item","numeric-id":344544,"id":"Q344544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2898468$07E6CC93-FA5B-4B31-95DB-43E8901F092A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a48df084089efbad17e99837a84945e27512c4e4","datavalue":{"value":{"entity-type":"item","numeric-id":832280,"id":"Q832280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2898468$06CC287B-49E5-468C-81EB-B2DB85E011C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8979f1934477b077026f3595b253feac6f475c34","datavalue":{"value":{"entity-type":"item","numeric-id":832090,"id":"Q832090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2898468$572421AA-5D95-4E90-B46E-90E40E3460FE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2898468$292654EF-7BFB-475F-8BA7-8F6EF77802A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bd45fc3d52e63dd9b568441f08440ab7d091981","datavalue":{"value":{"time":"+2012-07-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2898468$4C13E6AB-B855-4CD3-9322-16777607A3B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2898468$70E86B53-403F-4E39-BC18-B73824ECC672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2898468$E9EAFEED-0191-4E29-8CEA-89B7A0362C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2898468$4CA976C9-BE93-4D40-8CD1-A81003528B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2898468$A9D5668B-4C57-4937-B41A-6B5EE11FFD85","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93917612e013a55b5b6fc71b61acc0e62da17677","datavalue":{"value":"6054486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2898468$74EDD4F4-2FA7-45AD-9811-C4902AEF8CA7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3dbfb17ff727e269dbdc985e2564865e929da1d1","datavalue":{"value":"quantified \\(\\mu\\)-calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q2898468$9BA9FD34-9EEA-421C-B917-EB9DAF84B6A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"586b44b549203c66170c67bcfe3dd1118d00edd7","datavalue":{"value":"counterpart semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2898468$A8080584-6A31-45F1-B71F-4CE9C16ADF94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2898468$C94DB5F6-F738-4164-A5C8-6BB2140055F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e18200ee6b0b3649be51331390917d6447bf73ac","datavalue":{"value":"graph transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2898468$073EE92D-9E91-4B8E-907D-1452F97AF8AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6185950b344a09bbe92b8aa0e7187812c8a418c8","datavalue":{"value":"labeled transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2898468$104343A9-FF79-4210-A304-1222B2F35E3F","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":"Q2898468$31AF27D8-AB9C-4DB1-BC24-0212567E8560","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1698f65c7f1d296e712d5c0c1b40cece7d82b38e","datavalue":{"value":{"entity-type":"item","numeric-id":4931321,"id":"Q4931321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbab897a6d3e720dc80b67e0eef4e13e205a07dd","datavalue":{"value":{"amount":"+0.9999999","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2898468$FCAFA7AD-432C-4D42-8D5F-5356EC3C7FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c2d0b5daa9213419ffc84806953b4e747a2b4e3","datavalue":{"value":{"entity-type":"item","numeric-id":751294,"id":"Q751294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f24494f3f04fd6ec368d4f603977588f9c5b1df5","datavalue":{"value":{"amount":"+0.8892423","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2898468$FA0D7BF2-396B-414F-9B7B-61F9AA6230A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2c3b3e41ea221ab6cf782447f57ac8882402dad","datavalue":{"value":{"entity-type":"item","numeric-id":2778830,"id":"Q2778830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cfc1924b0ea756b790c9b1c601baa69da76d7b5","datavalue":{"value":{"amount":"+0.8890501","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2898468$05722352-972A-436F-9BEA-455938F3C2A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d4100a26ede17f3cee25ab86916e0babdd41f8e","datavalue":{"value":{"entity-type":"item","numeric-id":4006235,"id":"Q4006235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"509328f55c21c6496cad380c9aee5e75038546a9","datavalue":{"value":{"amount":"+0.8847263","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2898468$84825CAF-B0AA-447C-98A9-53D6014E336B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56dea6ad997ecba48c4a0ab781f9549648f6e8f5","datavalue":{"value":{"entity-type":"item","numeric-id":4412837,"id":"Q4412837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ae21866be98db5f947c8349f068b9768d979908","datavalue":{"value":{"amount":"+0.88244206","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2898468$32536957-C3A3-480C-89E0-A9F17BA98C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efc0c3f3a562861af564f9d025187852fee41cdd","datavalue":{"value":{"entity-type":"item","numeric-id":6104378,"id":"Q6104378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d483ff74cacd7700310d38d980325f46f153ff8","datavalue":{"value":{"amount":"+0.8807953","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2898468$840F23CF-913D-40B3-A216-7A771E74392E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdfe8faeb7c5e632c37904d2120e62e56925732d","datavalue":{"value":{"entity-type":"item","numeric-id":3216628,"id":"Q3216628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b1b2fdb9c714f2e5b1a97a00a50afa60e979d4e","datavalue":{"value":{"amount":"+0.87855285","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2898468$11635416-F296-4D9A-898B-0739D784C37A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec631c05321dbc7306e9c1d245bda028c4260410","datavalue":{"value":{"entity-type":"item","numeric-id":5096261,"id":"Q5096261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3c51a3912961bd164adce1f1095c519848d472e","datavalue":{"value":{"amount":"+0.8733868","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2898468$48EB6296-50A8-4BA2-94AC-ADA9FA7FA6E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a31d0d3bb0b531bb7df7ea133c816859099a5a1d","datavalue":{"value":{"entity-type":"item","numeric-id":5458369,"id":"Q5458369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bd7d6340ed8ac9bd2969e021ab04dc389d066dc","datavalue":{"value":{"amount":"+0.8698877","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2898468$22EE9FAC-6542-4200-BE00-A43F231FF0CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7da9379e2837c3062d6deaeee1be9ad7fd2cbed","datavalue":{"value":{"entity-type":"item","numeric-id":3584942,"id":"Q3584942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37b8d75ce9ad2f73647ee19516c5b2d443ef6e65","datavalue":{"value":{"amount":"+0.8664211","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2898468$C5414A8A-F6BD-43EE-BABB-E1433E0D9EB6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2bd8cff1b3ef21c1156c8d6072b074aa3731ef99","datavalue":{"value":{"text":"Counterpart semantics for a second-order \\(\\mu\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2898468$2ABFBD9C-2D89-4BDB-AFED-EEEE980CFCDA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Counterpart semantics for a second-order \\(\\mu\\)-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Counterpart_semantics_for_a_second-order_%5C(%5Cmu%5C)-calculus"}}}}}