{"entities":{"Q4807834":{"pageid":6837414,"ns":120,"title":"Item:Q4807834","lastrevid":74566215,"modified":"2026-04-14T23:23:00Z","type":"item","id":"Q4807834","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1916675"}},"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":"Q4807834$4658E810-DE3C-46FA-8700-CD27AD1CC409","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b22e4967f161ab1a21cc8793a89136862c066e17","datavalue":{"value":"1030.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4807834$65CB6940-DEF5-4FFC-8A5C-5165C6CE0F79","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"775a644844a555d1fdaddfac8fec302da0d27d3f","datavalue":{"value":{"entity-type":"item","numeric-id":342706,"id":"Q342706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4807834$74792EB0-2041-419A-B49E-84F93624FAB2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0794b5bcb338de8526c85046bdd0ec303216296","datavalue":{"value":{"time":"+2004-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4807834$35FC4E6F-AD62-46F0-B978-16AD090771FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4807834$B6BB3994-4970-4833-8F5D-81172BE3C551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4807834$D6C31C9B-B371-4A57-9439-BFD333C1BFFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4807834$701F9658-19DA-4E95-AA9A-F16543C29A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4807834$882180D0-A50C-4145-BEF6-F4A5142ED0F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d3fe24d0814decf1280e8ff44a8dfc7b7ac034d","datavalue":{"value":"1916675","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4807834$E40C4CC1-48B4-4134-B9B9-4BED748C898F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7662493be8c807e4e49fd26f7b5c47a219f3196","datavalue":{"value":"\\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4807834$A7B2C84E-70F9-4DEE-ACD8-A03631A4E730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8e550e889f00ad92c92eb888df704d788ee2875","datavalue":{"value":"dependence graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q4807834$70C5195C-3F1D-4AA4-99BF-606A0EC01496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6ce889a8a92a5adf9884f2ba6068fac0f7d64b3","datavalue":{"value":"traces","type":"string"},"datatype":"string"},"type":"statement","id":"Q4807834$91A8EE7C-0E9B-4092-8073-01217A285BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4807834$CB08E337-DCFB-47CE-A66A-F5E9B5C3BC5F","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":"Q4807834$694AB20A-8A07-465F-90AC-0336F9E00B87","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a391587435e61b131cc4b605775086e8db763f7","datavalue":{"value":{"entity-type":"item","numeric-id":2996153,"id":"Q2996153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bce4ee44cf2d7a5dd81a2f7eac268a821f156943","datavalue":{"value":{"amount":"+0.7981420159339905","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":"Q4807834$7E67200C-8888-4A85-AB0C-0B29439952F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06a4e2bad940b8ab72e9dae5716fa500fc40cd03","datavalue":{"value":{"entity-type":"item","numeric-id":1763374,"id":"Q1763374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2a4918c099979aa5bf807b6abe29f80f78863ce","datavalue":{"value":{"amount":"+0.7944124937057495","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":"Q4807834$CA313C97-ADB3-4A07-ADB0-A60FAA7C38CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57df6c4616ac1c1e21409daa50b938d22cdce121","datavalue":{"value":{"entity-type":"item","numeric-id":1433941,"id":"Q1433941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59834e673eedaef1901b831503831a7a2481a96c","datavalue":{"value":{"amount":"+0.7831847667694092","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":"Q4807834$481DF3BF-9202-434F-848E-0655CE49701B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2bc0ba3a173a53bee7921b6abc4c634b7e96b10","datavalue":{"value":{"entity-type":"item","numeric-id":5431910,"id":"Q5431910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"689b2d04cf2643af1a1078c943a707c21d71dc6c","datavalue":{"value":{"amount":"+0.7678163647651672","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":"Q4807834$878930C9-5E54-4C6B-B5BC-ED521E37E0A4","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":"d52d725bb6c159a4b8046c9ed289cf7b8fd869c0","datavalue":{"value":{"amount":"+0.7562019228935242","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":"Q4807834$CC1CE43F-4E17-4AEC-842B-48C318EB2611","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scientific article; zbMATH DE number 1916675","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Scientific_article;_zbMATH_DE_number_1916675"}}}}}