{"entities":{"Q6536312":{"pageid":14147455,"ns":120,"title":"Item:Q6536312","lastrevid":55636984,"modified":"2026-02-17T20:08:08Z","type":"item","id":"Q6536312","labels":{"en":{"language":"en","value":"A type-based HFL model checking algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7834968"}},"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":"Q6536312$B4FEE96E-7390-43A6-93A5-7A0F888A6306","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d43779594dfee36327af7a8366ce732ea1e1c299","datavalue":{"value":{"text":"A type-based HFL model checking algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6536312$D4555671-DAE1-4B7B-8C8A-E815308A7EC1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd7b48894cffe75bb8f48d321bcec226d6c6721e","datavalue":{"value":"1542.68097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536312$BCA88944-3BF0-4D3D-9FB6-5283DAA803D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c30709b32a6c88128758e91865504ba827701d35","datavalue":{"value":"10.1007/978-3-030-34175-6_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536312$F3D3AFDC-7882-4FA4-A8F2-63DC2F418A58","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9fe3630bd0f1a36930b9f7f3adf1982db69bd34","datavalue":{"value":{"entity-type":"item","numeric-id":6536311,"id":"Q6536311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536312$3D9740ED-4D6F-4527-A9E5-EAE0EBE6352E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3ed03c0e908613601fdd733dba97c4f4513b0a5","datavalue":{"value":{"entity-type":"item","numeric-id":238500,"id":"Q238500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536312$106249B7-DDD4-4014-B594-4BEF77B67592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0eaf951c75d2d5db5073cd2949ee5f4196ba23e","datavalue":{"value":{"entity-type":"item","numeric-id":2038069,"id":"Q2038069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536312$BF653E4F-4C72-45EE-B0E2-17D16D645269","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ea6e0d286aec87d7de2b77268af916e9034fb87d","datavalue":{"value":{"time":"+2024-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6536312$D18015F6-D2A0-4492-8A41-2D91FC9D4BB6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536312$162CF918-8739-487A-AF64-FA4E0B4CD737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536312$F1F629A3-5D7D-493C-9907-4884DE6EEC76","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"842d4baf49b9e8d2d57c5e85b689877abea71550","datavalue":{"value":"7834968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536312$A8CAF3C7-4F6F-47B2-ADA3-7B41934BD731","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":"Q6536312$227B5347-5DD1-48C2-ABB0-430035020E8D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ef4294e4bb133f34efdc0670d10135f6d90bb78","datavalue":{"value":{"entity-type":"item","numeric-id":3498457,"id":"Q3498457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536312$0601AC3B-45E2-4F99-9BB3-0C95C2D7B147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d30652f58409f96f54ee0b1ee5b53a280406418","datavalue":{"value":{"entity-type":"item","numeric-id":5310692,"id":"Q5310692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536312$EA8CC29E-D1A4-4563-972F-C16E90ACCA45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e1a0744dec9ef7f798033ea055c0df4ae885ff5","datavalue":{"value":{"entity-type":"item","numeric-id":3077958,"id":"Q3077958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536312$6A8407C3-38CD-4A38-A777-04E0AA424086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efd70181a109c9c53308b7092100e6ab2212aae2","datavalue":{"value":{"entity-type":"item","numeric-id":2958519,"id":"Q2958519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536312$FBFC36D9-D3AB-40E5-835D-5B12C594421B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a346b0d1d8d58eca29ba3d568dd9754ed71fd2e5","datavalue":{"value":{"entity-type":"item","numeric-id":1866725,"id":"Q1866725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536312$F91CCB3C-19CC-496B-93C6-64438C1DAACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"825b6872a15bf96d878b4c4ae9a99b55a4097d9d","datavalue":{"value":{"entity-type":"item","numeric-id":4501540,"id":"Q4501540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536312$CD1B0493-833D-4C43-A50B-05C6F17D30AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd8212d1e6f4937780f720da0b507691399bd2db","datavalue":{"value":{"entity-type":"item","numeric-id":5370859,"id":"Q5370859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536312$678A0A8B-D841-4EDB-8682-7DBD37141F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e00578bad80a34483e52f8ce9687dcb6d88fcf9","datavalue":{"value":{"entity-type":"item","numeric-id":2324003,"id":"Q2324003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536312$97547979-4B13-4993-B0C2-199FE20EF3A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21815f2b6998c4be5541fe7e93f59fc23446bb96","datavalue":{"value":{"entity-type":"item","numeric-id":477208,"id":"Q477208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536312$5C239666-B52C-4A05-97AA-1B9AECE03C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77760ca207077f7bfc27d8f5d52d31cc37243433","datavalue":{"value":{"entity-type":"item","numeric-id":5014448,"id":"Q5014448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536312$E4C4BE31-2370-4B36-A555-7F3451F5E131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6dc5730c6956a442fe56abd4ce427894b06e399","datavalue":{"value":{"entity-type":"item","numeric-id":5408403,"id":"Q5408403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536312$EF1E869E-FD1C-4662-9E82-26971B64AB2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb8bd93945e8f550bab33045fd095e69de201a2f","datavalue":{"value":{"entity-type":"item","numeric-id":5111330,"id":"Q5111330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536312$26A730BF-F953-436E-AC0D-1470B48FBDB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d44484491b105b4eba9052e7ca901f22afe79de5","datavalue":{"value":{"entity-type":"item","numeric-id":5311496,"id":"Q5311496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536312$A576849B-6175-4EF9-AECF-8822E29DEAF9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57b64a722fb5891d538c29db48d292a0c3f618ce","datavalue":{"value":{"entity-type":"item","numeric-id":2324003,"id":"Q2324003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38faa5e0d62f78ad5a2955db78789978d761e1d8","datavalue":{"value":{"amount":"+0.8737694621086121","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":"Q6536312$D3396953-E3DE-46BE-9A38-C653BE8AAE80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59a1ad90f45d7cc1d448bede72a7c30e1cf83d5a","datavalue":{"value":{"entity-type":"item","numeric-id":3498457,"id":"Q3498457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97f47b94604965cb880cede1c9062529c5770324","datavalue":{"value":{"amount":"+0.841066837310791","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":"Q6536312$7C3A982E-4CB1-44D7-8E79-FA36C192E0B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57de321feaec295c00e192f0ebc1efdf4a267a22","datavalue":{"value":{"entity-type":"item","numeric-id":5310692,"id":"Q5310692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d8313cc76f322ddeae29caf61a471e577ad7199","datavalue":{"value":{"amount":"+0.8393651843070984","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":"Q6536312$9D4D2900-AB39-4BA6-B0D6-F46EA163D279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91407b64dfdc43aa08e4d4d1da867dd2b07757e0","datavalue":{"value":{"entity-type":"item","numeric-id":5311496,"id":"Q5311496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bbc40f4d31afcb10ccee73acccf60035a522b05","datavalue":{"value":{"amount":"+0.8374449014663696","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":"Q6536312$0D6409A5-7207-4509-96F1-884391A2CD25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"844001343b1aafc8257ab150df1241ac2335a609","datavalue":{"value":{"entity-type":"item","numeric-id":5370859,"id":"Q5370859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46eefe6b07a436070d8485686cf311078b0cc790","datavalue":{"value":{"amount":"+0.8356288075447083","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":"Q6536312$F0FDE1DB-230B-4D94-85F2-3FA5792072AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6536312","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6536312"}}}}}