{"entities":{"Q4931321":{"pageid":6960903,"ns":120,"title":"Item:Q4931321","lastrevid":51097022,"modified":"2026-01-16T15:56:38Z","type":"item","id":"Q4931321","labels":{"en":{"language":"en","value":"Counterpart semantics for a second-order \\(\\mu \\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5795667"}},"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":"Q4931321$7D5E9EDE-AF84-4DB0-A6F9-7DEF20B70F1F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"87ca3d93c21050b25566b8bbbda7a78ccbbd7499","datavalue":{"value":{"text":"Counterpart Semantics for a Second-Order \u03bc-Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4931321$595D5511-9DFD-4F2F-A56F-71CDC0B9B572","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c6d478e2b9caba28c1aab5fcd9a57d8e270f005f","datavalue":{"value":"1306.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931321$8AFF875A-32AE-430E-B3A9-D10ED76297B4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e1aeec95d96341ffebe86a0c04efd44648b3c8e","datavalue":{"value":"10.1007/978-3-642-15928-2_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931321$02D03BBA-4548-4F4E-89A5-475DDEC7B84E","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":"Q4931321$C3974C44-8D3F-432C-8502-5F87EF0AB8A3","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":"Q4931321$4757AF95-F12B-4E66-855B-076D27F863FC","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":"Q4931321$A7EA03F2-97D7-4DFC-BC23-15AB5914668D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4931321$EACF2F69-B2EB-490D-B8F5-590B56358446","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74cfab7d3906afc05e862851cc22fb484b12e8f1","datavalue":{"value":{"time":"+2010-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4931321$20E32B76-D3CF-413C-9BD7-1598D177B788","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b219d1c63ba444fcd4088b1b65472157fac6d4ef","datavalue":{"value":"http://eprints.imtlucca.it/143/1/gaducci_lluch-lafuente_vandin2010a.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q4931321$5E58793C-381C-4C5A-9AF0-745910A54324","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931321$8F3DF06B-4A8C-484F-9F9F-4944C02B58B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931321$9AB33776-2CA9-4136-80FC-ADE9DF30BCB3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"96fab977ebd4092cd7e2f8a5a34b9c4032265111","datavalue":{"value":"5795667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931321$C0B5D811-C456-48D5-9F5E-638DEF058928","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05b9c970a78a4fb223fce82202d15abaf7b80499","datavalue":{"value":"quantified \\(\\mu \\)-calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4931321$8B6284E7-1242-451E-BEFE-2BC42751D7FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"586b44b549203c66170c67bcfe3dd1118d00edd7","datavalue":{"value":"counterpart semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4931321$706672CB-99F1-49E0-B641-B02AB77BE2B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e18200ee6b0b3649be51331390917d6447bf73ac","datavalue":{"value":"graph transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4931321$ABB4ECA5-EE5D-40C8-9850-93AE36CAB374","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ccb2a2c67fc0b615dade98a95c9052d41a2b922c","datavalue":{"value":"Q56501617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931321$BE70A202-CCDD-4D71-867F-F4093712A45E","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":"Q4931321$85C79682-7677-42E4-8523-E6E972C80ADF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"13190908070d8125e0721ddf811ac0a711b65c9f","datavalue":{"value":"W174151355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931321$6C2B8668-4760-4612-AA0C-490814548FF7","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"b45be3c6753f5cfbf04618ef4fb341bb50eee011","datavalue":{"value":"conf/gg/GadducciLV10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931321$F4B2127F-02C6-4DF4-96D9-9EA1C63FD959","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc6eb3feda20857f84d2af01a89181585b15b7b3","datavalue":{"value":{"entity-type":"item","numeric-id":2898468,"id":"Q2898468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"345c35a48222cc9692e0e1911704d5621ccf260e","datavalue":{"value":{"amount":"+0.930467426776886","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":"Q4931321$88651936-29C0-4605-AA0E-AE8204955F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05ce87779035b72e06c94609861e2c083a408563","datavalue":{"value":{"entity-type":"item","numeric-id":4708610,"id":"Q4708610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c232768794ec987fe0da540bfa87064fbdea02a","datavalue":{"value":{"amount":"+0.7418085336685181","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":"Q4931321$AF9EF4E1-67EF-4865-A226-5E6F9418C17B","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":"0c19968a225a50f9c003e8ed4c5d748c6316a939","datavalue":{"value":{"amount":"+0.6940650939941406","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":"Q4931321$925D5D55-8EE1-4BCF-945B-360B31CEA698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7b78d1dd018b4adb2240427ef9fddef11635ed3","datavalue":{"value":{"entity-type":"item","numeric-id":1959394,"id":"Q1959394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fda7b52c876e056d2953bc0e0d4d1b467265163b","datavalue":{"value":{"amount":"+0.6888728141784668","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":"Q4931321$185487A7-056C-4D5F-83AD-54CBE9C6B26A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd182e6e7ee252e3c10b03f928c4565b0c730301","datavalue":{"value":{"entity-type":"item","numeric-id":3569045,"id":"Q3569045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53188bcc1a976020332f9b75755e51d203735fa4","datavalue":{"value":{"amount":"+0.6876891255378723","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":"Q4931321$1556629E-DAFC-4577-805D-157FA79DB469","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4931321","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4931321"}}}}}