{"entities":{"Q4222879":{"pageid":6252480,"ns":120,"title":"Item:Q4222879","lastrevid":46608915,"modified":"2025-12-25T05:01:20Z","type":"item","id":"Q4222879","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1231562"}},"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":"Q4222879$37B689E5-812B-473B-BA39-B51025C39BBE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a463d31d88008b065b0a0219c75e252505f1014a","datavalue":{"value":"0912.68185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222879$569CA3DE-57D1-47AD-AC4C-DD3B120C55A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8de0358d5843909f727261d501d479a1091d2554","datavalue":{"value":{"entity-type":"item","numeric-id":385022,"id":"Q385022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4222879$5E66AAAA-30BD-492C-AC57-0514D76453F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1e282da7eb623905f68a33f066c988ff99cdb0e","datavalue":{"value":{"entity-type":"item","numeric-id":4222878,"id":"Q4222878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4222879$5BB0A6CE-D6D4-4CF7-8F6F-4EFD4A77C5E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3fa9a751487606fa7aa60b1c6c01a7e88dd50eb","datavalue":{"value":{"entity-type":"item","numeric-id":269731,"id":"Q269731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4222879$7FDD51B9-B520-4E36-82AB-2F7A0F9649CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"52a0c2c6ada02ebc5f26d5d562081e4cb50aeca1","datavalue":{"value":{"time":"+1998-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4222879$E97E00FF-00A4-418B-9D84-B376EA471463","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0e3fcfe8aea581e3b95dcfd1708414cf46af0f5d","datavalue":{"value":"http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume5.htm#gurov","type":"string"},"datatype":"url"},"type":"statement","id":"Q4222879$70F38FF8-34C8-4DB8-B779-D9D1F5521BA8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222879$8DCFDE72-3BE7-4DEB-9685-90BB2FA0CC57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222879$BFAA495C-962C-4956-B1C9-A824BD326313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222879$9133A9F1-9909-40A6-89F1-D692F8B9223E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf37af04b1f24f342da61ce1a77609414853e368","datavalue":{"value":"1231562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222879$ACC1E03F-00C1-4B90-B0DD-D21EC28BFD00","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26c4403d5fa8d9102bcd88ec8de73f9befa0d5ea","datavalue":{"value":"modal \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222879$0933A486-8DC9-485B-81B7-52B3FF958149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222879$19F89D3F-3CAC-49A3-89DE-3A51A732B93B","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":"Q4222879$D6C56ABF-1D0A-4D86-9A3B-29D517F7041C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"963bb532a82c4d8a024c74d8826df7654fa373a0","datavalue":{"value":{"entity-type":"item","numeric-id":4364391,"id":"Q4364391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"502c69d6a2289b6c4a155be609b1265caec17a12","datavalue":{"value":{"amount":"+0.8541263937950134","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":"Q4222879$2E6DBC93-DD16-41BB-A5C1-848688490C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07bfce2bd16a86af783d90e27947458b64b5d463","datavalue":{"value":{"entity-type":"item","numeric-id":1894680,"id":"Q1894680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6b107190dd68e6504d16bed8bb1120bf2f30195","datavalue":{"value":{"amount":"+0.8359189629554749","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":"Q4222879$CF4BFA79-7238-4C51-9D67-DE1D57B171E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa5f9bf7d33e601f8d5aa8dffe691e8d1990a5ad","datavalue":{"value":{"entity-type":"item","numeric-id":3355228,"id":"Q3355228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0302d4aef4ced5575de94a272792da744421df9","datavalue":{"value":{"amount":"+0.8350857496261597","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":"Q4222879$C3C13D35-F35A-404B-8855-7BC0E045C204","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4222879","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4222879"}}}}}