{"entities":{"Q3635997":{"pageid":5665903,"ns":120,"title":"Item:Q3635997","lastrevid":50696342,"modified":"2026-01-14T20:22:33Z","type":"item","id":"Q3635997","labels":{"en":{"language":"en","value":"On Domain Theory over Girard Quantales"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5572713"}},"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":"Q3635997$9EFAB049-DC5E-403D-A79F-CEAC60372744","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f9400129b1c2fb58f9a802e67626f747462c7725","datavalue":{"value":{"text":"On Domain Theory over Girard Quantales","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3635997$41799E6D-1224-4BDF-B559-28527BB3E4AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"31cf309e1dbfe5b7aa6855471af8f12b8eeff5f4","datavalue":{"value":"1193.06006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3635997$652F8831-704C-47B0-88D1-2A7F7CBF5848","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6df3c5a435ddad44441e4f1ea0769e47f4b1a278","datavalue":{"value":"10.3233/FI-2009-0071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3635997$9BCC558F-089A-40EA-A38D-0188ED5CFD1A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f616bca6a150eb25dfb5663aa7286d07690a80e","datavalue":{"value":{"entity-type":"item","numeric-id":276491,"id":"Q276491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3635997$E666E0B8-8BDC-4B02-B12E-F79EEAFC0BA0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3635997$5BE43857-B563-4688-9CB1-6EE17A06085B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09df791b31880a83cb69102ced8fef72b45dd8e8","datavalue":{"value":{"time":"+2009-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3635997$DFB9F1AD-57E6-4DED-B90E-AB53DBC80A11","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3635997$93B6071A-43D0-46FD-A311-351C7E2C5E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d288a69107e543ad02bf89fe7b5f6e3ec2021571","datavalue":{"value":"06F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3635997$2890602C-C6DA-470A-A611-7699D835F845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3635997$AF7AA632-6A51-4EE4-8BE1-D96868476F2D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e731dd60b6b46700a2e1e96864d5352482912a0a","datavalue":{"value":"5572713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3635997$0A2861DD-7130-476F-99D4-C1FFBC36B508","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bf6a625b6e898e5bbd53874b7f5970dde0f0b7d","datavalue":{"value":"generalized continuous domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q3635997$2EC495EE-1B18-4657-A8BC-33B79F376A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10cf67d395120e2287362f561cea136fd6e0758e","datavalue":{"value":"generalized way-below relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3635997$98BE3E9D-0AA6-4B7B-97E5-491C73E3C024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29c7d53452259016576fcd7bab41b906653a8474","datavalue":{"value":"rounded ideal completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3635997$81CB076F-9458-496D-9479-F05BF74B7C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"640969a51949c58f910ccba606c7fff0c25afcc0","datavalue":{"value":"commutative linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3635997$79141BD2-9061-428D-9D8E-8C866D9C455E","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":"Q3635997$9FAD4002-CF8B-48FB-B2B6-66E2E0035D57","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2fa22dd140383c186a47c34b68691388562a541a","datavalue":{"value":"https://doi.org/10.3233/fi-2009-0071","type":"string"},"datatype":"url"},"type":"statement","id":"Q3635997$32E97E24-B515-487D-93EC-EEEB181CC31C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5165f277b279f221853dff84fd43cc648593f8f7","datavalue":{"value":"W1819103856","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3635997$F468CD91-FB5D-44FC-89BC-DC8FF8EF72B5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1ea2ae336dfe506bbe20e36d907fcc5cfbc8fcc","datavalue":{"value":{"entity-type":"item","numeric-id":3197878,"id":"Q3197878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11a9d46cf82a54ecad21df4ea086ef049d2d648b","datavalue":{"value":{"amount":"+0.7434453368186951","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":"Q3635997$00F2D4CB-A51A-4E20-B1CA-1988CB09D7AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dbddb7868ec23ea603c7e1d415111defffcff85","datavalue":{"value":{"entity-type":"item","numeric-id":1185015,"id":"Q1185015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9f7267e2c9c4ad89b22165a1e6253139c72fba5","datavalue":{"value":{"amount":"+0.7356130480766296","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":"Q3635997$FE6B0C0E-0642-458D-A646-B15B4B954285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be17cbd814586c5c3d517ae198e0c3c78582acbf","datavalue":{"value":{"entity-type":"item","numeric-id":4917050,"id":"Q4917050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbc55d5126963d3c5a70e43e4b3acc611a46f72a","datavalue":{"value":{"amount":"+0.7346378564834595","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":"Q3635997$9C3A95B5-B21A-4A0A-A130-2D53912564C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d563fa5373ecabcfc46edf4a3d7432ac4927db1e","datavalue":{"value":{"entity-type":"item","numeric-id":4222770,"id":"Q4222770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c488dc0df3215be31933b3f022006917d2f9127f","datavalue":{"value":{"amount":"+0.7341150641441345","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":"Q3635997$8489E430-25F5-4C57-B70D-C948612F0A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60d049ec550dfb9444c84a41f9b5e416d24cfb25","datavalue":{"value":{"entity-type":"item","numeric-id":645198,"id":"Q645198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9766439ff524c3f565eb4600bcced7570e90219a","datavalue":{"value":{"amount":"+0.7333754301071167","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":"Q3635997$05408958-EAE9-4BFB-8C1A-7851848F3CCA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3635997","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3635997"}}}}}