{"entities":{"Q1749243":{"pageid":1759985,"ns":120,"title":"Item:Q1749243","lastrevid":74288853,"modified":"2026-04-14T19:21:45Z","type":"item","id":"Q1749243","labels":{"en":{"language":"en","value":"A monotone framework for CCS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6869009"}},"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":"Q1749243$40AE899A-DD67-471A-81F7-14F0569AD397","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df1425239d2f1a7bccae45bef1c179c6b8c017ae","datavalue":{"value":{"text":"A monotone framework for CCS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1749243$A0A1A766-32D1-444A-9B71-C0B8D670B911","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f024057f00aee3a2c9ad620b57d0da2adbf03a0","datavalue":{"value":"1387.68172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749243$E2B934DD-3154-4345-AF33-9BE7F05F56FE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf7e7b304afc261de9ac094852ee3a0db52eaac7","datavalue":{"value":{"entity-type":"item","numeric-id":492909,"id":"Q492909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749243$268ACF35-4A20-4A1B-B436-54FDB99FA4D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"66b9832b777d3d49331312d3eb8a93c8014d39e0","datavalue":{"value":{"entity-type":"item","numeric-id":444502,"id":"Q444502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749243$D003E7E8-0482-41FE-A18B-49A4CAD9ED75","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4d2f38e43c691e4079017f3fcd6faa7b21dad657","datavalue":{"value":{"entity-type":"item","numeric-id":456462,"id":"Q456462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749243$AD15AF7C-494B-460A-9B07-3B3CB1149620","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e956331d0e5540795d70cdf1447eb2fc47cd3be5","datavalue":{"value":{"time":"+2018-05-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":"Q1749243$D64E71D6-EDEF-40B4-A111-2FEF56AF3C80","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749243$1C5796F5-08A7-4803-9E02-A2B2F12E0FEF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da2d6a7e75d771fac0d463bff0aaa29d1911edbf","datavalue":{"value":"6869009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749243$42D1A06D-4481-4EB7-A31C-778B592264CB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"000cae892649b86c08dfd4faa170d21befcdc840","datavalue":{"value":"process calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749243$00CB83ED-2387-4B94-82FE-CCAF692EF905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dba8a14c151bd08273c5a04f1ad265d82751a87","datavalue":{"value":"CCS","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749243$BBA3551F-4BD3-4AA5-BBF3-A8A35317E523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749243$5B9C7A55-D3B0-4F4B-BAC3-98040392C7BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41ef7bffa6ceb4afe836b612c509c7dad852a01b","datavalue":{"value":"monotone frameworks","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749243$EEE79E76-5D8C-4939-9AEB-A3905EE7F215","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8324728a0b7d8da923d3b85f7f5d7533e98c1612","datavalue":{"value":"Q59416345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749243$82484F5D-D89F-486A-948D-D2E98BAE7BD5","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":"Q1749243$1968D256-3E53-4061-AC6B-F9A787F47F1A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7b3dd89deb094470501b852048f75fa7f47640cc","datavalue":{"value":"https://doi.org/10.1016/j.cl.2008.07.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q1749243$E3CC58E3-0C3F-40D1-A9E4-082B006F2E43","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4476640e51173fcd8bb156b875438eabf7f7ca5a","datavalue":{"value":"W2085809004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749243$ADB719A1-A855-4954-ABC4-2ACF0FB8F183","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"695fab872d134b3a435c36aea28c18570954d03f","datavalue":{"value":{"entity-type":"item","numeric-id":5311495,"id":"Q5311495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749243$BF853C0B-8EF6-4C30-A4A9-79F63D903C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0444f180abec0cddd3ea1900c859c5fecb70523f","datavalue":{"value":{"entity-type":"item","numeric-id":1854437,"id":"Q1854437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749243$5385054B-2ACD-4C0B-AFAE-BB8144FEFF00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16cd523fdc3371117dc8f549eabc4ada02c10230","datavalue":{"value":{"entity-type":"item","numeric-id":1886451,"id":"Q1886451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749243$B2FB4E31-4CAB-461E-B516-95410EBD6D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d449a21464ffff4e2aa49f8dc26b0a680cbbaadf","datavalue":{"value":{"entity-type":"item","numeric-id":1603656,"id":"Q1603656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749243$9D8F5189-8B01-4BDB-A56A-E365EDFA7E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9108939a91eadc89cdf9e62a27e6bef3f8cd93b","datavalue":{"value":{"entity-type":"item","numeric-id":2748155,"id":"Q2748155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749243$3E5A8581-48CA-4DA0-A022-98E480465A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c692885763555d10f5e136327088da3a56b9256","datavalue":{"value":{"entity-type":"item","numeric-id":5901855,"id":"Q5901855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749243$2F121216-E752-412B-BBAD-ED9096784AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"928f4e08f806e7d1c232969e620b136a364cf6ed","datavalue":{"value":{"entity-type":"item","numeric-id":4788309,"id":"Q4788309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749243$C5A3018D-E363-446A-998F-447AFF44BEDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ba43d90b6a6edc70e508b348ecb8505634a0cbb","datavalue":{"value":{"entity-type":"item","numeric-id":860908,"id":"Q860908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749243$4D031ED6-BB5C-4DF4-A941-9BA622C7CBF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2c430fc45a8d43b4fc6a2fb634e4f2585dc2890","datavalue":{"value":{"entity-type":"item","numeric-id":2841271,"id":"Q2841271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749243$E90A3778-04C4-4D03-998F-495A45E2E534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749243$88DAE922-AA71-44EC-BA37-FFDD6C65E729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dcaba85eaf9b02283987ee8f5ec2f8f6402ce65","datavalue":{"value":{"entity-type":"item","numeric-id":689297,"id":"Q689297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749243$D54A39F3-12E4-46CB-A449-58E4612DDF79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2330852f9741c9fbb417bb1549959d4c17bd87de","datavalue":{"value":{"entity-type":"item","numeric-id":4671219,"id":"Q4671219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749243$115CA470-E6A6-41C9-9156-FBA30E2C9BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd9f3f386d53f9f923c0a9fd7d9cab5f07df0763","datavalue":{"value":{"entity-type":"item","numeric-id":3593080,"id":"Q3593080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749243$15DEA376-4534-4AA3-95E2-E1C3131B9B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e14f4be5ea10dd4ca1608a944ee645401769bf3","datavalue":{"value":{"entity-type":"item","numeric-id":1884869,"id":"Q1884869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749243$154FD9A7-CEEB-4DD7-B88B-DAC2C4330A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c789506413b059d9380f6038adfe568ac77dfd","datavalue":{"value":{"entity-type":"item","numeric-id":1575154,"id":"Q1575154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749243$E2EC9AAD-93D3-4DE0-A614-6EC4B43533E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea6098764f0c09265c50b719a5c96a6bb70dfba1","datavalue":{"value":{"entity-type":"item","numeric-id":953532,"id":"Q953532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749243$18772828-1900-45A9-8306-280826F28B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5841ea721ffbb3cdd4116da205bd9bcd6cd5bd90","datavalue":{"value":{"entity-type":"item","numeric-id":5466579,"id":"Q5466579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749243$325713A0-1001-4BA0-A000-9D357156A283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1c84e338bdc05528dbb6a6fe6a93010909f29c8","datavalue":{"value":{"entity-type":"item","numeric-id":3525640,"id":"Q3525640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749243$044CC341-DBC1-4961-9CBC-B1D6FD0E0779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aefc6f259bc6fc47cc73bac81df2168784d7553","datavalue":{"value":{"entity-type":"item","numeric-id":5897114,"id":"Q5897114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749243$E1F47715-10A1-4395-8243-7A8B0FA99AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92d60acd2371885d349952307da6978502740c2a","datavalue":{"value":{"entity-type":"item","numeric-id":3522068,"id":"Q3522068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749243$D805875E-6801-44CA-9686-E8ECFFC3517D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b0d569b7ae90a4db4c68f541c56ac6b09401275","datavalue":{"value":"10.1016/J.CL.2008.07.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749243$3CC11F98-19E0-41E1-89DD-5F32218BD0F8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"095d3b89577ac1c97eb508c14d646d23c0d68fbf","datavalue":{"value":{"entity-type":"item","numeric-id":3593080,"id":"Q3593080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d361ea55a826b8dd23be764c2cbc0634f1de76ab","datavalue":{"value":{"amount":"+0.81611567735672","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":"Q1749243$CFC77C67-ED50-450E-AAAB-7CA95758A3C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30f055ef19976c348ac8ba131b4ca767c010e8ad","datavalue":{"value":{"entity-type":"item","numeric-id":3030241,"id":"Q3030241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2481a515be29ef70f0e5edaf9f39135d27f53a5d","datavalue":{"value":{"amount":"+0.7668320536613464","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":"Q1749243$0C13C6AB-0EC8-4F53-8FEB-E2BFD7D163AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd5d4b2e4dbc503b611daa1dd39622f954b97305","datavalue":{"value":{"entity-type":"item","numeric-id":911263,"id":"Q911263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44d3f7dc8ec766bf27f47d3bdaaa42ddea42fe37","datavalue":{"value":{"amount":"+0.7328656315803528","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":"Q1749243$E926C53E-EC70-4805-B6CF-4B41943A4B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa9f15175c906df1a321bc194ee83c9b57fe557d","datavalue":{"value":{"entity-type":"item","numeric-id":3774958,"id":"Q3774958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d44dc3114326f5fb906c442d92d73e6e50aa3e59","datavalue":{"value":{"amount":"+0.7306982278823853","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":"Q1749243$C91FDE7B-F4B8-4A54-9FB5-3C22D185F28F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ba1ac547cd4db3d00a1ad3508cae86c83c87e44","datavalue":{"value":{"entity-type":"item","numeric-id":3985381,"id":"Q3985381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df361b6a95a08ef7d49a6dee2c9b4a65fc50f33c","datavalue":{"value":{"amount":"+0.7278434038162231","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":"Q1749243$0214651A-1F4C-4335-A969-385458DEEF84","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A monotone framework for CCS","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_monotone_framework_for_CCS"}}}}}