{"entities":{"Q6083692":{"pageid":13217999,"ns":120,"title":"Item:Q6083692","lastrevid":55526827,"modified":"2026-02-17T18:15:12Z","type":"item","id":"Q6083692","labels":{"en":{"language":"en","value":"Logic of refinement types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7774592"}},"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":"Q6083692$637BADEF-0901-483E-9AB9-C665665FD471","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"291405644095c98648db0f01d213bfcaf6b30fac","datavalue":{"value":{"text":"Logic of refinement types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6083692$A8975B10-5652-4646-80EC-9321FF239B62","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b3501a95ed8bce25532692eed12f4a681c580da","datavalue":{"value":"1527.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083692$571A5A9C-B41D-43AA-ABBB-932F459DEA9A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc0b30ea53287664af06d577dcc347f3b0c9b7ee","datavalue":{"value":"10.1007/3-540-58085-9_74","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083692$77CB0763-AB6C-4019-8C15-18C830E3D002","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdd19df90689677c5397c0740db5d3f48f7a8b48","datavalue":{"value":{"entity-type":"item","numeric-id":235608,"id":"Q235608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083692$F2B27EFB-8622-4A7E-95C9-26E8E13B9E3F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083692$FF3DE4FF-87C3-4C17-9FAB-9A7C81D35845","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"80837e4f107d88dc61f75b08f8b7aa1a590aa151","datavalue":{"value":{"time":"+2023-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6083692$8DC5A323-C9F3-4067-B0D2-DFC45D75AD1D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083692$0DE8A74F-DD85-4A7E-A9E8-61BC16FC0BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083692$891CBD42-9034-491C-BCEE-CAFF9AD3282F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083692$A86F7738-4CE0-4271-A83D-AE84B3E4BAE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083692$38D7C8AC-5C76-47D2-AD7C-9940499FF735","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6452fe45d485155f69e249f4408cb8c32b98fb6e","datavalue":{"value":"7774592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083692$4E100309-A810-4EE9-9B5A-23A5D3EA4F32","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":"Q6083692$F7E37FA8-9E69-455B-B006-05BD116C2932","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"62dba33f3cce21a9d2de2733031601060e1e3363","datavalue":{"value":"Q55966764","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083692$A213A51A-50AA-4892-ACC2-7EB4A5E71E4C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ff6c808b60258cd61bfbcfaf0767709216932e62","datavalue":{"value":"https://doi.org/10.1007/3-540-58085-9_74","type":"string"},"datatype":"url"},"type":"statement","id":"Q6083692$055E2055-F5E4-4DE8-B441-52153EA2D663","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bdaba6d08411b5274555907c60e79f021b1f302c","datavalue":{"value":"W1512120669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083692$CC91AD8F-9AF9-4932-94FF-E860C594E418","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083692$8D9BBE72-DF79-47BA-8B3C-BAC09EB3A753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083692$FE960314-CBB3-4658-8041-F73B4E04932C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00e1af5ff4de5669d04468a059aa8da9a28a6e6b","datavalue":{"value":{"entity-type":"item","numeric-id":4198752,"id":"Q4198752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083692$86319886-37C6-4A01-B092-17FCD36F747E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"041d27619ddd593aca8298cbe17a548a65e007bf","datavalue":{"value":{"entity-type":"item","numeric-id":1075312,"id":"Q1075312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083692$EC99AAA1-74DA-4F3C-9D40-7E1BAAEDEF2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"037d5806b09108babd9428eaa68852f36d6795de","datavalue":{"value":{"entity-type":"item","numeric-id":5096245,"id":"Q5096245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083692$217DB6DA-6341-498B-8F33-EB8D786B6C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39e6ac0a3b1ddb77f75539373cfc425e2a0d879a","datavalue":{"value":{"entity-type":"item","numeric-id":4279250,"id":"Q4279250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083692$63E990B0-D3C1-40EE-B046-DF793EF58216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1cf565aa8dc0e0d93531b527999151dea02c3f1","datavalue":{"value":{"entity-type":"item","numeric-id":4006235,"id":"Q4006235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083692$17187B22-905D-481E-878B-2D6835FD9020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e04882dd0098e511c274267f86b00f5c3a4c9815","datavalue":{"value":{"entity-type":"item","numeric-id":3211296,"id":"Q3211296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083692$5E318484-A3F4-401C-BF33-A4ED3564E872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d223355713d43fd22fdbfdb541ce3efab0d3390a","datavalue":{"value":{"entity-type":"item","numeric-id":1238016,"id":"Q1238016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083692$F1DC1597-9E30-4F3B-87ED-3477CFEE0D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82af13d5271451c4bb72d7b055064b56ff1b2fb5","datavalue":{"value":{"entity-type":"item","numeric-id":1322847,"id":"Q1322847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083692$0F7E3543-9075-4B3F-8107-91D914885038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083692$539DB089-79FE-4579-8615-F1458B7BD9C7","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"efa58d1c4130217fa0ce8bec59d73ad875e964b7","datavalue":{"value":"conf/types/Hayashi93","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083692$308DD287-99BC-43F3-9E95-74FE34E7D5C8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9425ac4f2b0d553e23ac5338717734486a1b4b37","datavalue":{"value":{"entity-type":"item","numeric-id":3060978,"id":"Q3060978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"838ef91e11dc92c3b22183b46ec143153f635b9d","datavalue":{"value":{"amount":"+0.8158771991729736","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":"Q6083692$207477A2-845A-4637-8525-6EE739C92F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e47926d452236d472aea7775409fa54c84895c59","datavalue":{"value":{"entity-type":"item","numeric-id":918219,"id":"Q918219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60b15343a0386095876b7e22479b9ef1debc71a3","datavalue":{"value":{"amount":"+0.7700031995773315","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":"Q6083692$60943B11-9574-42D1-8263-D95227D0EF9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"250a748e2c5b8856913fb30a63685f780a6afee2","datavalue":{"value":{"entity-type":"item","numeric-id":5261277,"id":"Q5261277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce83d80d5e27738a18987a7437b21882240cd9d5","datavalue":{"value":{"amount":"+0.7683840990066528","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":"Q6083692$3B17605B-1800-4F08-9B6A-5A60F2E4D3FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c21975e5e6460f88a9428b94f88ad0bc1d49de6","datavalue":{"value":{"entity-type":"item","numeric-id":1322477,"id":"Q1322477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6948e8361120f4bc2ce7c71f1467e2f4e17a3092","datavalue":{"value":{"amount":"+0.7580177187919617","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":"Q6083692$30655ABD-FC4C-4CDC-A50B-61E1FFE85DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dc070a8d4b6cad37c0e20cda64355209e8f84f0","datavalue":{"value":{"entity-type":"item","numeric-id":5096245,"id":"Q5096245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"240fd84a133794b68eae2fb348d4d12274000722","datavalue":{"value":{"amount":"+0.7571306824684143","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":"Q6083692$D44CE1AE-891B-4A97-8F9E-6E14064920C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6083692","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6083692"}}}}}