{"entities":{"Q2842098":{"pageid":2852818,"ns":120,"title":"Item:Q2842098","lastrevid":79462931,"modified":"2026-05-06T13:58:01Z","type":"item","id":"Q2842098","labels":{"en":{"language":"en","value":"Hennessy-Milner logic with greatest fixed points as a complete behavioural specification theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6197893"}},"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":"Q2842098$2427B6CC-A98F-4DA5-9BBA-4FADEE607EB7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c049f19eafeddd75dac2eb080bf184f2457276f4","datavalue":{"value":{"text":"Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2842098$72FF0BA6-BABE-426F-B20A-5219E559E983","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"07298a1e985ed4e79f28c9b64f1419bf8b16d971","datavalue":{"value":"1271.68131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842098$EF2A882F-9D8C-48EF-92C6-A14AFDEF2F8E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"78cf80d7b31445b4045c8b0c0482b229ae1a0a9b","datavalue":{"value":"10.1007/978-3-642-40184-8_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842098$A6ECF621-91A4-4C6B-94D6-F69898D06156","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8fa84f57d804aaf31f58858be616d04e3d77b666","datavalue":{"value":{"entity-type":"item","numeric-id":282092,"id":"Q282092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842098$267363DA-0002-4FF7-B23B-1CA2224667E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a716993ce7ffcf19373e97e44f91ca996eb0c09a","datavalue":{"value":{"entity-type":"item","numeric-id":386008,"id":"Q386008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842098$A159FAB1-E2B1-4245-A387-4F6A64B7AEB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"377ca6bd4506420f7e61de7563d49eec5ed23aeb","datavalue":{"value":{"entity-type":"item","numeric-id":265803,"id":"Q265803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842098$EECC5E61-1326-45B7-903F-000DBA889941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e4018f669876a5819cf16362b14fc078dbd59d6","datavalue":{"value":{"entity-type":"item","numeric-id":690503,"id":"Q690503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842098$5E3F60BE-3FE1-44DE-A72D-42D079AAC527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"daef8f966b1875cfc7b5cd4224180401b2f679f3","datavalue":{"value":{"entity-type":"item","numeric-id":243964,"id":"Q243964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842098$E38E6D0B-CA82-4E5F-9F33-26049B590088","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2be6a3088c84110bcf5fd8aea373200c5bd18e3","datavalue":{"value":{"entity-type":"item","numeric-id":2842094,"id":"Q2842094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842098$3C14ED25-D230-4CC3-9D92-679D555949B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f821b5a4e1b97d333daa587d84e241971425051f","datavalue":{"value":{"time":"+2013-08-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2842098$42F1D8A5-1EAE-4BB3-9FAE-4AB31DE372E9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9d29d3c7adfc679b50184e5662943f595f3291b1","datavalue":{"value":"https://arxiv.org/abs/1306.0741","type":"string"},"datatype":"url"},"type":"statement","id":"Q2842098$7E5B1F5E-87F8-4B7D-BB85-A9C38F2B1F62","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842098$15A5C772-30D4-4960-8ED3-AA7A393AAD95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842098$672C2114-B3C2-4F8A-83D4-9A158680D1C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842098$F5987C58-999D-4A56-B1E5-7C5B538FBB05","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"276376a45f24bbec4308752ac33e4be7cee3f65b","datavalue":{"value":"6197893","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842098$863937BB-E17E-424E-8539-C9B9A104213F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a35027a4ff7a1fa2dee9ad0e3ae4ceeca4f05a51","datavalue":{"value":{"entity-type":"item","numeric-id":21741,"id":"Q21741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842098$D9499421-AECE-4881-AD71-990A8529ED41","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":"Q2842098$7F1A3D27-BCB1-414F-B151-B0611C211CD9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c06fe7c307a1adbc132a117a01c810ead4047169","datavalue":{"value":"W167034675","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842098$D730DD05-B9C0-4A33-881C-18F2E313CF11","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26a76a226c67b09897d6d33e12544554c85859fb","datavalue":{"value":{"entity-type":"item","numeric-id":2304534,"id":"Q2304534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b47061318d0cee3d56c1dfe26d72fbf18353669","datavalue":{"value":{"amount":"+0.7966830730438232","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":"Q2842098$B5A023CC-18CC-4F82-8C09-63E951FD8580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50a347481374ed1c05c451aeddf4f14af0580bdf","datavalue":{"value":{"entity-type":"item","numeric-id":3792217,"id":"Q3792217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fbdd46bb024b6fc7c5fc13eae9ce0cd1f17c622","datavalue":{"value":{"amount":"+0.753880500793457","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":"Q2842098$CD72E2F7-FE09-4DFE-BD20-F9B71EED5E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c1a2edb4bf64d789a481ce8ce7f205da66477c0","datavalue":{"value":{"entity-type":"item","numeric-id":4027619,"id":"Q4027619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f38f9e9c41ee79c27264fb0656b39f9257706a8f","datavalue":{"value":{"amount":"+0.7487314343452454","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":"Q2842098$7AB6322A-F1F2-4EB1-BD32-2751BF064F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5f934f05e41da7f0390ff2cd55bec5921b2b844","datavalue":{"value":{"entity-type":"item","numeric-id":1878715,"id":"Q1878715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dfb1b788aa99e834f4a3d4fbc93c93f50bdcb7f","datavalue":{"value":{"amount":"+0.7487308382987976","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":"Q2842098$334E97FB-D454-4FA5-B20F-5E951AF59675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aebdf736ab42d4c63a362e14d4af8b113c836db","datavalue":{"value":{"entity-type":"item","numeric-id":724932,"id":"Q724932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c622ada74eb41b7ae88b675da337d344ce23e3e","datavalue":{"value":{"amount":"+0.739890456199646","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":"Q2842098$0C0D3894-963E-4621-ABCE-542864867F72","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hennessy-Milner logic with greatest fixed points as a complete behavioural specification theory","badges":[]}}}}}