{"entities":{"Q5738950":{"pageid":7768502,"ns":120,"title":"Item:Q5738950","lastrevid":52826852,"modified":"2026-01-23T14:25:31Z","type":"item","id":"Q5738950","labels":{"en":{"language":"en","value":"The intuitionism behind statecharts steps"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6729759"}},"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":"Q5738950$73A8B7B9-A0BB-436E-AC1A-155C338B82A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"686c661107021b137fcc14540fa408ffd8c948a5","datavalue":{"value":{"text":"The intuitionism behind Statecharts steps","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5738950$FACA15F8-F503-47D5-B606-275BC6BF831A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e018337eef14198e069f81e609d3dab1b1e278c5","datavalue":{"value":"1365.68312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738950$27349443-A561-4057-AA86-396CA287F2AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"71d067edf3c3a120fae0149abdbfd34268033953","datavalue":{"value":"10.1145/504077.504078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738950$7DA090BC-E98D-444B-A287-14B8143C7451","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f18177fdfe78f7fc167ff41ba1f19491ea3e5c4a","datavalue":{"value":{"entity-type":"item","numeric-id":549199,"id":"Q549199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738950$156322C1-AF0F-4E38-8C98-396C69A9F84E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f04db4e76afd2cfb9a7b7465aba3c3f1bfee9640","datavalue":{"value":{"entity-type":"item","numeric-id":453536,"id":"Q453536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738950$0964F7F9-C462-4D82-A185-70105D426A2F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738950$3627B4A3-0CDF-4B63-9311-CC738A7C3151","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fb82429bb4ba602ab7d5caf04c575952ba3fb53","datavalue":{"value":{"time":"+2017-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5738950$AE94318B-5B77-4786-A255-623C6010E7F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738950$FC580E71-0962-48E6-BDA5-C30B97693E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738950$B81B3724-CC63-49DA-892D-F50EC9DB3FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738950$BEADFD5F-D259-4FF0-9480-86F68D4D4CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738950$B402C4C6-6CE3-4269-905F-96A9E881FC77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3b08298c810f0e66fe759b462ac6938429a27012","datavalue":{"value":"6729759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738950$35BECA2A-BBD3-4FC0-931A-18F3B75DB60B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dfba264ed923dd13e3004a251bcdab07ddaa86e","datavalue":{"value":"compositionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738950$C04101EE-20EC-4CE9-B241-9AA8847FBD4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738950$6F84A92E-55DE-4C74-A5CB-E57C78CB19C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84ee2ee1f99900c06084df1cd10d6861052e75b6","datavalue":{"value":"statecharts","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738950$F73CE49A-1A33-4E97-83D2-41A65F79C15D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eca9ff896efb1e34d9da4dcb5b5b353e4c12f209","datavalue":{"value":"full abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738950$CF5AA847-B90A-451D-BBD1-BDA8683A749E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738950$D499F594-56D6-4273-85A4-17A5F313698B","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":"Q5738950$4476661A-9688-4DF1-A23D-B7356E665029","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"36b14caaa7fcc43bcd21498065a2687f9f6c63a9","datavalue":{"value":"https://doi.org/10.1145/504077.504078","type":"string"},"datatype":"url"},"type":"statement","id":"Q5738950$93906642-AC08-437D-B5F5-C18C6FCBBD7C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"daf237a98cd6eefba64459765421442334097a70","datavalue":{"value":"W2119997500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738950$CD0593BD-4239-4EB8-AF10-6FCEFE64C9FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a17d7b0be4d79b5d918594390bae6816282f2c31","datavalue":{"value":{"entity-type":"item","numeric-id":2754141,"id":"Q2754141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"752e7c6e036f3352d433e08ba5edcc9d93fdf74a","datavalue":{"value":{"amount":"+0.927655816078186","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":"Q5738950$0BFA3632-AB3A-4AD3-BCC1-E52AF9E54899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c9e215d608668671a9ebe2575495bf60687aa75","datavalue":{"value":{"entity-type":"item","numeric-id":3587261,"id":"Q3587261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9de2f284536c091b7f72d89192c1621ea336da8d","datavalue":{"value":{"amount":"+0.8038129806518555","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":"Q5738950$C1C4BE7E-02DB-4979-90A8-53DDAB79B462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8eba9189962a7072e93927ee9348be2ec8ab1dc","datavalue":{"value":{"entity-type":"item","numeric-id":5096220,"id":"Q5096220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10f5827f21a01bf0b8f176d81a846ac57aae3607","datavalue":{"value":{"amount":"+0.7997139692306519","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":"Q5738950$CD2E6F82-235C-4B6A-8A70-8799F5110B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e5282ef3c5f80b06c910a805f69faa0c49ea036","datavalue":{"value":{"entity-type":"item","numeric-id":1853596,"id":"Q1853596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"263fb03e5321e235adae06f6829f1cef040d0e06","datavalue":{"value":{"amount":"+0.7868337631225586","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":"Q5738950$D9A0DBF7-F1FB-424F-89D7-BCB9AB96FDC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db5740846d634b9eb9a484ca21375a0eb2c69cc3","datavalue":{"value":{"entity-type":"item","numeric-id":6162113,"id":"Q6162113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ea877a7b6b8f1f935570a71d0caaa7cf679ff4b","datavalue":{"value":{"amount":"+0.7785033583641052","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":"Q5738950$23DF5C9D-686E-45EC-99D6-F474DB683455","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5738950","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5738950"}}}}}