{"entities":{"Q2763646":{"pageid":2774385,"ns":120,"title":"Item:Q2763646","lastrevid":47725966,"modified":"2026-01-02T13:17:05Z","type":"item","id":"Q2763646","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1692904"}},"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":"Q2763646$8CC9D2DB-8EA9-4830-B237-74AE2BF2497C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3223225c737550b57c24a0119725f2fffe952ff9","datavalue":{"value":"1037.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2763646$A7021E7A-4464-404A-8F5E-254EC2D0BE8F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c57a0d1f62d0ca0f4f2a479750cecec4923e5b40","datavalue":{"value":{"entity-type":"item","numeric-id":281280,"id":"Q281280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2763646$1A6023B0-C504-4439-B29D-C99683ED276A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4869c7dfab7d11e532d3d8c20fdfd5fa6f2c4cbe","datavalue":{"value":{"entity-type":"item","numeric-id":383355,"id":"Q383355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2763646$B1933296-CE3B-4356-9AC1-C370C2389B0D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da1e102b79cffd268b6f68feaae2005a6fba4d8e","datavalue":{"value":{"time":"+2002-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2763646$EDF608FE-C63A-4DCC-AD53-B6848ABA5A5D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b1be57c0515fae4b7f46c6873770731c9927188e","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2024/20240311","type":"string"},"datatype":"url"},"type":"statement","id":"Q2763646$D3AFC863-5F95-4727-9152-4756F0F33E1B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2763646$E9867E97-0B6D-491F-AEF7-84F483CFE054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2763646$8E505D43-D020-4AD8-9CCC-6FAA2C033190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2763646$FDCD683F-E377-4F86-803B-DF858112EB42","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"21b1ee895a5f200a5371cb29e2855ee855b67af7","datavalue":{"value":"1692904","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2763646$1A49C32F-D70E-4057-932E-804D8BEB03D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2763646$FE52547C-49DC-4C23-A405-D3110706F641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40443e796d30a9a7c10499432df73c84da618b03","datavalue":{"value":"domain theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2763646$E1A9F8C2-3D09-4A1D-BE00-24486D9A9E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0eddbd5718094e24bad6f4eba3171a28fe165e75","datavalue":{"value":"linear refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2763646$9D54C4A8-7ED6-4B19-83A8-4CBF3573EA6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2763646$5D4BA2B4-D360-451B-8297-30CCE85FC28A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2763646$A598E1C6-EEEA-4D9E-B07C-9D69DAA2CA41","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":"Q2763646$A8BCB7E8-B141-4258-9A2B-6DE416172037","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb2ca37d7090ec9b4d622b47008b03e0724b43ae","datavalue":{"value":{"entity-type":"item","numeric-id":1873754,"id":"Q1873754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ef49f56896b02a0cfb42ab3ae01502a22df20e0","datavalue":{"value":{"amount":"+0.884784460067749","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":"Q2763646$98EC562F-33A2-4818-9BED-2BD876B5D4C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da0184692c1a15a756f55215c0cea07bfbc6a534","datavalue":{"value":{"entity-type":"item","numeric-id":2722073,"id":"Q2722073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"461e8723fbf1eedf9088f3a3ba04d09933478ec6","datavalue":{"value":{"amount":"+0.8103439211845398","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":"Q2763646$C4C523A2-6FE0-4468-8E95-614DF0306CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"490b36e8104d1b4367e1d7f2a35f43e0c7d4f241","datavalue":{"value":{"entity-type":"item","numeric-id":3129510,"id":"Q3129510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b65cfa48e153b17de35b3c3cbaa76bef2d8e2a9d","datavalue":{"value":{"amount":"+0.8010556697845459","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":"Q2763646$6BD06561-99DB-43F5-B2DE-17CF1F0AF2EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"618f868eb94fe0f9f95b405ed1d94473e8072366","datavalue":{"value":{"entity-type":"item","numeric-id":3181746,"id":"Q3181746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a83067a8e64f70a7b4dbe0ac3931c5ac888dbfd","datavalue":{"value":{"amount":"+0.793486475944519","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":"Q2763646$5DBAF48A-D6FE-434D-9674-2E5F595059C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05979d1e5a6c327a4491046e17f058c3e0ee8c9c","datavalue":{"value":{"entity-type":"item","numeric-id":4012713,"id":"Q4012713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6262d4f8b6badbcf637e098000ef77eb20f4476e","datavalue":{"value":{"amount":"+0.7933735847473145","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":"Q2763646$516B91ED-68D8-4637-902B-929217B37DC4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2763646","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2763646"}}}}}