{"entities":{"Q3347265":{"pageid":3357973,"ns":120,"title":"Item:Q3347265","lastrevid":48785509,"modified":"2026-01-05T20:46:41Z","type":"item","id":"Q3347265","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3890705"}},"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":"Q3347265$3285EFC3-A9B9-4C1B-AC6C-97C9E9ACDB62","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4e4c20c3c47df41fa2f53455bae0844f8ea7cab5","datavalue":{"value":"0558.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3347265$0822ADB7-DEB7-487F-9670-F3502C3C7EC6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dde9477c31764f7e982fa5c7962174291d7bf7fb","datavalue":{"value":{"entity-type":"item","numeric-id":259063,"id":"Q259063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3347265$3595E507-6816-4452-8FB3-4B2D2529B99D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f22a3deb8c3bb69905bbf6e6a826dde89e56c83a","datavalue":{"value":{"entity-type":"item","numeric-id":174819,"id":"Q174819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3347265$E0C2B91E-CA78-4DB2-9715-D1D66D218355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9568a61c55802ceda18ea5e885b2fc3da9204e0c","datavalue":{"value":{"entity-type":"item","numeric-id":340039,"id":"Q340039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3347265$9A205DED-B291-4CB8-BCF3-D0544AFC0546","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":"Q3347265$C5B7A7A7-2052-4C9A-B096-AB9B655F21D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3347265$923A56D2-DF84-49DA-86F9-772E7E0EDBD6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e765e2cb859a9aea5d2cd71991c96234f75bce5","datavalue":{"value":"3890705","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3347265$410912A3-76E6-4DE5-9000-282B2449CF61","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edc54e2ee713bf6ef933abe433da86dc03aec7ba","datavalue":{"value":"proof rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q3347265$E7B41512-1EBF-4599-A4B8-927F3EFFB324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19d56a76d08ec5345f622590af42e78e2441f9d1","datavalue":{"value":"logics and meanings of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3347265$750B729F-489C-4124-A2A2-4138DE1D2A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a69f0df29fc376f8cab44fccdf78726d7e892b6","datavalue":{"value":"ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q3347265$9D21061A-A279-4C6D-A723-2453EC2623C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09f08fe6c16b3c26a1a0a83daf5a7e3891341f78","datavalue":{"value":"invariant","type":"string"},"datatype":"string"},"type":"statement","id":"Q3347265$EC2951D3-9476-40C4-9C56-6F054767B08F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf16e9c956faeb77c0b2be4d193533748d9e87a2","datavalue":{"value":"equifairness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3347265$9602249D-CC87-41AC-AB4D-57DE18A9073D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf708c9f6e9488802c3788c51f5c19d067cfd1cd","datavalue":{"value":"non-determinism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3347265$9FFB203F-9934-4665-A358-8E320D66DAE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3347265$26707535-3EE6-43C3-A195-432E4137237B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"776b4df0eec84dbc7f1e358917d039bd585ad338","datavalue":{"value":"strong equifair-termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3347265$D077AF35-3B69-40F1-A76B-08548A9A1C2E","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":"Q3347265$A2F76E16-3580-4A18-8F74-8EA8B0352830","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f257b0ab1fbcc7b22da3b0e7c5221ac9f8b239c","datavalue":{"value":{"entity-type":"item","numeric-id":1088401,"id":"Q1088401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7be298e93cce0b0c5b6d0d976d80437c73addeeb","datavalue":{"value":{"amount":"+0.9660161137580872","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":"Q3347265$A4F6D9D2-9A8D-4CA6-BE9E-F72356B24C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bab2fc16dec7310aa516497d2701cf1dfcd7f2a1","datavalue":{"value":{"entity-type":"item","numeric-id":685427,"id":"Q685427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62b2182a70dd64b3215b0d41bf2329851a2eaebd","datavalue":{"value":{"amount":"+0.8344219923019409","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":"Q3347265$9EACB248-940D-4B92-B006-26A9EA42F12A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f6614df86d880d846edaeea9af6917f2ad263a4","datavalue":{"value":{"entity-type":"item","numeric-id":3738540,"id":"Q3738540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16800deef3a44572e206587d20d2fbbb157cd6d1","datavalue":{"value":{"amount":"+0.8343128561973572","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":"Q3347265$C92332F8-8E42-4B0A-B768-4BC8868D1AB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ad017216361ca1ab9b4f98a6a58af0c589e6b82","datavalue":{"value":{"entity-type":"item","numeric-id":795499,"id":"Q795499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc68923a342406b8003a82cf2dec965584a4cb96","datavalue":{"value":{"amount":"+0.7926971912384033","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":"Q3347265$73C31E24-71A1-4E62-9A89-21E70A7CE066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"485c24f178250c1c34a15a838503a34eba16ed9e","datavalue":{"value":{"entity-type":"item","numeric-id":3316557,"id":"Q3316557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d3e010c9320235a8343823aaf9a0758d0e2ce80","datavalue":{"value":{"amount":"+0.7914539575576782","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":"Q3347265$534B84E8-3779-4E5F-A905-0BBFF3DD4F63","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3347265","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3347265"}}}}}