{"entities":{"Q4895556":{"pageid":6925135,"ns":120,"title":"Item:Q4895556","lastrevid":47416861,"modified":"2026-01-01T16:44:52Z","type":"item","id":"Q4895556","labels":{"en":{"language":"en","value":"Formal basis for the refinement of rule based transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 935198"}},"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":"Q4895556$209DFA57-65BF-4C93-899B-4950B7737498","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"65f15fc60f043d1704cc508b1d15e71b0fd31a85","datavalue":{"value":{"text":"Formal basis for the refinement of rule based transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4895556$68331175-ADBF-4FA4-944F-38064A54FF4A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"40f6531911b52ab8ca63c81aafd5de6423fdfa61","datavalue":{"value":"0856.68107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4895556$D31B40DE-C558-4F0B-A0DE-84D211638841","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"98a964d2136c1ec3683fdafd7cf578c8c4bac234","datavalue":{"value":"10.1017/S0956796800001702","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4895556$C1DDC1DB-1BDF-4E7E-A62B-184F048DAC52","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c2f59bff3b8192114e94328d7c81aa2d459d43d","datavalue":{"value":{"entity-type":"item","numeric-id":4895555,"id":"Q4895555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4895556$78A0FAD2-5106-4DA8-AA12-02D8B79F2680","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4895556$711D9FAF-3845-4631-856B-562BCBD5666A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"87c3e3b2ec497a54777723f516b57d715fefe115","datavalue":{"value":{"time":"+1996-10-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4895556$EA46222B-FD03-47B4-A00B-E2268E7F8359","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4895556$2529A600-FB0A-4191-9610-A06838082901","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"210446f98577a22e5327fde9cfed21d1b2c4d5d0","datavalue":{"value":"935198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4895556$6DA9271F-EC01-478C-A65F-A38ACF8D9BFD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b99b5be1a1766c992c056e5047ace2d5d614d5b","datavalue":{"value":"refinement of systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4895556$4A87077C-A791-4B79-A6FE-FDA8FE50FBE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9850f214bec4d42490246305f3b969f5abcd53e9","datavalue":{"value":"rule based transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4895556$98558E80-6E72-4671-929C-6CCA28FE7EE5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8f057223c758d6b8295ecbdef4842faac2ccb72","datavalue":{"value":{"entity-type":"item","numeric-id":19253,"id":"Q19253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4895556$915A3B69-1C99-4D86-B454-8AECF9576B50","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":"Q4895556$CF12BA4B-5902-4EEF-9C5A-64CA26B5E670","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5ae7e408b1d1201c271e00762d47096e39a012","datavalue":{"value":{"entity-type":"item","numeric-id":4111080,"id":"Q4111080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4895556$A3B745D1-E440-4563-851B-C4D59A690692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4895556$D2AE192A-B40F-4344-8DE5-B62139247DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ae693e56a85a155a49a0ba25e2cdd6b8c67a00","datavalue":{"value":{"entity-type":"item","numeric-id":4692880,"id":"Q4692880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4895556$D5C380FE-6480-4E9D-B13E-BF2AC873E8E2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"55271aaed4aa68ddb4d9129844badf7feec4a976","datavalue":{"value":"https://doi.org/10.1017/s0956796800001702","type":"string"},"datatype":"url"},"type":"statement","id":"Q4895556$6D27AFB7-3DDB-4248-AC8C-8EA0B4554A35","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2b236fcb6350b25f5fa20155b30365cea4ec807a","datavalue":{"value":"W2128455754","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4895556$9EF2C467-88DC-4155-ACE8-8517E9675589","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ed6200f866a3148276bfaa93b075c3cf4879218","datavalue":{"value":{"entity-type":"item","numeric-id":2938157,"id":"Q2938157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ac6bfe461c0e1e417b9d5a963878103c61576f6","datavalue":{"value":{"amount":"+0.7352834939956665","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":"Q4895556$C8AD6EEA-C512-4B9A-96F0-FC3EF70F9C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"322acd90ae348dbd8ed85bdf01c6ad5c8a3dc3d3","datavalue":{"value":{"entity-type":"item","numeric-id":4558901,"id":"Q4558901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2371b4f1b612924ce06dd285549b3b29a2218a0","datavalue":{"value":{"amount":"+0.7272757291793823","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":"Q4895556$D3C98152-B6A4-4E05-AAA7-2637A11CAE2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66ee767b04c503676fc73416ae101713033fb2bc","datavalue":{"value":{"entity-type":"item","numeric-id":4450843,"id":"Q4450843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fab53cb014b2c97805c4054a1702750ec82dc464","datavalue":{"value":{"amount":"+0.7269772291183472","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":"Q4895556$97013CA5-F4AF-4EF2-BEDF-6EB052D3AF21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01ec202a2cd9162ab8038008edf7a3ed4f1dc404","datavalue":{"value":{"entity-type":"item","numeric-id":5861785,"id":"Q5861785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09ba3a2235d073a03ed3c82dbd0b695507ce67be","datavalue":{"value":{"amount":"+0.7254972457885742","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":"Q4895556$044D5392-C5C6-4734-BDB3-EFF992990990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03c28b54ca91dd4d125d487fbefdcd7167e1d020","datavalue":{"value":{"entity-type":"item","numeric-id":4413670,"id":"Q4413670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18a92985b6bfc8432764c554ba1a01c1b54593d3","datavalue":{"value":{"amount":"+0.7226720452308655","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":"Q4895556$76779E69-093C-485C-974F-A88087BF8FFE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4895556","badges":[]}}}}}