{"entities":{"Q4818827":{"pageid":6848407,"ns":120,"title":"Item:Q4818827","lastrevid":74598027,"modified":"2026-04-14T23:32:15Z","type":"item","id":"Q4818827","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2102740"}},"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":"Q4818827$E56D921D-4265-4C46-88A6-61B009544F8A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"76982d78e9be9ee9a80e9734484c75ef16fc5473","datavalue":{"value":"1045.03514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4818827$C49FECF0-3887-491B-8CAE-01618DE1E07A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0f26ab800d353f785fba41d5cb9e1942cc404ee","datavalue":{"value":{"entity-type":"item","numeric-id":516247,"id":"Q516247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4818827$5940F841-FB39-49AF-A416-0BC93223AA49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e47b8a1818346ce22bd45f99ec3c619fd43a6a3","datavalue":{"value":{"entity-type":"item","numeric-id":264200,"id":"Q264200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4818827$BB217C2A-1F01-4A3F-AD9D-262EE05A8A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72c43c1d40ba49075434835df61f91ca777d5e6e","datavalue":{"value":{"entity-type":"item","numeric-id":2512163,"id":"Q2512163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4818827$04A10FDD-BDD7-4DEC-9A1B-A9C6B70D0C42","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"80836874fe663944c89061f0420200b4dad391b3","datavalue":{"value":{"time":"+2004-09-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4818827$DE634B3D-F8C7-4252-B0ED-E03D52E8152F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4818827$D078CCC8-514D-4C00-B45A-C08DD81C31FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4818827$BB71C133-0E75-4CE0-B5F4-B388B4D5812D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4818827$799E45C1-104A-4395-A4DE-15880425884A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe7b831f714f874279c9f72e4b053e1569560d9c","datavalue":{"value":"2102740","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4818827$3226135F-9FCE-4E45-B619-A0877011CF21","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4818827$B636590C-DC4B-4E11-BA3C-93A8493F2213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"066f088c07686fe69b21f62bcb2f5deaad8aed49","datavalue":{"value":"linear-time \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4818827$248BA822-5662-44C1-AC01-E47075CEB36E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53128051429d1d9a16b830ec17226e7df9cafedd","datavalue":{"value":"local model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4818827$803D986F-3807-4CEE-84DD-FE093FA93C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96bbc11051e7df69761c0a9fe452d973e56df1e9","datavalue":{"value":"tableau systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4818827$59EFF448-CAF1-47A7-AB17-D1BAE6802454","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":"Q4818827$125B221F-FF53-47C5-9804-6FEA908317B7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd28868fb9e5281dec742e518f016b5bea1547d6","datavalue":{"value":{"entity-type":"item","numeric-id":1122572,"id":"Q1122572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb8da47004d15bcb232ee45e6412f0aa446a6c96","datavalue":{"value":{"amount":"+0.8529888391494751","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":"Q4818827$660CE41C-69C9-4A69-B5C4-F780B21F921C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6def29c8473e82c891650ee23e5458d6b36c19c7","datavalue":{"value":{"entity-type":"item","numeric-id":5385992,"id":"Q5385992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd799e051065da64b39e288385a97161cedd88c2","datavalue":{"value":{"amount":"+0.8247034549713135","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":"Q4818827$02F6EE89-5016-4CF9-9CDB-B02475E281AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bb70238e49d9d5a6da648c8898a4bc070ad1ada","datavalue":{"value":{"entity-type":"item","numeric-id":5277722,"id":"Q5277722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"833abd5d9125c203d7265b0501536af026a05fbe","datavalue":{"value":{"amount":"+0.8045361042022705","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":"Q4818827$9FD7A35E-A79A-4C7F-9B46-150235DC3459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eb6256bad2c2f5fad3d464a16392ea9b77d5c24","datavalue":{"value":{"entity-type":"item","numeric-id":1177939,"id":"Q1177939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"787e4b8603868d66aa0216ee1f8be8699ecd5415","datavalue":{"value":{"amount":"+0.7976681590080261","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":"Q4818827$5A0EFCF9-D32D-4C6A-A2CE-50FF8CF0CE35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14396cd9bd793a2ddf8fa5ff64e5c9589086b357","datavalue":{"value":{"entity-type":"item","numeric-id":5941205,"id":"Q5941205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c21b0167bc73c1e158ae643073fbbffe1c8759e5","datavalue":{"value":{"amount":"+0.7847616076469421","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":"Q4818827$8AC00AD8-1EA8-4F56-8E0B-E4117BD96CDD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scientific article; zbMATH DE number 2102740","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Scientific_article;_zbMATH_DE_number_2102740"}}}}}