{"entities":{"Q3820599":{"pageid":5850505,"ns":120,"title":"Item:Q3820599","lastrevid":54080030,"modified":"2026-01-26T05:20:29Z","type":"item","id":"Q3820599","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4093448"}},"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":"Q3820599$0D6C1DA8-F731-4F72-BCA9-69008397F8B2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9061b86bb29ab60c892393fa30e6a22acdf28432","datavalue":{"value":"0668.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3820599$6EEAAC91-B9DC-4DA5-BA73-8D48A6E22C3F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"398d5a9bd6a3354a9e18d0e067838ab447814818","datavalue":{"value":{"entity-type":"item","numeric-id":2943210,"id":"Q2943210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3820599$B861FCF2-C2E6-4ACE-B957-7CEEE03A61BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3820599$687A249B-FBDA-4B0A-9D42-FBB47978909A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3820599$2A482752-8E29-4AFF-8617-2692FECB9A1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3820599$853A12F4-8D8E-4BDC-A972-B99795010361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3820599$7EDF09F9-D666-4ECE-BC03-4F9EFF626C91","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"984028f32c3455d12eeae0171551e06bb7054bab","datavalue":{"value":"4093448","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3820599$45E60C6E-5D47-4176-8210-EFEA5224AE71","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e453b821e6bf9a8a1f1b31d5cd2c095ed4f11d8","datavalue":{"value":"constructive calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3820599$2F22105D-13AA-48E4-B501-AE33245B964B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3820599$F7B2CF16-2153-4907-A4B2-0AB81711E726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20d362ffe83d0c9cef8194f5c98afe3fe5803803","datavalue":{"value":"intuitionistic theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3820599$E28A309A-4C0E-4B93-9E1D-A5FE24994B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e39900cadd5c7230b33b22cd613cf198e6a061e","datavalue":{"value":"constructive model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3820599$64C65C80-8B61-4A44-BA11-D903840C67FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e095987e91bfd1e4b5e16338b7f38625214a6b7","datavalue":{"value":"constructive truth","type":"string"},"datatype":"string"},"type":"statement","id":"Q3820599$56F58217-F09B-47E9-9737-FE1951F64639","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":"Q3820599$F18D51A0-70C0-4162-9131-4DD68C3F9D26","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6b78b3ecf79be68faa3d83e8bddef8dbf6a0f74","datavalue":{"value":{"entity-type":"item","numeric-id":5752570,"id":"Q5752570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"509909557b7a1c43c9c97d0f35cdc38460fccd2b","datavalue":{"value":{"amount":"+0.8203721046447754","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":"Q3820599$50ECAA37-A8FF-4866-AEDA-1F99EE8C696F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83e4020bfb0888cff859f0b3a6ca06af5614dea1","datavalue":{"value":{"entity-type":"item","numeric-id":3812244,"id":"Q3812244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5582963c4a56ffa2b1d48fd545dadbfd6d580f2","datavalue":{"value":{"amount":"+0.7825064063072205","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":"Q3820599$5CFC659E-C172-4F41-8F0C-36901F357201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"994abafcebf920ff08b53f01fe6fca3bc5aaf07b","datavalue":{"value":{"entity-type":"item","numeric-id":4038676,"id":"Q4038676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d66e44be9b2f5e6e26511efab5a91d33fa759118","datavalue":{"value":{"amount":"+0.7804626226425171","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":"Q3820599$E5A4C218-A79F-45FB-833D-FD2F06511B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c356889ad391fe7e586869efdfdde6643995173","datavalue":{"value":{"entity-type":"item","numeric-id":4205440,"id":"Q4205440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d66e44be9b2f5e6e26511efab5a91d33fa759118","datavalue":{"value":{"amount":"+0.7804626226425171","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":"Q3820599$E85B083E-DDAA-4440-85CF-4B5FB227117C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57bb6bfc66e315fd0958644aecdae3f8cc93e52e","datavalue":{"value":{"entity-type":"item","numeric-id":4815986,"id":"Q4815986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13d7b87472c4ef7bf65975678e33d082004f9caf","datavalue":{"value":{"amount":"+0.7745552062988281","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":"Q3820599$44C8E2E9-DC3A-4E60-A810-20D6ABEFB8AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3820599","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3820599"}}}}}