{"entities":{"Q4808836":{"pageid":6838416,"ns":120,"title":"Item:Q4808836","lastrevid":74864013,"modified":"2026-04-15T00:43:44Z","type":"item","id":"Q4808836","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2090143"}},"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":"Q4808836$DF4E1C48-33C4-410E-97B2-D726EC3F3EEA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc33ac7429d03e1e8681e78862103e9bbb27d0ab","datavalue":{"value":"1064.68528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4808836$C99A3D42-602B-4F7E-B7D9-0B2A2CE86B8C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e1008696dcd0bd0324de3e7a12ac2d5f899841a","datavalue":{"value":{"entity-type":"item","numeric-id":4808835,"id":"Q4808835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4808836$FD9640FC-8926-44E8-AEAD-6FC533EB78A7","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":"Q4808836$E133A86D-C674-4114-87F7-EE02DE362676","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"33b00f944769d134dd0c29d96d61bbd3ddb39395","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2391/23910290.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4808836$4DC8A680-15C7-439E-9E88-130BFAFE5030","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4808836$6F92F23B-E232-46FA-B473-714F1F878268","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"83b17db473b72549d7c8a439fac0a26d7a77726c","datavalue":{"value":"2090143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4808836$179B414B-5A19-4610-BC9F-B9B377177672","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52b81626da92835809bbbf460ef3859589b57b6e","datavalue":{"value":"Byte Code Verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4808836$188C28AE-87C9-48BC-A110-766959698DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae3924ef8d5673206632519920f5c164741cb388","datavalue":{"value":"Formal Methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q4808836$FFEB6563-2C4F-4FED-8016-0D1C280B23E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28d24b81d7c4c048a6c5a6a9d0bb67db9a1a6f03","datavalue":{"value":"B Method","type":"string"},"datatype":"string"},"type":"statement","id":"Q4808836$D91101AD-1344-4E80-8D88-FCAD0AC901B8","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":"Q4808836$6FFAFE0A-8DE1-4777-9E06-FC3CA75F2FEF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbe57dd4b76350b5efe3813537429ff875275a95","datavalue":{"value":{"entity-type":"item","numeric-id":2771738,"id":"Q2771738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4df8360a1c644ade1c60bbec9d35966a1c33d401","datavalue":{"value":{"amount":"+0.7632306218147278","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":"Q4808836$7CB6E71B-E6EB-4418-95C1-2DCBCBB856FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"937995320392f6849bac351e1b342cfae766a7af","datavalue":{"value":{"entity-type":"item","numeric-id":2771739,"id":"Q2771739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a12b432c1c86e4eb29aa2c0b15c96b96d2e68a5","datavalue":{"value":{"amount":"+0.7524747848510742","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":"Q4808836$4B1A4CFE-9EC0-4EEA-A185-2E73BF4049DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cc9c3f3e4aa7786c032a565225c62fcc5674295","datavalue":{"value":{"entity-type":"item","numeric-id":1881671,"id":"Q1881671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd044f10630061db99473a4a92b12175a8925933","datavalue":{"value":{"amount":"+0.7474269270896912","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":"Q4808836$0E3941DC-BA4D-4CC5-8F1C-BDD02C6A73C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a044d4847572d2a05040e36be9b520c29ecd429","datavalue":{"value":{"entity-type":"item","numeric-id":1870867,"id":"Q1870867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f2a15a9705fd76025ed573b61fb6c115805cb45","datavalue":{"value":{"amount":"+0.7369456887245178","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":"Q4808836$170867E5-2E3E-4244-8149-71DE4E37AC8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b55546c517418973743816febea11b9e966fde49","datavalue":{"value":{"entity-type":"item","numeric-id":4553258,"id":"Q4553258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b4d82b43f7a06b88565ddeec8c164738a141b68","datavalue":{"value":{"amount":"+0.7315747737884521","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":"Q4808836$85403866-4488-452D-A8ED-792D7C06463E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scientific article; zbMATH DE number 2090143","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Scientific_article;_zbMATH_DE_number_2090143"}}}}}