{"entities":{"Q4490357":{"pageid":6519950,"ns":120,"title":"Item:Q4490357","lastrevid":47492914,"modified":"2026-01-01T21:37:09Z","type":"item","id":"Q4490357","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1476492"}},"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":"Q4490357$FCC9C02D-FE1C-472D-B2CE-254ECCBC82B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d9992b160b8ff872b7ff188cd9e68ab6e6c8c88","datavalue":{"value":"0945.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4490357$82F7B76B-00FA-4B77-8259-0A7BA4959BD0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6dc341e5eb1fe6ec64d94de39ba9a90eed78abe8","datavalue":{"value":{"entity-type":"item","numeric-id":672457,"id":"Q672457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4490357$E361A84B-7223-4FB8-9495-C28EFB47415B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bb71f872338b62b29ceb1450014eebafe018f0b1","datavalue":{"value":{"time":"+2000-07-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4490357$0EDA4E50-CFB6-44F8-8265-FD7CC9F97300","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4490357$227FEA6B-973D-4322-8F58-E6A928DCF5AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4490357$5DE0EF5A-3A63-425F-A1A8-C8E89193C63A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc40ad351c4b620a1ea82d910f0b69dc65d2918b","datavalue":{"value":"1476492","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4490357$38E97A51-DDDE-44F9-9BC8-6511C6FD9B9A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1b7b015e8c924e5c8d7cb644d67c33d3356b998","datavalue":{"value":"verification of finite state concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4490357$435E8440-1A62-4F3A-9481-BFD733817935","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":"Q4490357$F6711938-5141-4A70-B754-D2D327DC998E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10bf39d3a4c20a3eddb443195153bd56cfdf1033","datavalue":{"value":{"entity-type":"item","numeric-id":1910794,"id":"Q1910794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b43fe0985ed1520862ba80827966d5950bc52d67","datavalue":{"value":{"amount":"+0.7632197141647339","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":"Q4490357$F3A6BF1B-F8BA-44BD-8845-73A38A304DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"474ae5e3ed684a08068c890bb6f361ad8fd8b847","datavalue":{"value":{"entity-type":"item","numeric-id":2763546,"id":"Q2763546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f7d08bc0a9af04a3a98e8ee2dbca48618de86b5","datavalue":{"value":{"amount":"+0.7597766518592834","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":"Q4490357$64976B98-8465-4D52-B235-B38F7728A2C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70604aef0b10bced3d8e81701d5fcdd8df1daa6b","datavalue":{"value":{"entity-type":"item","numeric-id":2768503,"id":"Q2768503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1381e9555e7f682d66d929bc8d299eb646bc2621","datavalue":{"value":{"amount":"+0.7371609210968018","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":"Q4490357$B82F02A7-29CC-4343-AF2D-E6EE5F4C18A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c83aefc515a187dacfe0b61920439a91ec64bd8","datavalue":{"value":{"entity-type":"item","numeric-id":3476264,"id":"Q3476264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"538a31f929cd6febbd96e0d99a2295ffdaf81134","datavalue":{"value":{"amount":"+0.7363606095314026","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":"Q4490357$4ABBBBC5-04E4-498D-84C5-B8E1FB11542A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3709436caebdb389c9afab90636fadf4b733f94","datavalue":{"value":{"entity-type":"item","numeric-id":3725529,"id":"Q3725529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3f496067d5005de0c2ff55374340f43ae34d5e0","datavalue":{"value":{"amount":"+0.7307323813438416","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":"Q4490357$61F8BB26-0F1B-4076-A230-C415D8995D25","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4490357","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4490357"}}}}}