{"entities":{"Q4422079":{"pageid":6451678,"ns":120,"title":"Item:Q4422079","lastrevid":48165973,"modified":"2026-01-03T20:29:29Z","type":"item","id":"Q4422079","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1973984"}},"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":"Q4422079$54A3264D-A1AF-4263-A887-76C7123B4552","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f5f4ad2528b4eaf36fc866c64f3589ef4a6cc747","datavalue":{"value":"1037.68508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4422079$91F57C2E-9DAF-4673-B874-DBC0C19002F8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9491c0a0f4df059e837824eca71ad92c31ba0be2","datavalue":{"value":{"entity-type":"item","numeric-id":278754,"id":"Q278754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4422079$30198D2D-36C7-4325-96ED-339E810D4BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31452a7b9d2814abb45eb9a3a707bde26241b486","datavalue":{"value":{"entity-type":"item","numeric-id":278755,"id":"Q278755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4422079$24C541C8-D3FD-44E3-A12B-29E80AEDFBE1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e863ff2f022b2d4779275312d03e0f0794a537b","datavalue":{"value":{"time":"+2003-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4422079$358078FE-BB65-4AB5-9827-39703D8A241D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ebf18947dd60d67a8e4cfd141e3a35e1cccc3754","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2529/25290194.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4422079$3D47E4B4-FAD6-4A3D-B5B3-A8822FEED466","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca8c16691e9ec83d46a3995338b09d48ac9660ac","datavalue":{"value":"68M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4422079$81F08FFE-7209-4A30-9CB8-A77A460BA2A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4422079$7312E579-D139-4E66-9DAF-A6AEE23227CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4422079$6C230E4E-1FAC-4FA6-AA70-4466F0FAB6C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"97ef6063f49fa91b0be3c917343c910d186b05a1","datavalue":{"value":"1973984","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4422079$1666782E-0FF4-41C8-AC02-BCAF388E41E3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e4e11272ac1e10b150b81867661aeec7ee6d581","datavalue":{"value":"Induction and compositional model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4422079$C42A82B5-1E90-4F67-A11D-9829B33229CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14fdb321d63e54de1f24ee42307b3934b281d990","datavalue":{"value":"probabilistic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4422079$523DBBE1-8676-4FB3-B3C9-BEB7F459F55C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9522d5e1513508e119eee0161d896ea3947b574","datavalue":{"value":"randomized distributed algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4422079$93FB004D-8A76-4624-AC6E-2A00B9D43BE9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4422079$A8D13004-8485-438C-A8BD-C0270BDCF78F","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":"Q4422079$7644DC7B-F028-4877-AF55-3693C0A55C8C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"297dd179d74679346596686df18fe64d12a61dec","datavalue":{"value":{"entity-type":"item","numeric-id":5176778,"id":"Q5176778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbaa01b30ef960d6649e0ce9d49d6b42a6650a4b","datavalue":{"value":{"amount":"+0.8093523979187012","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":"Q4422079$3C1ECB7B-DD28-4391-8853-0612956E8870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db482a3e2bf68a5e65bc6fa626462e153f129d5f","datavalue":{"value":{"entity-type":"item","numeric-id":4551150,"id":"Q4551150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ad97bb702b3c6cad4016bf57d2773a6a1efbfd8","datavalue":{"value":{"amount":"+0.7980290651321411","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":"Q4422079$27B7F752-1A8E-48D3-8772-242BD8A07373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f4461c9a891869f02ed7f8f5e909f9bf334e960","datavalue":{"value":{"entity-type":"item","numeric-id":2501710,"id":"Q2501710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4bf4f4ce6847ace8f6272d7949c1ce0c62cdb32","datavalue":{"value":{"amount":"+0.7976112961769104","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":"Q4422079$68497ADB-4501-4351-9178-1EDA212CB076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"891c6a2b98a06ab7325e8195e9c01a99bee2b767","datavalue":{"value":{"entity-type":"item","numeric-id":4376159,"id":"Q4376159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fdfc38c1a2d1a580793b30fc18e8f8fe5980530","datavalue":{"value":{"amount":"+0.7921169996261597","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":"Q4422079$D064DDAD-1B87-4C7A-9569-1C77B1C2851C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"768373460e4a96f5c253b502333f8ffa70455bd5","datavalue":{"value":{"entity-type":"item","numeric-id":5445740,"id":"Q5445740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fdfc38c1a2d1a580793b30fc18e8f8fe5980530","datavalue":{"value":{"amount":"+0.7921169996261597","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":"Q4422079$66802C05-CA17-4BE5-B356-A6F0EBA3A047","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4422079","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4422079"}}}}}