{"entities":{"Q4950849":{"pageid":6980431,"ns":120,"title":"Item:Q4950849","lastrevid":98217815,"modified":"2026-06-05T16:57:45Z","type":"item","id":"Q4950849","labels":{"en":{"language":"en","value":"A Tool for Checking the CSP sat Property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1437308"}},"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":"Q4950849$0FAE91AD-DEB4-44E5-8850-4336D681AEF9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"786fd25087333fb1b3fc87b5858fdbe9b789556f","datavalue":{"value":{"text":"A Tool for Checking the CSP sat Property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4950849$A869284B-82EC-4A5D-9899-BCE28C714C52","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8215f55c4c66aaa66765e39346c6fbdf9b87b610","datavalue":{"value":"0953.68005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4950849$DFB5470F-1AEB-4E9F-98DD-8DC8A1D2A659","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a718b7d6f8c2cb6553f44f3016c60abac9e25c98","datavalue":{"value":{"entity-type":"item","numeric-id":709391,"id":"Q709391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4950849$966ACF22-1BDC-43DD-A59D-F61FBD139EE8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ba9f0a801691b290ffcb9a042b4379a6a2cb49b3","datavalue":{"value":{"entity-type":"item","numeric-id":83484,"id":"Q83484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4950849$C910AB71-EB17-41E4-B84E-CBECC3FD491C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"098e8f2a6b0e988543d56936b17450f398d58c43","datavalue":{"value":{"time":"+2000-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4950849$95324D2E-68F7-47E4-9FC3-D7932073F96A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca8c16691e9ec83d46a3995338b09d48ac9660ac","datavalue":{"value":"68M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4950849$3CF7658E-99E9-4205-89E0-870F013E951A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"61240e829bc4935a5cc5b91ddd843fbdf7a9d5fb","datavalue":{"value":"1437308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4950849$9E0614EE-F8B3-4E84-9941-ABA36F9E497D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb30f6fb39388d1fb612150f5e69372740c7cc58","datavalue":{"value":"communicating processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4950849$CD880335-1D68-48D9-BE49-7AF6DBB80F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de0ec6099a42d583cba71b4389525427d9d296a7","datavalue":{"value":"algebraic language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4950849$2905FC39-76EC-4477-AA22-7B5CA7C61915","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":"Q4950849$31D828E0-ECA4-4783-A743-CE7C7A7F0C04","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"47ed7d1e91b0adc94f47c6769c49e99692beaf3b","datavalue":{"value":"https://doi.org/10.1093/comjnl/43.1.13","type":"string"},"datatype":"url"},"type":"statement","id":"Q4950849$6BFBA3FC-C072-418F-A580-D9F8CE0ADE98","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"211ac631a5531c9cbcf9184f61a5d00152abcf54","datavalue":{"value":"W2117702215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4950849$948666BE-2D23-4DAC-8339-C51F72F177F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ec4b22c33fbd665e599d9f9b44f6f80ea0b76e77","datavalue":{"value":"10.1093/COMJNL/43.1.13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4950849$C023EA0D-8CD0-4AA4-851D-D1269F4C3EF0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a29155653d15e5f0b9188012ae59938ec18a3723","datavalue":{"value":{"entity-type":"item","numeric-id":4225168,"id":"Q4225168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae31a4891225d0c14ee84603dcbf92b113e92334","datavalue":{"value":{"amount":"+0.8771157264709473","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":"Q4950849$538F4A80-4D0F-4613-BFC3-05925B18749D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67b5429619a613a953de1940074e8b4366f53e1d","datavalue":{"value":{"entity-type":"item","numeric-id":2993207,"id":"Q2993207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b42d268099a1b8f95b8baaeb3791a485f46ce4ec","datavalue":{"value":{"amount":"+0.7392785549163818","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":"Q4950849$7D5C3DA3-5034-4CD6-B8C9-FD0411488B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"871c574f5c378d899789693374eaae7d43fc17fe","datavalue":{"value":{"entity-type":"item","numeric-id":5931381,"id":"Q5931381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19bd6d95b213c89c0297f6f4c0a7fd1bb4931021","datavalue":{"value":{"amount":"+0.7344164848327637","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":"Q4950849$944813CE-3653-4E7C-A88C-B54FA8678724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ae47f5bf9e7dcfa84434fcc32ca5f37b0902d0f","datavalue":{"value":{"entity-type":"item","numeric-id":3176390,"id":"Q3176390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9da8d56a02abad8213ef0c7a3aadfe57a7af6ff2","datavalue":{"value":{"amount":"+0.733732283115387","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":"Q4950849$E4738FB2-9F6F-45DE-BFF9-0AF33E7D574D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Tool for Checking the CSP sat Property","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Tool_for_Checking_the_CSP_sat_Property"}}}}}