{"entities":{"Q3702497":{"pageid":5732403,"ns":120,"title":"Item:Q3702497","lastrevid":50469272,"modified":"2026-01-14T03:23:40Z","type":"item","id":"Q3702497","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3928330"}},"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":"Q3702497$17F216D1-9A93-42B0-834B-800CC4ABA704","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"44f8a28a6087e3e2a84fb3e1e35aa4631326d32a","datavalue":{"value":"0579.68011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3702497$7CD7C9D4-7C12-4EA8-BF47-DAFC877A60CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d425705e6cdafc2d847aa0b75ce1fdb33e5f17a0","datavalue":{"value":{"entity-type":"item","numeric-id":283740,"id":"Q283740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3702497$5554A333-A7E8-4A04-A0F7-578928078F51","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3702497$ED4E95DE-A29B-4B78-9A83-8C12B650F2FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3702497$FA288102-D1F4-4108-9FA9-37F757425682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3702497$CEFD0290-1BE0-4652-B91B-7DC6765953C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20fcf9617e86cfb277c0c3ea404d20fe5c190055","datavalue":{"value":"3928330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3702497$A6C69122-B721-414F-A133-0A123BB1B12E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb30f6fb39388d1fb612150f5e69372740c7cc58","datavalue":{"value":"communicating processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3702497$1A706B30-FB6E-4947-9D1A-7F6D5824C06D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29f830fd5bb668245e8764f90d6b0cabf1a6e52f","datavalue":{"value":"failures semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3702497$B283938E-68E1-43FC-A399-74DDE17075E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffa0c3289e258a19de6332c67476e528f8f33f0f","datavalue":{"value":"complete proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3702497$D01180FD-BAD6-45B2-9BE5-D3E6734F82B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"496b5e97dac5d86034552c378931564556bc4635","datavalue":{"value":"divergence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3702497$187265A1-3E6C-4094-A571-AAAAA624C3D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0c1638cafadcc380a428a4c30c460b4def4c1a6","datavalue":{"value":"syntactic approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3702497$B6DA3B37-56E4-4567-BE3E-46560723C075","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":"Q3702497$6BA02F43-3BA6-45B9-B401-49B46600FD95","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76e2298981b0a720680a3ae2496f762f5af9563e","datavalue":{"value":{"entity-type":"item","numeric-id":3030243,"id":"Q3030243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9bd4f7df8ad6e11821c5e8738a515b52de77ae1","datavalue":{"value":{"amount":"+0.8199141621589661","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":"Q3702497$F72C7661-DCFB-410D-B32F-72D8E5A8B13C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc31d83741da54ec9bb46861eca0d7595e47ef97","datavalue":{"value":{"entity-type":"item","numeric-id":3719813,"id":"Q3719813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d01f53298e27e87912a27e33ede2d0595badd297","datavalue":{"value":{"amount":"+0.8047358393669128","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":"Q3702497$CB09A85A-CB83-449D-8E59-C9CBFB5021AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45d06b04b3574bf1e19a583b8d9291f39b51daba","datavalue":{"value":{"entity-type":"item","numeric-id":1088402,"id":"Q1088402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0575708a87af0dcd2181ae5d54f89aa28b3ca47","datavalue":{"value":{"amount":"+0.8012152910232544","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":"Q3702497$47C6D077-AE93-40F8-8ABF-87FDCCEB81D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f7eb84ede491d7809281b8f50c12c5dee7b580c","datavalue":{"value":{"entity-type":"item","numeric-id":582133,"id":"Q582133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"246bdcdec794cf6417bc63a7bf11827a859819be","datavalue":{"value":{"amount":"+0.8007834553718567","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":"Q3702497$063D0640-2BE8-4928-9149-A160727174B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e580ff24a677881c04e7b7abf4279aa39b7b8405","datavalue":{"value":{"entity-type":"item","numeric-id":3680257,"id":"Q3680257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3d95f55e194333da0380b600dea3d8b932537b1","datavalue":{"value":{"amount":"+0.7962085008621216","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":"Q3702497$48511EDA-E7F3-41A9-AD50-5C9A8EB39720","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3702497","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3702497"}}}}}