{"entities":{"Q1900316":{"pageid":1911058,"ns":120,"title":"Item:Q1900316","lastrevid":71736657,"modified":"2026-04-14T00:12:51Z","type":"item","id":"Q1900316","labels":{"en":{"language":"en","value":"A causal operational semantics of action refinement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 811005"}},"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":"Q1900316$3E38D139-4EE3-42D0-BFA1-3F9DF62DCFE6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca8c6b4fba6a7ce4d6b367923543e0aac2be5c96","datavalue":{"value":{"text":"A causal operational semantics of action refinement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1900316$AD67BE25-18DC-4AD1-9741-2C2C87784D55","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"72dce6978d2ee0dfb2491cfde3a5bb51c66b77f6","datavalue":{"value":"0834.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900316$DC965E1A-2266-4CA9-B06A-F289BFB7190E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"95d56fa69daeb841762fcc163127358c82f6b275","datavalue":{"value":{"entity-type":"item","numeric-id":530215,"id":"Q530215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900316$7E4A4C4A-9EB7-49D8-8770-9CF80D167769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eec51c07710be78560907d5497cf10b0b2c10907","datavalue":{"value":{"entity-type":"item","numeric-id":199202,"id":"Q199202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900316$E64ECD6E-7792-48C3-800A-5FEB740EF6AA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900316$9DE7DAA9-3DD4-4CF9-AB8E-8DC2A92DD1DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"070a70caded07d3199a9b728c1f2b1773cbed9fb","datavalue":{"value":{"time":"+1995-10-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1900316$ABADBEE6-0569-4A21-A3BE-47203E5008F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900316$3FC78A65-D636-4AB9-BD07-24B6004DDFEE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a78324c26399522e39a54795e6f428cfc5bd5f0b","datavalue":{"value":"811005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900316$8D94F061-621A-4115-8C6E-515042C517D3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a9034476879a82e09e2410914307aeeff385da6","datavalue":{"value":"concurrent language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1900316$5D12FCA5-8AF9-462A-8B83-512AD67CA9E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1900316$53EE5B37-143C-49FF-B21D-E7DA4ACA792C","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":"Q1900316$7671C558-46DC-4EF6-93D8-228781D83193","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9d935d94ab0d5c87c09f5acba5c1ac9cb0f4fd4b","datavalue":{"value":"https://doi.org/10.1006/inco.1995.1142","type":"string"},"datatype":"url"},"type":"statement","id":"Q1900316$DE6BD975-E9E2-4444-B198-C4A2ED4C07B8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"062b3e0a1b571c85ae674c106e6e762ed42e9f64","datavalue":{"value":"W2061743024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900316$7D0CB9AD-C446-43DA-87CA-FF9F41E3A6DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2a049c3eefa260324d6f8aee23fb23cf9132c85f","datavalue":{"value":"10.1006/INCO.1995.1142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900316$74470BDB-84FE-46E5-8A34-9DD89A405549","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f25654cbdb818fd154ec9eb8c08b9cd958324078","datavalue":{"value":{"entity-type":"item","numeric-id":862556,"id":"Q862556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b907a136894fcf76a21e37aeced725743499bbd","datavalue":{"value":{"amount":"+0.9115459","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1900316$7B303A70-B636-4FD5-8C93-E3BCE4878371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"098864d4f1623b9dae5e4bd7f3c2bc7e2f7afc21","datavalue":{"value":{"entity-type":"item","numeric-id":4708933,"id":"Q4708933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05007caf3974b07b60cbea3697cf593e62024612","datavalue":{"value":{"amount":"+0.8846479","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1900316$8A40B458-69E9-4C66-AA88-83344E523739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67fd2e2c2bc0d29b21ac2bdfc8525ced357434d2","datavalue":{"value":{"entity-type":"item","numeric-id":2407453,"id":"Q2407453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0c5de619218d6003ecd8f0d78066a179aaee1c5","datavalue":{"value":{"amount":"+0.8820369","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1900316$F05A012A-C7A3-46E0-B5E9-879A738F7801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fbd875b85c464aece09b4a6ec3c771a13592754","datavalue":{"value":{"entity-type":"item","numeric-id":1575839,"id":"Q1575839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"143b10f05f7aeed446f79d33630d6a05801bad3a","datavalue":{"value":{"amount":"+0.8816156","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1900316$3D6865A2-AE47-4011-A90A-8FA7899CDCD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af44fb06ceb16a8376098d13baca90766dbcd5d2","datavalue":{"value":{"entity-type":"item","numeric-id":671596,"id":"Q671596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96f42f27ac652a961bb52bc8dd99b10690830ebc","datavalue":{"value":{"amount":"+0.8810156","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1900316$A5272CDB-3172-4599-A997-B4A09E6360AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98b8d24f38299191e5bfec6a64c23c58e9f1031c","datavalue":{"value":{"entity-type":"item","numeric-id":1606128,"id":"Q1606128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dad55f47bac5ab7ba6350b5c640e52fd2c155896","datavalue":{"value":{"amount":"+0.8761332","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1900316$2F069273-16D8-47E3-B8BD-8B839829785B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9660a97819f835f9f2961f62864e0dcf21293427","datavalue":{"value":{"entity-type":"item","numeric-id":688717,"id":"Q688717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"231c4b4a135fb8e76a76021883931fd314c15052","datavalue":{"value":{"amount":"+0.86879563","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1900316$54A416DB-4995-454A-B002-6DCE93C8C31F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bf0da508510daff560be7b3bac0e10b5b184aa4","datavalue":{"value":{"entity-type":"item","numeric-id":4501605,"id":"Q4501605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"970515807c98eeff662355d47098be4cd94f0e23","datavalue":{"value":{"amount":"+0.86697316","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1900316$3C395ABC-84CB-4D96-BCF4-C4F3C90ECF4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3748b187322e58abdfe0c4a3b5f68cb1e6bae3ad","datavalue":{"value":{"entity-type":"item","numeric-id":3993479,"id":"Q3993479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93c1cc2ddadff42d092e38a54dbcabe67e2283b2","datavalue":{"value":{"amount":"+0.8635243","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1900316$C01CAED0-D6FA-4A8D-BD07-7860E0D41E67","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A causal operational semantics of action refinement","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_causal_operational_semantics_of_action_refinement"}}}}}