{"entities":{"Q5096245":{"pageid":7125821,"ns":120,"title":"Item:Q5096245","lastrevid":54381989,"modified":"2026-01-26T17:53:25Z","type":"item","id":"Q5096245","labels":{"en":{"language":"en","value":"Singleton, union and intersection types for program extraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7572025"}},"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":"Q5096245$DDA1CD7C-A34B-4ABB-B907-78B6999556CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f72beff285adf2a14188b1f21863ee40c945bda2","datavalue":{"value":{"text":"Singleton, union and intersection types for program extraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096245$277C327F-7783-4B43-97A1-E4579716CD75","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d1a363dd854ffb54efa8095f69d8c607835262e8","datavalue":{"value":"1494.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096245$ED736760-45A7-448D-B7FC-1F616B7133D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c2bcd17be46b3612962820d3311c361140338fc7","datavalue":{"value":"10.1007/3-540-54415-1_71","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096245$94838ED5-833C-4F34-9C8B-CAB9EC398C85","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":"Q5096245$F0D01D2F-4E0A-4EEE-83CD-678F26E33A79","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":"Q5096245$2555EF3C-5C34-4743-B581-44C690249B3D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f0638de14cb053deb57828797f5c127a478dbaa","datavalue":{"value":{"time":"+2022-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5096245$1AF291B1-2120-4695-96B9-342D923625D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096245$930FCE77-B431-4436-A953-BE1DC8A95B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096245$2012096D-74E3-475E-97F4-A6786D3308DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096245$9970EB34-CE79-4F16-B0CB-7DB0B2A7916D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096245$3154619B-176C-4438-AEB0-9D7901A5D1E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"efb6803d7f2739bcdf167ab1fb7444f1a15b2b2b","datavalue":{"value":"7572025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096245$D7E0BDF8-7C66-4534-BBF4-8C03545932E9","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":"Q5096245$ABA57B38-38D8-4340-A32A-F26F666A5C2A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"63a9804b82acb4b32e1e3c296da8655378237b39","datavalue":{"value":"https://doi.org/10.1007/3-540-54415-1_71","type":"string"},"datatype":"url"},"type":"statement","id":"Q5096245$72D3A87B-903E-4136-9F16-1586378AAC3C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b755b597177715b85e98eddca6285cffd9307e1","datavalue":{"value":"W4243877942","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096245$CB4C3AD9-9009-469F-8CA0-525E02895C10","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d63e1d2c1097bf56f38b3464089e43c611b33ec4","datavalue":{"value":{"entity-type":"item","numeric-id":4939697,"id":"Q4939697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096245$282F2E73-2516-409A-AA93-0E2D27A30A28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8a466b0817c40b5226b5f1eb36718a10287acd0","datavalue":{"value":{"entity-type":"item","numeric-id":1893736,"id":"Q1893736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096245$CB6F02E5-2A8D-4282-BD57-CE5BF7DDE2A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d3375fe95d64eb1965b010106ac93d2982d639c","datavalue":{"value":{"entity-type":"item","numeric-id":751294,"id":"Q751294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096245$E391FF5F-B894-4AC5-96D0-82F161DAC29F","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":"Q5096245$C5A9110B-4013-475D-B5A6-98E941F444FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5138a52407a200170912ad2b48a0039035947742","datavalue":{"value":{"entity-type":"item","numeric-id":4694210,"id":"Q4694210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096245$EEC3FC3A-8F95-4DDE-AFAD-F10A4A58AA3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36b355c034a15b6951cab8a2fb9dd01fb3be3dbf","datavalue":{"value":{"entity-type":"item","numeric-id":3477935,"id":"Q3477935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096245$22EC4678-5414-4289-BBA1-1CE87F861414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f2f195c49df82c9cda56f240abd57e5287f8348","datavalue":{"value":{"entity-type":"item","numeric-id":1819575,"id":"Q1819575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096245$B2E61150-450F-4F88-BFF5-F8375441C129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74236444b9405abe628a3c6e2a1cbab41fc3b506","datavalue":{"value":{"entity-type":"item","numeric-id":4385534,"id":"Q4385534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096245$EFE88A0E-D0EB-4907-B377-C1CCDF713ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46885738eb9c25c83e271ce0dd92e7e9f6b8d283","datavalue":{"value":{"entity-type":"item","numeric-id":3776602,"id":"Q3776602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096245$834EE94F-A5F1-4219-A54C-4D3E7AD1889F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096245$D3274146-0B87-4476-B3C8-DE12093E41FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e98a0291d6b416afdf61c3b8456fe8639369f4a5","datavalue":{"value":{"entity-type":"item","numeric-id":1190480,"id":"Q1190480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096245$F4D3D3DB-A4E8-4F59-BF9F-F5A1C6569756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff195701c0a951481f573bb7459fc69fbbed7fe9","datavalue":{"value":{"entity-type":"item","numeric-id":3786612,"id":"Q3786612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096245$7200881A-C1FE-4B47-ABA7-3123DA9E04EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1738b91247a220aebdb794b7be3b70e82f085d10","datavalue":{"value":{"entity-type":"item","numeric-id":3035254,"id":"Q3035254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096245$F412AB06-5FFC-42EA-9DAB-2B7A0685A1D6","rank":"normal"}],"P1643":[{"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":"d5ac8681197eb3c319091305240ff6cbfcfce84c","datavalue":{"value":{"amount":"+0.997918665409088","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":"Q5096245$281D9291-B7C2-45A3-8912-81E98BE7ADDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8da904127c08b65376d980f316b495d30f7f3bdf","datavalue":{"value":{"entity-type":"item","numeric-id":1400600,"id":"Q1400600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0487e0f6000d4feeeca9d8c90708cc630e8b577f","datavalue":{"value":{"amount":"+0.9979185461997986","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":"Q5096245$CDEB4990-4378-45CF-ACDE-CA430849D82D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0be08d7b5c03f3307bedc826d141136290988772","datavalue":{"value":{"entity-type":"item","numeric-id":4474826,"id":"Q4474826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea2ecc24c2e011ba05458342583e1f1661e0cf0c","datavalue":{"value":{"amount":"+0.734458863735199","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":"Q5096245$143C9E75-5C96-4DC1-BF5D-A1DC91106983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92d64bbcda4737c46f7a108b315f6e23e47e3953","datavalue":{"value":{"entity-type":"item","numeric-id":4835619,"id":"Q4835619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1daae9849ec59de8fffc43fcf93b77b239985aa","datavalue":{"value":{"amount":"+0.7047991156578064","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":"Q5096245$AED0A106-317C-40CE-B1EB-57B5716BD80D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"881379a3fa914a298d877b279ed01bf7e4e2ddbc","datavalue":{"value":{"entity-type":"item","numeric-id":3086789,"id":"Q3086789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1daae9849ec59de8fffc43fcf93b77b239985aa","datavalue":{"value":{"amount":"+0.7047991156578064","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":"Q5096245$CCE599AB-202C-4126-BA28-EEA8C7391863","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5096245","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5096245"}}}}}