{"entities":{"Q4038716":{"pageid":6068434,"ns":120,"title":"Item:Q4038716","lastrevid":55241017,"modified":"2026-02-05T05:32:00Z","type":"item","id":"Q4038716","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 177838"}},"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":"Q4038716$98F65680-3509-4E44-8086-EC0BF86D0F33","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"54ac4c0267e9646c366102c8e848dfbb0eb62324","datavalue":{"value":"0765.68107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4038716$6175D14D-DA43-4682-BD8F-3B949DE98328","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"abd8d5e490ea4daf6d00f9dd2f897565e059b6cc","datavalue":{"value":{"time":"+1993-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4038716$46F7BF54-1799-423F-AE5C-D8E1DEDB9CD1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4038716$9AC74E0F-1F4E-47C7-B401-FB8FE13C5B53","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fcb77b26d2c46dcf15c2f0aebed39e37d6e26db9","datavalue":{"value":"177838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4038716$52244913-BC8D-4C9F-A65B-ACB7FC4C1C16","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a762e084809097e055804d10041524d039a458f1","datavalue":{"value":"modal property transformers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4038716$50A467B0-95D9-45AC-9CA2-57AECA606794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c95ee7581b1a4064a2b1102e077b9e7b0ea84f4","datavalue":{"value":"decomposition of properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q4038716$A198F79A-CCD0-454F-A01A-5F749BD9AD04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2dd3a332401580f842749049d84797eb1b33c3e","datavalue":{"value":"Hennessy-Milner logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4038716$45CFB7A9-5E3C-4AFD-A992-25917F517852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7aa3fdbdf3b7584bcd007098b5e184978502a1cf","datavalue":{"value":"mu-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4038716$20DAA7A0-9D9A-4FF0-B0E2-B770A24DCED5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4038716$38E56F5F-9C31-437C-8333-68DB172089CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a0be023ae0e9e5a0ddfbb1f86d4e9f4133d772a","datavalue":{"value":{"entity-type":"item","numeric-id":1894679,"id":"Q1894679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4038716$70654BC3-E77C-40E2-A806-DCAC1A1587EF","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":"Q4038716$1CC6538F-D465-476F-BC08-ECC34C42D9A3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cf19ffbe0ac6fe90d44a55cc95a6dfa19469b47","datavalue":{"value":{"entity-type":"item","numeric-id":3988057,"id":"Q3988057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61f1dbb7d654b691c107e4b1db2394b7af57fe35","datavalue":{"value":{"amount":"+0.8146231770515442","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":"Q4038716$DD9A3B40-AF1D-47DB-BDBF-49B5FE8DCC48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b41d2ff7117d54f8f148e9ac977fa1dd9a3a6199","datavalue":{"value":{"entity-type":"item","numeric-id":4222937,"id":"Q4222937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61f1dbb7d654b691c107e4b1db2394b7af57fe35","datavalue":{"value":{"amount":"+0.8146231770515442","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":"Q4038716$FA19230D-FEF2-43D3-9B77-6A7B846F8077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f189954f1390c67fa6aeaaf5b47f5398531b96b","datavalue":{"value":{"entity-type":"item","numeric-id":5900816,"id":"Q5900816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd1a32591bfa744cc7784a7b3033ee450d94496b","datavalue":{"value":{"amount":"+0.7543508410453796","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":"Q4038716$CD3AF538-F605-4A46-9533-83F8AE767A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75ee18a334787340421074998348aedb0189f9c4","datavalue":{"value":{"entity-type":"item","numeric-id":2753791,"id":"Q2753791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4b9168fd9403d5604494d2425c9b29dce2aaef5","datavalue":{"value":{"amount":"+0.7418714165687561","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":"Q4038716$58860009-0DAA-4598-A6FB-AFBA8DC24D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34331347e02d515e4ee0fe876e26206c374f5390","datavalue":{"value":{"entity-type":"item","numeric-id":3683529,"id":"Q3683529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4b9168fd9403d5604494d2425c9b29dce2aaef5","datavalue":{"value":{"amount":"+0.7418714165687561","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":"Q4038716$9F5496E8-B02F-4159-82B8-6D072A46F914","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4038716","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4038716"}}}}}