{"entities":{"Q4808829":{"pageid":6838409,"ns":120,"title":"Item:Q4808829","lastrevid":74540484,"modified":"2026-04-14T23:14:20Z","type":"item","id":"Q4808829","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2090137"}},"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":"Q4808829$14C2E76B-677C-4195-9614-4922FFA4CD6E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f950a03d545dac1be9884ee55fe3feafb202d16","datavalue":{"value":"1064.68548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4808829$BA0C2023-0C76-46C2-943B-40696DBF7C1C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51f94ba22225b6d50496a9f2a9bb0a0e2b3b9a1a","datavalue":{"value":{"entity-type":"item","numeric-id":199243,"id":"Q199243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4808829$7CA8F123-8040-468F-9A2F-A5AF1506C16E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"acf7ad04e963b8c9a8e0c148baeebf8d99ee5f33","datavalue":{"value":{"entity-type":"item","numeric-id":2095428,"id":"Q2095428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4808829$218F36D9-DF8D-42DF-98A1-674161ADBFEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9aa5453cc5d3a8f61d68fac093f0c59d6d5be138","datavalue":{"value":{"entity-type":"item","numeric-id":202499,"id":"Q202499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4808829$3C79409E-D050-40A6-A0A1-FD7BF01C9415","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ecbb3420f48001697e43edc0b6a7cf0adaddf1ef","datavalue":{"value":{"time":"+2004-08-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4808829$620810C9-B648-43DC-AEBE-250954853137","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d00cf2f4f9837748a9c9c3637b65afda02023e70","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2391/23910184.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4808829$2B4EB716-372A-43E2-86D3-95EBCB3ACDAD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4808829$383B7558-D1FC-43A0-9BA6-261E3943AE7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4808829$0B1754D7-9D56-48F2-9FFF-61EF6B073D97","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7dfc70f944c7a34766716a9de382ce21e92be2a0","datavalue":{"value":"2090137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4808829$0D3E828F-D045-4101-A613-0A2DC875EDC2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5541349f29c25ba6a0be12f614381c30b7057b17","datavalue":{"value":"Model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4808829$55273E42-7E94-425E-B54D-5D06213A60D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4808829$B8CD5776-F7C5-4266-818A-F1B20FDB2A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31e19112bcf8af7eabcc88691788687dff15907e","datavalue":{"value":"telecommunication","type":"string"},"datatype":"string"},"type":"statement","id":"Q4808829$AB8F484C-5C92-4DD2-A36B-6794DF6E490C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40119052f3f3d9c0011b2219c60ece7472002e1f","datavalue":{"value":"Erlang","type":"string"},"datatype":"string"},"type":"statement","id":"Q4808829$72F42DD1-72FC-44D7-8061-9B575BAC22E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4808829$DFD136B0-68AD-4FB1-85FA-CB11CC2D7E61","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8b687213a8375e65a3248834735a16b100440644","datavalue":{"value":{"entity-type":"item","numeric-id":19254,"id":"Q19254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4808829$A36BD01B-F21D-45EB-9D3D-55F012FE7B29","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":"Q4808829$3B67669A-0DC9-4179-AACF-999A44EB24A3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a97777171cf0f3411795186b252dc4c0640eaea6","datavalue":{"value":{"entity-type":"item","numeric-id":2817727,"id":"Q2817727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e4049f7529c5a09e6ec1851a03cac6627047ba1","datavalue":{"value":{"amount":"+0.783866822719574","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":"Q4808829$64076674-E16A-430B-9CC0-78D0EC90DF85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0245c41ff55e3359cbb4e4959dbf45e9198789d","datavalue":{"value":{"entity-type":"item","numeric-id":2873779,"id":"Q2873779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba0f384d1e3a93929f434e0386e303d6a917248e","datavalue":{"value":{"amount":"+0.7729066014289856","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":"Q4808829$A3050F19-48CE-468F-A284-FF6D223A9167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a3cf1ac1649a26091a7ea7216447e79826793d7","datavalue":{"value":{"entity-type":"item","numeric-id":2763376,"id":"Q2763376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1ff88dc560f0cff79ced3594986505634519997","datavalue":{"value":{"amount":"+0.7514272332191467","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":"Q4808829$7A074327-0E7C-4C76-A16A-025B5FA033ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dfcdffbfe2f95acc91b48384f95442080803a37","datavalue":{"value":{"entity-type":"item","numeric-id":5941753,"id":"Q5941753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1ff88dc560f0cff79ced3594986505634519997","datavalue":{"value":{"amount":"+0.7514272332191467","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":"Q4808829$483F4226-62FC-4452-A1A9-0B731C327752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3c64bba23b6f9a91d501ba8e15e1c34d7e044eb","datavalue":{"value":{"entity-type":"item","numeric-id":5394419,"id":"Q5394419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bc3c7f0712971a81bd77c7ef2129282bbce03cc","datavalue":{"value":{"amount":"+0.7472688555717468","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":"Q4808829$A62D2A43-2253-4179-A534-E750E804918F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scientific article; zbMATH DE number 2090137","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Scientific_article;_zbMATH_DE_number_2090137"}}}}}