{"entities":{"Q4028369":{"pageid":6058123,"ns":120,"title":"Item:Q4028369","lastrevid":55215478,"modified":"2026-02-04T22:09:53Z","type":"item","id":"Q4028369","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 140005"}},"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":"Q4028369$0F7888D9-0426-40DA-A9B0-D8B4B8531DC6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"938f7e243f0ada8809df9eda2387cec19a0c123e","datavalue":{"value":"0766.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028369$B8D8D9AF-4145-4877-97A7-2EDCA02A6CF1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d2ede521f5fce8fa3298f18b62562b18a8ba12d","datavalue":{"value":{"entity-type":"item","numeric-id":674007,"id":"Q674007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4028369$07A1245C-6741-49D6-B372-CF40C6A45194","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e126f0a627a644e456ce20a058877c46ad749c68","datavalue":{"value":{"time":"+1993-03-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4028369$56433A89-AD7E-4884-A6B2-E50231EFD032","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028369$5D8F6547-5AA6-4142-AA43-13B5425086B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"611e30e7fa0b0484b9db0e323520cfb41c747579","datavalue":{"value":"140005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028369$ED372622-7432-49B4-BEBA-B7754516763D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44e60a0070561e5c747a09c375921d6d66871392","datavalue":{"value":"development of concurrent programs from specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028369$A7FC2500-D781-41CE-A638-2EAED8DCE353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cc6ee4d2598aa46c72f87235a085987df1b37c6","datavalue":{"value":"formal correctness of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028369$1009B3F4-090F-4FF7-99BB-D27DAAAB9B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c010c02eaf377d3bc00a606182f5591aa3fe546f","datavalue":{"value":"unity logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028369$546AC734-5EB0-4F72-81C8-56E01A788B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff71010abc89730f6a9d32fe7cad0486b931ebf5","datavalue":{"value":"temporal proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028369$CA0697B8-A95B-4C53-894A-D6BAAC85F6F2","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":"Q4028369$3F19B19B-1356-4774-89AC-3CB996D321BC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"854a72c10ba3cd04c632ec0756f6f1c865203d0b","datavalue":{"value":{"entity-type":"item","numeric-id":792078,"id":"Q792078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07ddafdf67a27e2817a5899e695785d167d4d7ad","datavalue":{"value":{"amount":"+0.8768274","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4028369$7F6051D6-86F0-4F65-96BD-E6D31FDFBD23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cfe08486edf0e75142f6a205d24e27af375e4c6","datavalue":{"value":{"entity-type":"item","numeric-id":4658725,"id":"Q4658725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0e211d9c25026cea89dedc051b021d39709b134","datavalue":{"value":{"amount":"+0.8715776","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4028369$6B09D1A1-9D2E-4D32-B761-D5974E02423C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c3543ca4a0e1498c802706b4e0348631f6aee54","datavalue":{"value":{"entity-type":"item","numeric-id":1094866,"id":"Q1094866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dafefb4095c4be59f7663414bdec564bbda6777","datavalue":{"value":{"amount":"+0.86635333","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4028369$9877E2A8-3254-4F81-AE31-2F07AB3B04FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff34c02a8377419aa6bc52038759eaf89019a2d6","datavalue":{"value":{"entity-type":"item","numeric-id":1203115,"id":"Q1203115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79569ccce6348c0c78f910c5773433d02c8a1eb3","datavalue":{"value":{"amount":"+0.86595726","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4028369$A604F35C-EDEF-436D-A2A1-7F1C83FDC6BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d802a70c96e217885c44d79fd4efd3492ead918","datavalue":{"value":{"entity-type":"item","numeric-id":909439,"id":"Q909439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9704ade4f4c4056717ce786c6a7ac79cd732d2cc","datavalue":{"value":{"amount":"+0.8657081","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4028369$8FB3D5C1-F1E2-4311-9880-897807ABA514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b2e959713092f130372684540111f8d18f2981e","datavalue":{"value":{"entity-type":"item","numeric-id":530860,"id":"Q530860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1276cdad3334813b26a9f2cc86a1bf587a1a1095","datavalue":{"value":{"amount":"+0.86224854","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4028369$60BC64CA-A288-45C4-956E-D1498F052877","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4028369","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4028369"}}}}}