{"entities":{"Q2577617":{"pageid":2588360,"ns":120,"title":"Item:Q2577617","lastrevid":48622153,"modified":"2026-01-05T10:18:09Z","type":"item","id":"Q2577617","labels":{"en":{"language":"en","value":"Continuous domains in logical form"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2243107"}},"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":"Q2577617$521AD107-1446-4963-AAC6-EEFF1A5C8825","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bb23af98bbbe9d6b7425726e8c2cf431822ed7ca","datavalue":{"value":{"text":"Continuous domains in logical form","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2577617$E221B0FC-D6C1-423D-9705-2A2C2DC5E5ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"86a120126b7fcda52da3755ccafe24ed7ae42771","datavalue":{"value":"1080.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577617$411ACB3F-6DE4-45F1-A346-94F54A1E2104","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4d5b450a98db2a93a9d27fbf11b49c88b471813","datavalue":{"value":{"entity-type":"item","numeric-id":1306710,"id":"Q1306710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2577617$2234B099-D079-4686-BCE1-5C8CA04FEC91","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2577617$B4D17F71-5F5A-4E33-9796-9F749155F1BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e81087e56abd7626903c723dee82f6da2bd7008c","datavalue":{"value":{"time":"+2006-01-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2577617$E342A6C1-1904-49C2-B6A4-4A228BA9AC96","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c44b21ea0d897b5d03b6137a90a7573f1cd8a11","datavalue":{"value":"http://www.sciencedirect.com/science/journal/15710661","type":"string"},"datatype":"url"},"type":"statement","id":"Q2577617$991EA0D2-D74F-49E3-9AF9-21BF4FD87AA7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577617$9069427C-CBAE-415F-8311-AAFFB4C2316C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577617$95E805C1-A9E9-42FE-9B0B-782D72E621DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577617$04D24CDB-88B5-4903-BCB6-E22FF0D50F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4de811363544ad897611eca6bf9cd29d53afc249","datavalue":{"value":"06D22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577617$2BD0DC5E-9CDD-4DB2-9298-B02EE9A4328A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da6bb9e4e82c31800f6eb5c65d9d41d5a31cc52a","datavalue":{"value":"54B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577617$B5008E2A-A202-4959-B071-620C1FBD8463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577617$00764A77-6EB3-415B-BAA7-BECE4292A38B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1aac88084b89fb4659bac5346f45a975ec0a7910","datavalue":{"value":"2243107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577617$B2A4E278-07FE-4653-9954-3E95AB5CA3FC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8873778a5b1adbf01fb9682e26ae36dc994d14da","datavalue":{"value":"continuous domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q2577617$7C59F382-14AF-4760-A946-B2E17A6D0023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d3ceccbb40126c8a454055a1020350d5a10d940","datavalue":{"value":"multi-lingual sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2577617$1103C194-3444-4AC3-BDC9-D6CA61B1D8F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dde5e1e7e0df8271ba26cb558adb7130189f0048","datavalue":{"value":"category MLS of logical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2577617$715A0240-91BC-445F-8109-5E581314D033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2577617$2E646FFA-D9A4-4215-BB30-EBC5C153FF13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c085a31e69e0fe010466c70ee39325734e1910","datavalue":{"value":"category of coherent spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q2577617$AAF16853-025A-4970-B8DF-9D115C80A070","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":"Q2577617$18B76C4B-71D1-4841-9D34-263A64E34F94","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5f71a46219c2c9c43354a05becdcc0dea19b5b4","datavalue":{"value":{"entity-type":"item","numeric-id":4222892,"id":"Q4222892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"904bb1afac0f1e12ad18be35199cbd6fd87388b1","datavalue":{"value":{"amount":"+0.7781625986099243","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":"Q2577617$A4E9AC93-E6E6-4F44-A7B3-59A7BD3B1205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be84da5f20bcd54c054377ff57985a7801be984b","datavalue":{"value":{"entity-type":"item","numeric-id":4265614,"id":"Q4265614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a5aa3019807e421f98fee65be0e3dd7e546aac7","datavalue":{"value":{"amount":"+0.7752876877784729","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":"Q2577617$E461991B-7D2F-4ADC-A080-A214AA14543C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d5aa33a8484a36be54dfd5e0a74f42e39bbd8c3","datavalue":{"value":{"entity-type":"item","numeric-id":5220179,"id":"Q5220179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a5aa3019807e421f98fee65be0e3dd7e546aac7","datavalue":{"value":{"amount":"+0.7752876877784729","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":"Q2577617$E8A0A59C-626C-4528-A53D-1351B90365FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afc9093763a1affff82939a36e10c2a0252ee561","datavalue":{"value":{"entity-type":"item","numeric-id":5096332,"id":"Q5096332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"200338cbc66956f04f8c8dd9d6096c5a43fcda47","datavalue":{"value":{"amount":"+0.7652358412742615","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":"Q2577617$99B72B3B-1F19-43DB-8CCE-79950BE3B5B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d942bb493b02a804a6feb6a72dc10e8b0b3eacd","datavalue":{"value":{"entity-type":"item","numeric-id":4916204,"id":"Q4916204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f85b0be26c5a7df175aaa0b47c9afc37d23bfeb","datavalue":{"value":{"amount":"+0.7497444748878479","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":"Q2577617$70A6BDEF-18FD-4EC1-ADFC-639D7E25E3D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2577617","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2577617"}}}}}