{"entities":{"Q5690146":{"pageid":7719706,"ns":120,"title":"Item:Q5690146","lastrevid":46805349,"modified":"2025-12-25T15:24:21Z","type":"item","id":"Q5690146","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 966894"}},"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":"Q5690146$7C23BA44-6538-4678-8C3C-5126E69F1C5A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"98dd1f2675b59f646b73aab87f5880b9983ef149","datavalue":{"value":"0865.08002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5690146$DC16EBA2-2F05-4127-ABB4-7D76EADEB7DA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"59bb82757387098aa182b50cda239e6c53307a6e","datavalue":{"value":{"entity-type":"item","numeric-id":634756,"id":"Q634756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5690146$4EFF7484-9045-4588-B673-C59817F6199E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d00f9d13ed39f59c9c1392ae0c1f7dc89d06bd50","datavalue":{"value":{"time":"+1997-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":"Q5690146$3647C3DC-63E3-4C1D-B00B-3D2573FA6605","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5690146$1345C737-3DC9-4124-AC80-B538E98BB994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb2fc5c8257a7b98fa92dc176d9ed2acc92fad3b","datavalue":{"value":"08B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5690146$8A06637A-DF68-4F0E-BA9D-A2DD0DDB0967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5690146$4F2521AA-EAD6-4D21-9E43-4AA4F3CE766D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5690146$89F0F90C-B447-4BC6-9E04-6BE6747218BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46e0aecb6c6498cf0d1f253ce093c77392c0774c","datavalue":{"value":"966894","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5690146$C2F9107A-EC50-43F5-B4EF-A75ECEB086C7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5690146$4929AE84-20A5-4E50-810F-ABC1EBA08916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b86261a1683177e4ff84e69a93638b017c779d8","datavalue":{"value":"unitary variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q5690146$0E01B65A-05AC-4805-BA42-9EDEB191EA95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d4e6ec29b8f7b2c28a3e0de1972482c846ebb7b","datavalue":{"value":"most general unifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5690146$BBDEF899-4777-470C-A199-8AF535F230F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c6dd1981b07a4c4fb58bb4b18036831c634f9b9","datavalue":{"value":"discriminator variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q5690146$ACFED81D-15F7-4067-927E-DA54F4EC499F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"170eb613c03c9f99a9d3d5f97569a7fdea3450f3","datavalue":{"value":"transparent unifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5690146$05042FD8-88D0-4F42-971F-50A6076A1D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"907074bd4459984e62debcd0f6fe69693e4fb1fa","datavalue":{"value":"varieties of Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5690146$DF2E26F9-970B-4AA5-AC7A-84E5EA379B9B","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":"Q5690146$79843AC1-BDB6-48D0-A903-0D549FB14820","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47970e91b97a182dca804e2e57c748532ce04a51","datavalue":{"value":{"entity-type":"item","numeric-id":2903751,"id":"Q2903751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0688d88c2ad637599929255a05ec2de2fa1e37f","datavalue":{"value":{"amount":"+0.783438503742218","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":"Q5690146$3C89CAC5-B31E-4EC4-8188-EC748B762488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce69890cb91e1dda937d7b3036b1317904388147","datavalue":{"value":{"entity-type":"item","numeric-id":2494722,"id":"Q2494722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"247caae5260f254b5e550f31b0203093b812bebf","datavalue":{"value":{"amount":"+0.7802056670188904","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":"Q5690146$FE2DD84D-C6C5-45D0-82FC-22BAE6E0F2CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62377eea4c7add607004408914d174f5374cf046","datavalue":{"value":{"entity-type":"item","numeric-id":4381867,"id":"Q4381867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c310f3b64f2c943d7539a040057957124181221f","datavalue":{"value":{"amount":"+0.7593836784362793","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":"Q5690146$08B56EB2-8A8D-4CAB-9A6F-C89A80150AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8598c1d3d6fe622d35edc0590a87c9b5ccdbc93","datavalue":{"value":{"entity-type":"item","numeric-id":4262590,"id":"Q4262590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26a023b6862c14a0745e55fecc1ba6e655f938df","datavalue":{"value":{"amount":"+0.7586443424224854","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":"Q5690146$3518A911-08F6-4FE7-B093-8B3379619351","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5690146","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5690146"}}}}}