{"entities":{"Q4952318":{"pageid":6981900,"ns":120,"title":"Item:Q4952318","lastrevid":47472796,"modified":"2026-01-01T20:24:09Z","type":"item","id":"Q4952318","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1444737"}},"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":"Q4952318$2F0DAF8C-2611-4787-BEEC-EF55B285326C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"91891a8d5360d00f6ed572a919644080452a665b","datavalue":{"value":"0953.68091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4952318$CB8E18A4-FC0C-4B18-B84C-08C17198EF7A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdd2984005ce562423e705837ece60ae424b1f13","datavalue":{"value":{"entity-type":"item","numeric-id":246445,"id":"Q246445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4952318$68117E6B-2832-43A7-94FB-72241B2212F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3927d10c42bcd78f1e24a3195293011b1a3f8470","datavalue":{"value":{"entity-type":"item","numeric-id":1182129,"id":"Q1182129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4952318$951DB264-D382-4030-90A9-8DDA9AA34193","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7543152ecddaf21ed728b3008f8361c72e57a31","datavalue":{"value":{"time":"+2000-05-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4952318$214DD4CC-BC8A-47F6-AEEC-9C193EA52AD9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4952318$A2A6DE66-EA30-4D16-9733-54E313F5E894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4952318$456B4B41-2122-4EA4-97FE-26A10B27206B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d3ff81da7335c669cd80b724110c32d22843b19c","datavalue":{"value":"1444737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4952318$6869473E-9052-462B-8574-AEB1302274E4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c23dc58ee21550812caa0371f109255910dc523","datavalue":{"value":"\\(\\pi\\)-logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4952318$9517EA35-93B8-403C-A2E5-1C4451A3C8B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af9523c24efa700af875ee817308c1bedf7383f5","datavalue":{"value":"labelled transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4952318$A0926A9D-936A-4028-ABFE-046E3BA6FB04","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":"Q4952318$6AB3A026-2B5C-4749-8401-BCBCC3876C61","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"527ed1ff046149b21a3ec2c8d4a731f50c711513","datavalue":{"value":{"entity-type":"item","numeric-id":5897473,"id":"Q5897473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"171cc1de12b5341a9ae85f726005d6dcdf426a63","datavalue":{"value":{"amount":"+0.8205784559249878","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":"Q4952318$8A95D856-CFE2-420E-927A-A7851B55E3BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00e3a3298ca07d82d0008cd5d952ef9fb5c3b6a1","datavalue":{"value":{"entity-type":"item","numeric-id":4414384,"id":"Q4414384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ac911ec4fc3ded6a1c5701dde1a7351e0779387","datavalue":{"value":{"amount":"+0.7982887625694275","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":"Q4952318$D585A5D3-9C44-4801-84B8-BA60AE68C738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd2df2fdfe28870f53a9dc2736e16c23fddfe9e2","datavalue":{"value":{"entity-type":"item","numeric-id":1817220,"id":"Q1817220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19464536e530e36915e4e914bcc36f1deef3351f","datavalue":{"value":{"amount":"+0.7976272702217102","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":"Q4952318$43CD9784-BC5C-441B-B3BD-A27A4CFBF624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"484934429fab1bf0d9e97216c5e4377332a960b1","datavalue":{"value":{"entity-type":"item","numeric-id":5326325,"id":"Q5326325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79624f84b9dd89ba0681e27955587c6fa41fddd4","datavalue":{"value":{"amount":"+0.7924041152000427","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":"Q4952318$653B18AA-D7AC-4DB5-99D8-CA6746A3472C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bce857befaecd6296176f332d1fd10bc35c53b61","datavalue":{"value":{"entity-type":"item","numeric-id":1326587,"id":"Q1326587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef0c6ee501085382b2dca67c15123188286dc137","datavalue":{"value":{"amount":"+0.7766901254653931","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":"Q4952318$3C2C2B17-2700-4A0B-862C-049CB9BE4C3D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4952318","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4952318"}}}}}