{"entities":{"Q3690206":{"pageid":5720112,"ns":120,"title":"Item:Q3690206","lastrevid":50224412,"modified":"2026-01-13T14:00:18Z","type":"item","id":"Q3690206","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3913664"}},"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":"Q3690206$0D2D2C0E-3A2A-4DBF-A76C-075D8E1D6F4C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"941add42c538630f92a00abdc6277fa746a89d55","datavalue":{"value":"0572.68020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3690206$E293414B-8C89-4864-ADBE-8C56F4A40E55","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c02480a6f2acb40a62f3c1a600bbd033e6ddfab","datavalue":{"value":{"entity-type":"item","numeric-id":453527,"id":"Q453527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3690206$AA9A5C83-DA15-4F1A-9804-A648224DD9B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c39075cf9ddfdc42864bc16125ea42ce8dd41ba","datavalue":{"value":{"entity-type":"item","numeric-id":243976,"id":"Q243976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3690206$10564C3C-A2D2-4479-8078-55E6B96F887F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3690206$D7BB0363-F2B9-41FB-B235-19947FE9CA2A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3690206$EBDBA1E8-4CF9-478B-9842-AB1C0BE71D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3690206$6421AA38-0A89-42D6-B1D7-7E3FDECB80F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3690206$B5921E70-A48A-4EE3-AD9A-C1510930111A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7fd213a574edd10a6bc470cc2d78cbfa20c5eb59","datavalue":{"value":"03C52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3690206$32D5AA1D-632C-49CC-B151-13C3BF781EB7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70c7a3fa95dd29d4c43bd267518b5482f14f44f5","datavalue":{"value":"3913664","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3690206$E0765F9E-5808-4EA1-A019-DB4FB9B910EB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3485c0aebb56df191f4adfbe0acff20410675c3","datavalue":{"value":"calculi for non deterministic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3690206$727FCC6B-5707-4DA0-9644-5E5BDE4404E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b813b7c5abae0a563989dbd36082c0d0dfdebb5c","datavalue":{"value":"acceptance models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3690206$C6B6A903-604B-4257-9FF6-CFF00EF6A284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1533885a6f24a657dadfdcd8850be8fba51836c","datavalue":{"value":"communicating systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3690206$392297E4-6E21-4F20-823B-ED972E13F200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"257bdc62a0f223e7db6c1dcb9dcc73ac9250fd44","datavalue":{"value":"TCSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q3690206$64FC0DCD-E49F-4FDE-B012-C76CD27615CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7578b038a259e5bc1908dc999ebeaa3bdad3b25c","datavalue":{"value":"Galois connection","type":"string"},"datatype":"string"},"type":"statement","id":"Q3690206$E9E2904E-77C5-4DF8-924C-9279B67D046F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70466537f5576172318f55acce2bb80a35f6b649","datavalue":{"value":"sound and complete axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3690206$3F5B1EF3-91CB-42BF-BFFF-5B12E721FDF4","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":"Q3690206$B044D4CF-2E0F-4A3A-8716-6630A8890921","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3631f452966398c4fd0ee80df6824638d931703","datavalue":{"value":{"entity-type":"item","numeric-id":3719799,"id":"Q3719799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4bcd9eed336c541deb765902e2c6236cdcbb559","datavalue":{"value":{"amount":"+0.7280486822128296","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":"Q3690206$ACA3A031-9B5D-414A-8E9C-755DDF9E23BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"311fde5e4323f5e9191742870d7372d834c6424d","datavalue":{"value":{"entity-type":"item","numeric-id":5014799,"id":"Q5014799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b91cb3df7ef71564f290fec5f3491d41ec08188","datavalue":{"value":{"amount":"+0.721286952495575","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":"Q3690206$40358BC3-87EF-4C85-A290-F8D3C28EC1A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afe936c1ef4a9275230ead4ac90045b7bd342ba9","datavalue":{"value":{"entity-type":"item","numeric-id":1372360,"id":"Q1372360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa65585adcb0595c5cf79bd8a7d41ad165587c94","datavalue":{"value":{"amount":"+0.7132245898246765","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":"Q3690206$75FD932F-BB6A-4A1A-87C8-7E6ED1603829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4528fc1117a9ea3ee248f84fdf749257495eaadc","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76a5d7bb44f50da4904d829482da78926a3d5dfb","datavalue":{"value":{"amount":"+0.7122653126716614","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":"Q3690206$7997E965-2323-451D-9D72-BE84F1AFACC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70c047b2e7a6b97118518cc59f4a171e82b0186d","datavalue":{"value":{"entity-type":"item","numeric-id":1389439,"id":"Q1389439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f50b83bb2c573d5d4393e9b0908a55da78123b44","datavalue":{"value":{"amount":"+0.7079204320907593","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":"Q3690206$E9DC8C69-0584-4638-9F52-72920DF3334E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3690206","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3690206"}}}}}