{"entities":{"Q4790662":{"pageid":6820242,"ns":120,"title":"Item:Q4790662","lastrevid":74489094,"modified":"2026-04-14T22:53:50Z","type":"item","id":"Q4790662","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1863387"}},"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":"Q4790662$6957D614-B485-482D-9650-7B554B9E7A79","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fcb9ca7ef38a853d37d28e371d3527bd44b09a43","datavalue":{"value":"1005.68531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4790662$32EBBE21-825F-4824-8493-F5F523E10B54","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ef222cac3ea6185ed6f2b7072390669e1f36763a","datavalue":{"value":{"time":"+2003-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4790662$37851864-8A46-4C5A-8E6C-736A613C9A12","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"614a6a769eeb859958f1d6fdad85a9913ab16ed4","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2152/21520217","type":"string"},"datatype":"url"},"type":"statement","id":"Q4790662$6E160F9B-36FB-403F-BF6A-13EF3A8AF3E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4790662$C6849C9A-F6F9-40FE-B0B2-6C4B9E84D2F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"57225c36e47829a2d6b045fafeb3720cc07fff4e","datavalue":{"value":"1863387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4790662$C8CA44B1-3787-49C9-8460-AA379EEC6C50","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"485447b25ea9ae3ba0e28b66b16f57c15b7c1fe1","datavalue":{"value":"types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4790662$8D4BC28C-3DA4-45C2-9C6F-1A0A32977715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ea353797c34180c8e7f601a861f13a3dc4619e0","datavalue":{"value":"pi calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4790662$BAC8684B-C8FC-49CC-BAFA-D76BE23F48D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d2aa687cef17cd912aad76972cec097c0540be8","datavalue":{"value":"automatic theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4790662$9B397EA9-80E2-4095-B22E-EFA0CE777B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4790662$30B5E12F-509E-4773-A78B-3FD1828E94F4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"321ca6e544834c17532b59a2fec765e641824743","datavalue":{"value":{"entity-type":"item","numeric-id":859840,"id":"Q859840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4790662$1EB501CC-8D6C-4F86-8345-50AD1A28AD15","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4790662$4374058E-2A60-43DD-940B-B01F628B29F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4790662$47D6CC64-DDF8-43BA-8526-C8DBFE463D45","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":"Q4790662$F0A055AE-92D0-4063-95B4-272361B1862F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a93976a1c4eac2f8655be149b663ea6dcc21b46d","datavalue":{"value":{"entity-type":"item","numeric-id":1884932,"id":"Q1884932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"231a426f756a66264618cff5a87eca80140d2190","datavalue":{"value":{"amount":"+0.8100230097770691","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":"Q4790662$C734678F-EA7A-45C9-B785-2B050C5727C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ea0a69a641efcf9edb24fd49194f925ff911754","datavalue":{"value":{"entity-type":"item","numeric-id":5178880,"id":"Q5178880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c17b646bbec6c6265a15a073bda0c7df38db0735","datavalue":{"value":{"amount":"+0.8067670464515686","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":"Q4790662$587C7E58-DB9F-4161-883C-AB38F684064C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0404f6afbb7eec6187725b2ac097aaa6232258b4","datavalue":{"value":{"entity-type":"item","numeric-id":3395094,"id":"Q3395094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"154a86bb7d09c3eace18181de1927c6e1d16d5f0","datavalue":{"value":{"amount":"+0.8015820384025574","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":"Q4790662$5C23A850-8A34-4E11-8846-D18871DC4894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fb48cb7bedc08c9ea202a315d981bb139155841","datavalue":{"value":{"entity-type":"item","numeric-id":5758048,"id":"Q5758048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"913ed27cd1106f822e635ca54f114b3a5615aa0d","datavalue":{"value":{"amount":"+0.7942287921905518","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":"Q4790662$CDE9047D-FCA6-499D-A94C-32502A9E1334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39b99959876c66e570d48291a8898a4c58992bb2","datavalue":{"value":{"entity-type":"item","numeric-id":4536440,"id":"Q4536440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec4b596fa0ce88f162476d3b1de9afa66160100a","datavalue":{"value":{"amount":"+0.7911969423294067","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":"Q4790662$B5963EF8-0F32-49F3-9C65-1222D6B66B2B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scientific article; zbMATH DE number 1863387","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Scientific_article;_zbMATH_DE_number_1863387"}}}}}