{"entities":{"Q3761675":{"pageid":5791581,"ns":120,"title":"Item:Q3761675","lastrevid":51786830,"modified":"2026-01-20T01:05:02Z","type":"item","id":"Q3761675","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4011906"}},"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":"Q3761675$CF2E3FC4-525D-4980-AB10-2E3A45CBA11C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7f91237136529d3e6d323af8b9316ebc77d0af3","datavalue":{"value":"0623.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3761675$0185F1C6-A47F-40BF-86A0-484915B8DE0F","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":"Q3761675$DDBAE5BE-E9F1-47D9-9F6F-F116F49920B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3761675$6D4FB899-9479-43A4-9335-FA138D459709","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3761675$26C5296C-D6E1-4CFA-9B55-84BA1219A98F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3761675$1F1222E4-F356-4CB9-BDB1-87FCB8A210F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ffca7cc85ee56488d21b77c52babf33b3a5b992","datavalue":{"value":"4011906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3761675$BC21EB08-FBC4-49E9-8927-7AB97AC8E7B8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e53df307452a0f493e5ea7f340e6394fad21772","datavalue":{"value":"sharing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3761675$DCD74633-13BA-4D37-8725-E219B3728021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5de5c78d46b9cdcf0ebef8b039e94b15fe93e030","datavalue":{"value":"aliasing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3761675$F5EC8532-4D65-4027-84D8-812EF69E93D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252724e1558bf137b513a3ba3a2bd5715abcb230","datavalue":{"value":"abstract sharing relation on identifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3761675$E790470A-27CB-4DFF-84E0-61642957E28A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fe3b76ea54d006467c22aa99dd029ad7de3c52f","datavalue":{"value":"locations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3761675$700C3A35-9455-4E70-99D2-6DD5BF01EF2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cf3004a2e588802ba97aa0068211aa61996d5f9","datavalue":{"value":"Full abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3761675$5B9C9BDE-5A45-4415-A90E-FD69E54C11EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d92b97f9d7083d0ab7cfe2a225b987f751cedee","datavalue":{"value":"axiomatic proof system for partial correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3761675$F82BE273-2039-457D-975C-320ECCD8940A","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":"Q3761675$A442CB57-8B46-4ED1-A694-A2B0C6E6F9C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d72f25d8e553386ddd610c17daccac41a1c4bad4","datavalue":{"value":{"entity-type":"item","numeric-id":3347263,"id":"Q3347263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a66d8341a00dcf623218d942ca8f294067b4b0d","datavalue":{"value":{"amount":"+0.7989619970321655","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":"Q3761675$ABE1E0B9-0018-418C-A26A-A57C2943715A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"954aaa1ddc58e7e71264f5799ec425549df72340","datavalue":{"value":{"entity-type":"item","numeric-id":1369235,"id":"Q1369235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92bb41b5607ca00978ad971e5587a5eb6b3d8c7d","datavalue":{"value":{"amount":"+0.7877300977706909","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":"Q3761675$A3976912-6393-47B9-9C23-5AEC5DC7F0A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72e6bd5c28e11b3c81e92cc7d1d82f3e553ad6d0","datavalue":{"value":{"entity-type":"item","numeric-id":3204053,"id":"Q3204053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92bb41b5607ca00978ad971e5587a5eb6b3d8c7d","datavalue":{"value":{"amount":"+0.7877300977706909","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":"Q3761675$25133D6E-7630-40A3-A7D0-8FB97386F989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7aa24fd28f3c1d1c0599b8d5759e7de0acc261d","datavalue":{"value":{"entity-type":"item","numeric-id":1923100,"id":"Q1923100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b32fddb1dd7be3aa6121086d4bfaba6fe3a02b3","datavalue":{"value":{"amount":"+0.7825274467468262","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":"Q3761675$B58AD8EB-F157-40AB-AC38-6E4F1FCF4906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f728a4eebd72089c51a67d269e82b890bc3869c","datavalue":{"value":{"entity-type":"item","numeric-id":4222822,"id":"Q4222822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0b4fef1d064bc64f80661af12f194baed25ad96","datavalue":{"value":{"amount":"+0.7741550207138062","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":"Q3761675$1C283927-FFE2-4C2B-BC20-EAF4A6A43F3C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3761675","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3761675"}}}}}