{"entities":{"Q3618834":{"pageid":5648740,"ns":120,"title":"Item:Q3618834","lastrevid":50623160,"modified":"2026-01-14T14:42:59Z","type":"item","id":"Q3618834","labels":{"en":{"language":"en","value":"Refinement Algebra with Operators for Enabledness and Termination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5539343"}},"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":"Q3618834$DC7E0189-15AA-467A-A4BC-D2AFB301E21B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"126c23db2f7c2f8a6a68a98dac3231a1b5f505cf","datavalue":{"value":{"text":"Refinement Algebra with Operators for Enabledness and Termination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3618834$5443F0AF-7673-4F6B-AF6A-552F1F3F9479","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e1750f8bdf6d66c2b4bb2bd8e388c2a9180d0bb8","datavalue":{"value":"1235.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3618834$A056FB62-FCC0-49B3-B66E-BF2624D9AB68","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3be652c955d673f8134802b976c43383aa05105b","datavalue":{"value":"10.1007/11783596_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3618834$90093E7D-4DC1-439B-863D-41ADEBEA379D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"590ecdf2f6090425f036c1b39890a1736ad1d5b4","datavalue":{"value":{"entity-type":"item","numeric-id":549682,"id":"Q549682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3618834$0DA1BB8C-0593-464C-8526-664702F08556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"48d865be380a2417118adfe1d5342583c2c12e0b","datavalue":{"value":{"entity-type":"item","numeric-id":204600,"id":"Q204600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3618834$D9E9D40F-7DD0-434A-B165-89A740605D70","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3618834$50284C53-AB89-4462-8EA0-E0AC514B5042","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d42f886a65a82f1ab69b7a851b32028cf5a4bbbc","datavalue":{"value":{"time":"+2009-04-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3618834$0E789481-D44B-425A-8839-B147CCC3D6F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3618834$818B00C8-CD77-4C2D-AA76-6BBFAC27CC71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3618834$9024D100-2F63-40AF-8D24-41BF758D25E2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1200dfdebceaba3119765454a26fd5fd890d0ccf","datavalue":{"value":"5539343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3618834$4CA7943F-97F4-4190-8339-8297AFF87087","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":"Q3618834$14B8181C-E6D9-4A8A-9859-79C673FFF620","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"59c7be907daad1b0b037f26cb811175f0b2ea0a8","datavalue":{"value":"https://doi.org/10.1007/11783596_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q3618834$03F1683F-990E-44DE-98C1-28B0AD23C7CA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f3b9fec14686499212ae5bc2d7c192f4d5e384b","datavalue":{"value":"W1722478857","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3618834$6DB3D6E0-54E2-4362-B97A-E4E07F215AA4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48ba73783ec02525e9f92a8ca1de18bb021a0f44","datavalue":{"value":{"entity-type":"item","numeric-id":923890,"id":"Q923890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4464b03cb9a7cef19003fbe89e63bcc762dbb60","datavalue":{"value":{"amount":"+0.985952854156494","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":"Q3618834$EFB71B2F-559A-4236-9648-A2A8F0F6744D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c652c46d1824020f2bcef4cc2923e9667efb5047","datavalue":{"value":{"entity-type":"item","numeric-id":3521991,"id":"Q3521991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07eafdf5d193918fc1b6f34b205df22a34021b11","datavalue":{"value":{"amount":"+0.8515055775642395","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":"Q3618834$153654DA-6251-41D3-AF4B-68658B7F62A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b78abd4b78c88f200d1a3c419495fd570ee62972","datavalue":{"value":{"entity-type":"item","numeric-id":3498406,"id":"Q3498406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f46dbbcb78c14bead4dbe4f0c0966ab0fad4973","datavalue":{"value":{"amount":"+0.8468723893165588","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":"Q3618834$1F0852CF-45E1-4B14-8F64-3ED03320F592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae4e85de96ed166b1885c46343495a832312dcb8","datavalue":{"value":{"entity-type":"item","numeric-id":5459194,"id":"Q5459194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa3831415f5a9651ea9bf60a65b86861c4d6de79","datavalue":{"value":{"amount":"+0.8363998532295227","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":"Q3618834$FA337CB9-50B2-4832-BBBB-32113B2D86DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8dbb7f7dce89ed2ddc25399aee83348107152ee","datavalue":{"value":{"entity-type":"item","numeric-id":2268474,"id":"Q2268474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4caad903f3ce06a7f5803d3b387bf6c8dd465ea6","datavalue":{"value":{"amount":"+0.8349620699882507","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":"Q3618834$DE59A3A7-0C10-436C-87C9-41EF08093CC9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3618834","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3618834"}}}}}