{"entities":{"Q6591111":{"pageid":14202268,"ns":120,"title":"Item:Q6591111","lastrevid":55731865,"modified":"2026-02-17T21:50:14Z","type":"item","id":"Q6591111","labels":{"en":{"language":"en","value":"Proof reduction of fair stuttering refinement of asynchronous systems and applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7900042"}},"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":"Q6591111$37D1A714-8F41-4593-8DD2-3321C466E190","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"52de84039b8a08bfd383f221239052178306f18e","datavalue":{"value":{"text":"Proof reduction of fair stuttering refinement of asynchronous systems and applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6591111$DABC4CA7-6530-4E30-BD1B-10BAA21211AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d99a022d76a328316258d298a73190664bd4b281","datavalue":{"value":{"entity-type":"item","numeric-id":2351260,"id":"Q2351260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6591111$3F6A3B67-7BC3-4FB4-91FA-7AB17F96F53A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9687acae5da393c6af44bb0de5f00562dfeae79b","datavalue":{"value":{"time":"+2024-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6591111$87764E2F-66FD-43CA-B8C5-9FA42692F15A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6591111$B7B4ADAB-CA91-427F-AE68-5C86B585E50A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6591111$010A169C-17A3-403F-8005-E951C579220F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6591111$606F4047-ECE5-4836-BEAE-DC7EF7C4EED7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2fd6cf6e3be15f6df38ca2569d39bb3abe804a5d","datavalue":{"value":"7900042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6591111$C1EF9BFA-A957-4415-AEED-9E29698EFF18","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":"Q6591111$86130E5D-5B60-43D5-A798-0BAE03D975C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"84d1069e22a654415942c8c5ba7db9065d658838","datavalue":{"value":"10.4204/EPTCS.249.6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6591111$76F09F81-E4D8-4640-BE3F-F66B2958C2A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7078ae80f7018138190616f53b4338638dcca619","datavalue":{"value":{"entity-type":"item","numeric-id":2753701,"id":"Q2753701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69b2ff24ef12c8793a714c56fbb53362a03c2204","datavalue":{"value":{"amount":"+0.7353395223617554","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":"Q6591111$A1B11050-9949-4539-BC80-5BB157D46CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8824ecfcacd1eec65de8241fc53a433b9f084482","datavalue":{"value":{"entity-type":"item","numeric-id":541210,"id":"Q541210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c6646a8b671d737fc8c701d85cb10eceb29b419","datavalue":{"value":{"amount":"+0.7292998433113098","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":"Q6591111$03D3816B-4063-4877-B876-9C5DDAA59AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4996c63057fa39264157b4fdb68ad72c5e6bbaf9","datavalue":{"value":{"entity-type":"item","numeric-id":5137884,"id":"Q5137884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b255ce473d627b4cb5ba2cc630eff99d53d9edd","datavalue":{"value":{"amount":"+0.7063376307487488","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":"Q6591111$65CB9C18-4454-420F-BE4D-15D8A810406B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09cb14d5258352767b33ae0fdb1fba71b292eeb6","datavalue":{"value":{"entity-type":"item","numeric-id":2575834,"id":"Q2575834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"171776ea8a7cc2ed4b1179897a5c9ff224025cc7","datavalue":{"value":{"amount":"+0.7022243738174438","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":"Q6591111$5B2E07EB-D953-4CC8-A585-5DCCF1A6264A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74762df50c30cf5e6f6a1b2fa1a25df43b1cfcc0","datavalue":{"value":{"entity-type":"item","numeric-id":4353628,"id":"Q4353628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b07bbc877ed920904419fe5c7f395d00ec99a21","datavalue":{"value":{"amount":"+0.7022140622138977","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":"Q6591111$A81D67D2-6E76-41AF-B939-5A2EAEFA2F9E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6591111","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6591111"}}}}}