{"entities":{"Q866032":{"pageid":867880,"ns":120,"title":"Item:Q866032","lastrevid":64971915,"modified":"2026-04-11T23:27:14Z","type":"item","id":"Q866032","labels":{"en":{"language":"en","value":"A development calculus for specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5128567"}},"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":"Q866032$0082CADE-3487-428B-9DFD-2E9F828537A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d06758a065102e89d49144d6a8c52d3b25a7cd50","datavalue":{"value":{"text":"A development calculus for specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q866032$4909EE27-5F5D-4B35-85D4-B4FBF8C11D8A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"824ae514f42d3dbf15ecf78398744a242212612c","datavalue":{"value":"1161.68573","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866032$B509466B-769A-4D02-A5BC-3435F4736B6C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7b3ebf4ac97b0d8d1ac329b9977e8a8c87c3ce5","datavalue":{"value":{"entity-type":"item","numeric-id":351017,"id":"Q351017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866032$0CCF243B-08EC-4AE2-9786-0380C1AA4F7E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f98e7827e954b81f9efe2be64c5ae8ff8fac944c","datavalue":{"value":{"entity-type":"item","numeric-id":419702,"id":"Q419702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866032$59693D03-9BFF-4C50-8BC9-026FACEDE6A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b6a3b01ed43848088ad19bc3cf2f29651a0e98f7","datavalue":{"value":{"time":"+2007-02-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q866032$B9105E69-ED7A-4CA8-901C-4C03DF4CE688","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f151ba96aeccfcbf4bfa4367f183c32d05ecce60","datavalue":{"value":"https://arxiv.org/abs/cs/0303021","type":"string"},"datatype":"url"},"type":"statement","id":"Q866032$4F24FC90-3659-4509-94CA-D6BD9CCB4558","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"97d56876b51e6507953cd6308359be97217a26f6","datavalue":{"value":"A first order inference system, named R-calculus, is defined to develop the specifications. This system intends to eliminate the laws which are not consistent with users' requirements. The R-calculus consists of the structural rules, an axiom, a cut rule, and the rules for logical connectives. Some examples are given to demonstrate the usage of the R-calculus. Furthermore, the properties regarding reachability and completeness of the R-calculus are formally defined and proved.","type":"string"},"datatype":"string"},"type":"statement","id":"Q866032$D2751FA4-BCFB-4E33-9FD2-26B5DA557C94","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866032$BB2A1F29-298D-447D-97FF-2F2A5A4012A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba3618cae0b7dd0b3d29a7d44157d7b49eb5bea5","datavalue":{"value":"5128567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866032$954222E5-5A20-4DA1-B825-6F098526711C","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":"Q866032$498A0573-2A75-496F-B0EE-036CCF0C4591","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ee74266aa068ad456c78b78d721eb7b8e695d8f","datavalue":{"value":{"entity-type":"item","numeric-id":4000379,"id":"Q4000379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3789efd5ac75abb55fa8d47ff31e3c321e4ba20","datavalue":{"value":{"amount":"+0.7421799302101135","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":"Q866032$6FE3F70C-EAF3-4E92-931B-ABF6886451D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae336951bd8b77091010ee971cf0baac8f009f25","datavalue":{"value":{"entity-type":"item","numeric-id":3773318,"id":"Q3773318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bb11875a68740cff816cd246a8d3383a4d97a15","datavalue":{"value":{"amount":"+0.7360663414001465","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":"Q866032$DD1AC6A2-58EA-48CA-835F-2A52F6983948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1ec5be43d26a98ab8adc424df1a8a3499a14cda","datavalue":{"value":{"entity-type":"item","numeric-id":706506,"id":"Q706506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a72ce3a18e480dab318e381cfe7e2397cdf28ac4","datavalue":{"value":{"amount":"+0.7358767986297607","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":"Q866032$4A0BD161-7675-44D3-A0C9-D46915C04B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb15dbe19849588caeb895716de1ff3c5a04ec9c","datavalue":{"value":{"entity-type":"item","numeric-id":1331923,"id":"Q1331923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c0c8747e5c243f2c37a6dbc5c8303d2a7bc4c7c","datavalue":{"value":{"amount":"+0.7268400192260742","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":"Q866032$07A519B5-BCD5-43C4-81E2-DF3AC4E1E3DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd893bd285452a9721e30ccc3aa0c0f1e8f3fac9","datavalue":{"value":{"entity-type":"item","numeric-id":3766811,"id":"Q3766811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"100905f691ce9abbcaefb18373a75e2db7c8eaa2","datavalue":{"value":{"amount":"+0.7256825566291809","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":"Q866032$B5B7A970-7CFD-4650-AD27-894D6F9E38A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A development calculus for specifications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_development_calculus_for_specifications"}}}}}