{"entities":{"Q1818071":{"pageid":1828813,"ns":120,"title":"Item:Q1818071","lastrevid":46865082,"modified":"2025-12-25T18:10:00Z","type":"item","id":"Q1818071","labels":{"en":{"language":"en","value":"Approximating the domains of functional and imperative programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1383532"}},"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":"Q1818071$DC9A4B06-4023-4914-891F-C1EAE932BC28","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"560a4c3173230b380e09d1667630aadbd21f7bb0","datavalue":{"value":{"text":"Approximating the domains of functional and imperative programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1818071$F4341CF6-8C89-41F1-8B3D-F09988645028","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"41c14d50233fffa7bb25ac78b6059bf74cd73f99","datavalue":{"value":"0948.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818071$4D25E3F2-2697-4CC0-BE76-81499D65970C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5be50b54befde8b56d6777f638dc917ecc04b030","datavalue":{"value":"10.1016/S0167-6423(99)00008-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818071$5FC33D80-09FC-4013-BCF0-00E5F5397398","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90f965fb5114ef3cf5612ce5baf540a2abb96515","datavalue":{"value":{"entity-type":"item","numeric-id":1818070,"id":"Q1818070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818071$4F456A8E-B8C4-4378-83FE-8D4E6677A3B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"987fb5700652e430e8831c9401c3861ad6aebb91","datavalue":{"value":{"entity-type":"item","numeric-id":199242,"id":"Q199242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818071$2142B17C-5927-4882-9102-2EAC8545B385","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818071$E65D6B3F-34C6-4E90-A14E-72E9B71D4B19","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a0132e21ad022268d8d4b41a82438346885545ef","datavalue":{"value":{"time":"+2000-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":"Q1818071$8698ADD5-A0C5-433C-8518-5BCA265A9BAB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818071$8828777E-BF42-4F88-9C90-14FF09140B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818071$5E426F21-B553-4753-8CE1-4FAD9C080015","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ff463f5f990ad3f977d0db5b0016c18af145dc5","datavalue":{"value":"1383532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818071$C4852C78-D8C4-4FDB-9E9A-6C208197B540","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2a5ce6fb31b180585ac8ad52352e8f1919f554a","datavalue":{"value":"automated termination analysis of partial functional programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818071$1A29808D-4F5B-4FBF-BEF2-0568407DEA0B","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":"Q1818071$DCEE320E-42AE-44B8-A66B-61EF1AAD02D9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cdc3ea806b14bc03be0963ea5b33c918b98376f8","datavalue":{"value":"https://doi.org/10.1016/s0167-6423(99)00008-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1818071$356444BA-2730-42C1-8284-3F92A166875E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ebca84b465c858cde4ce7f8fb19729c94d0b0ec8","datavalue":{"value":"W1967441757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818071$53C7E22E-4D58-45F8-BF8A-4F067DAF6EFC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beb8868a11d6a2e1cd44f77770654d27aa9422f4","datavalue":{"value":{"entity-type":"item","numeric-id":5030190,"id":"Q5030190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b916bca7d484e231dd08ea855af4aadf5ade2d4","datavalue":{"value":{"amount":"+0.9143210053443908","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":"Q1818071$3201D12F-27A0-4259-B320-747F9E5AA778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88879c46a7f558249a43089f475d888e6763bfc3","datavalue":{"value":{"entity-type":"item","numeric-id":2726244,"id":"Q2726244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb0ff23fcad3cf207769721b36cf8e36114afeb9","datavalue":{"value":{"amount":"+0.7797031402587891","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":"Q1818071$91E9F79C-E8AB-4F51-883F-12628CC1047B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14ff85aedf7bcb3290bb1db613ed687a81ba89ae","datavalue":{"value":{"entity-type":"item","numeric-id":5191108,"id":"Q5191108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"243eaeef00bb64a308e9634992723ec59bd7553a","datavalue":{"value":{"amount":"+0.7444825172424316","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":"Q1818071$0E794C05-1D14-4866-91D5-F1147D601E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73732f22ae9e393a28f631d7255522eb6210bdc2","datavalue":{"value":{"entity-type":"item","numeric-id":2702599,"id":"Q2702599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"190cf6f5c90d164a8460c3b6910f1d66303c1735","datavalue":{"value":{"amount":"+0.7422980666160583","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":"Q1818071$48933AD0-83F8-4AD1-8EBF-D549C4AFFFD2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1818071","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1818071"}}}}}