{"entities":{"Q1395676":{"pageid":1406416,"ns":120,"title":"Item:Q1395676","lastrevid":81391553,"modified":"2026-05-06T18:24:51Z","type":"item","id":"Q1395676","labels":{"en":{"language":"en","value":"A compared study of two correctness proofs for the standardized algorithm of ABR conformance"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1944894"}},"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":"Q1395676$9EAE081E-A874-4744-9F37-817299A698B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ccc51f7ff409c537f8cb30ed90d558fca62f0680","datavalue":{"value":{"text":"A compared study of two correctness proofs for the standardized algorithm of ABR conformance","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1395676$24A4EEBA-BFD2-44A9-A5A6-1BC1D76134B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"880c8f67d79e11ac8d16e0847691b415da3b5164","datavalue":{"value":"1033.68094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1395676$AF5F1D7D-2686-4560-BB30-B711C58E0E51","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d69f28bb2ed8affa7f6a4be9acc0a355fc2ef092","datavalue":{"value":"10.1023/A:1021704214464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1395676$872C8CDF-63A1-4DD1-A7E7-8E27FA15F0C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b0b2fb0d8d0ef4d3f60b9aaf6e6e940befe4cd6","datavalue":{"value":{"entity-type":"item","numeric-id":453511,"id":"Q453511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1395676$9E550BBE-FF1C-48DD-BC35-24512DF3CBBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0d67748a66a6547b8df83562fa8acd362b0e3d1","datavalue":{"value":{"entity-type":"item","numeric-id":1028735,"id":"Q1028735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1395676$6E3D7CC8-756E-44E3-8DFA-95FBFD4B1D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a840afa34f6a384a05fd0e57a1805c00addfcdf1","datavalue":{"value":{"entity-type":"item","numeric-id":553315,"id":"Q553315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1395676$AFAAE6FA-53E7-48BE-912A-3956D0D23FB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef4a01f54f3e349b8ab6cf4271ef92b1d9a9ead8","datavalue":{"value":{"entity-type":"item","numeric-id":1395675,"id":"Q1395675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1395676$7909FC52-17C4-4757-822C-05EAD50CEE50","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1395676$07F5A4C9-B7AF-4D17-B297-C843B215CC1D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4a64159b588e3459a5fca46f6d5073d79064c685","datavalue":{"value":{"time":"+2003-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1395676$4C436F24-21BB-41CF-8466-CCCA1CE8E1B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1395676$C571C267-7828-40D0-B874-88586B322185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1395676$ECB0F450-4DC2-4638-B41D-84C6B7B8DB5E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42e0d50acc628879232c8e8ae31ac80531c7e70b","datavalue":{"value":"1944894","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1395676$237F4838-D6B4-4956-90CE-237B503FB2D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1395676$E3515E22-2D6A-4B9B-9067-4F3F9B0D1BA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1395676$27E93D2E-3726-4123-9C16-4B35486BDCEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f042bb9fb808e233e360f06d9bf83eba07aac06","datavalue":{"value":"telecommunication protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q1395676$4C5D8E41-AC46-4EC7-BF17-A9707821250F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1395676$6DB1C20F-4E19-4E0C-92E3-1D75DBA74B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1395676$AEFC5C6E-A74E-44F2-8AC1-EDB799C042F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1395676$14B92B79-AC1C-4729-B597-BBF5DB905419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1395676$3C88228A-E6C1-45F5-9CBF-1BFA7797FBD8","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":"Q1395676$6C8E4DC1-24F3-49CB-9CA3-7D834009883C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e11c30d99b74c71ae2ad606de03c10ba4d6ed016","datavalue":{"value":"https://doi.org/10.1023/a:1021704214464","type":"string"},"datatype":"url"},"type":"statement","id":"Q1395676$B947257E-4973-4D98-89A8-114896F9C4AD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"45fe1e957e7e36da940c0ba7771a354121c9c6ae","datavalue":{"value":"W1528909878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1395676$0AC3E605-C7D7-44BE-AA56-4CD258D4A5E5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"513a5b34f4e353c93b41562ebe8d6aa01dc842ed","datavalue":{"value":{"entity-type":"item","numeric-id":4817536,"id":"Q4817536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cb96c0ea573801f0d6045629e1f0e4acc71e48f","datavalue":{"value":{"amount":"+0.8951085209846497","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":"Q1395676$FAD256C0-2409-45E2-907C-2FCB6D95D2A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac5120a6304b69ae0bc243529e3e8c775c6640ff","datavalue":{"value":{"entity-type":"item","numeric-id":4493887,"id":"Q4493887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d454288320fe577d598a694933b4bb33b2853883","datavalue":{"value":{"amount":"+0.8741766810417175","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":"Q1395676$339700C7-3335-463A-ACF7-6E39430F7F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23d613a0cb227f616c14f21f539ade199217403f","datavalue":{"value":{"entity-type":"item","numeric-id":2754095,"id":"Q2754095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"020c39078e6c335b2fd311b0e3b7be532a024ba9","datavalue":{"value":{"amount":"+0.8542417287826538","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":"Q1395676$B108A938-C7FB-4DED-B8E8-122305FEB5F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7407d5e0c1e7e2bb076ee64005c0e540ede77cf9","datavalue":{"value":{"entity-type":"item","numeric-id":1810852,"id":"Q1810852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f1e2909d264b7692cd0d3cf4971cf6ae29d0dba","datavalue":{"value":{"amount":"+0.8528124094009399","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":"Q1395676$4970B598-D491-43DA-8C56-B40380AB8BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4678dffff78254552192155159d057c332468e7e","datavalue":{"value":{"entity-type":"item","numeric-id":2767163,"id":"Q2767163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6c1d38bbbb695715faec103405fab55a0fe7877","datavalue":{"value":{"amount":"+0.7120416164398193","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":"Q1395676$850F6EE1-45C1-4727-8EF3-A4CF5862D9A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A compared study of two correctness proofs for the standardized algorithm of ABR conformance","badges":[]}}}}}