{"entities":{"Q5040368":{"pageid":7069945,"ns":120,"title":"Item:Q5040368","lastrevid":55900069,"modified":"2026-02-20T23:41:34Z","type":"item","id":"Q5040368","labels":{"en":{"language":"en","value":"A Logic for Reflective ASMs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7602227"}},"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":"Q5040368$9F656164-9FA2-4DE6-A1F8-618D42B83AA9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f19e943465bf4a846fdc4442e5d5783b6fea574d","datavalue":{"value":{"text":"A Logic for Reflective ASMs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5040368$6D92DBA5-E664-4AB7-8626-DF6AA3083538","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9f9799689690a98d04b2be7aa2dbf78d5b963d54","datavalue":{"value":"1497.68177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5040368$A26FAE7C-FB85-4311-A5E4-1CB37BDC67CE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8041bbd2f2a1d38c4e7a966955ef64c838a43f2d","datavalue":{"value":"10.1007/978-3-030-48077-6_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5040368$3973BE63-C156-4BEF-8667-9D49F8143506","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6081a22e78e5c0bc6cb05c9838a63ad14b1e9ac","datavalue":{"value":{"entity-type":"item","numeric-id":303690,"id":"Q303690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5040368$E2A68477-5FA1-4648-BE71-DAADB16C528E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"226ec6a2e0bf98d20b25e1e8bd5791eb63a56d88","datavalue":{"value":{"entity-type":"item","numeric-id":313978,"id":"Q313978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5040368$04A743FA-8DB6-4807-ADE6-95166A1E5DF2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"90d43f9802d2d0cd70f7cba47432369ef5f111af","datavalue":{"value":{"entity-type":"item","numeric-id":5040366,"id":"Q5040366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5040368$B9950E8A-12C2-4A3D-ABCF-C35D854A7177","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39fcf3265ef324cd8f042b5ffc2d91b62eb5b915","datavalue":{"value":{"time":"+2022-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":"Q5040368$E25CAC02-9BA2-42D4-AF12-DAA7381D7800","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c4d23e479455dfbfef69cdefa2e2eb3970b9f40","datavalue":{"value":"68Q04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5040368$E70A2048-3B10-4212-A930-1362384E6F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5040368$4F873ED1-4268-4F4F-9C2E-30E01BCD165A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5040368$843A86B8-37CE-4AD0-B279-711C2D32552E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42ffd861f98cf2c26a4dd232863c62cdad68582b","datavalue":{"value":"7602227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5040368$FC3BA07E-38F2-4F77-943D-302ED90C1860","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdf00e43fd6ab092796109964f1a55fca40cc53e","datavalue":{"value":"abstract state machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q5040368$20D5563C-91AD-441A-A9E3-159DC0C1CDC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50b1882775c4720c2bd9796b439d3fd05a08dcd3","datavalue":{"value":"reflection","type":"string"},"datatype":"string"},"type":"statement","id":"Q5040368$4EFC30CC-C258-4ED4-B90D-52008048D6A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bbb0c1d4a0dde26226934f7234d049627289106","datavalue":{"value":"logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5040368$FCC67166-04AD-4A2C-A736-A35D3009FAC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7af46ab226bf80cfede9df6e387e83c6857e1ebd","datavalue":{"value":"tree algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5040368$9D05B282-2D0F-4167-99B6-AD6DF4DD55F0","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":"Q5040368$7A36E5B1-CA44-4A62-AE21-98320ACE9067","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"83b013e32daae6f62ad6aa78cc884473cae9f314","datavalue":{"value":"https://doi.org/10.1007/978-3-030-48077-6_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q5040368$8D02272E-4FAE-4B77-AC64-3EF6B7E0E221","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0dff1269aed9d6a7cf390252a27a7f4a043c3698","datavalue":{"value":"W3027906111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5040368$DC6C7283-244C-4F1C-B4A7-0CF1BA99C8D9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d18cf84bd49d4a3b35fa5f91415e3b2e495c135e","datavalue":{"value":{"entity-type":"item","numeric-id":4429922,"id":"Q4429922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5040368$2B27030D-A9F6-479B-9027-4C28C5E012F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60711ae784cc7c0ac646f17e8bd64badbd60a7ee","datavalue":{"value":{"entity-type":"item","numeric-id":4989672,"id":"Q4989672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5040368$273165D0-8306-48B3-8728-C19722CA8953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec06257c029bf1b731815e2de92c31bf9e67d458","datavalue":{"value":{"entity-type":"item","numeric-id":313981,"id":"Q313981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5040368$EC88487D-432E-4165-A3AE-D3FD4156BDAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1184bb2ebc6ad8749c048d45e71a1dd4c45f0659","datavalue":{"value":{"entity-type":"item","numeric-id":5095627,"id":"Q5095627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5040368$BB5184CE-7B8B-493E-B74F-A971BEFC3FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5b37515fdc08ca906eff377b506c9d42f32ac0b","datavalue":{"value":{"entity-type":"item","numeric-id":3075232,"id":"Q3075232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5040368$82934FF8-5EEE-459C-B39A-AB2BD419F174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85e8f245d67713e7936af8670acd6ff40fff507b","datavalue":{"value":{"entity-type":"item","numeric-id":4783310,"id":"Q4783310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5040368$64D95EDA-CCCE-4AAC-9C35-2215EA7C8543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77e4b0c6b98c7c56d74c4a385b96a40c2ca4834f","datavalue":{"value":{"entity-type":"item","numeric-id":1924387,"id":"Q1924387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5040368$D194FA51-A273-494E-8231-8DD3A45EE63E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ab4b94db813a3222a34c92fb864a9f0ffa6a237","datavalue":{"value":{"entity-type":"item","numeric-id":4528037,"id":"Q4528037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"945e603dba7bf5fc20a11bc4455921974f22353f","datavalue":{"value":{"amount":"+0.881499","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":"Q5040368$5153746B-B621-4F1F-A0A4-7BE390E9C310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3082dd98bcf1d70c39a9a7df9f617224dd628346","datavalue":{"value":{"entity-type":"item","numeric-id":2871862,"id":"Q2871862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"666db7892cccc5eea567d2b547a34bf602bc722d","datavalue":{"value":{"amount":"+0.866232","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":"Q5040368$8A65C69B-E5E0-44BB-B65F-331F36B4F958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f22deff83d6518490b4450baa14fe5634d745add","datavalue":{"value":{"entity-type":"item","numeric-id":4884066,"id":"Q4884066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42f3e8e53ccaca044c64ca855c7a74f6c05e662a","datavalue":{"value":{"amount":"+0.86400217","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":"Q5040368$66C0AE5A-8712-4A9E-A140-7D6499D4FCBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b575b5b6e96b843e9be8bd9fab7f260eda85bda","datavalue":{"value":{"entity-type":"item","numeric-id":4223000,"id":"Q4223000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6664cf06c7d9ecd5a91f5e7435e4c0716d211246","datavalue":{"value":{"amount":"+0.8608938","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":"Q5040368$F016E3C1-CD21-415D-BD50-7ED12C3092DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"572ff63ac711dfd5b65178c21704c3af53e3ea0f","datavalue":{"value":{"entity-type":"item","numeric-id":1608918,"id":"Q1608918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"545dd20ed4f1c3fde8aeb26a80debf58a51f25f0","datavalue":{"value":{"amount":"+0.8601781","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":"Q5040368$F5330C25-3241-460B-8246-E2E128617D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3fc08b94def33e48b19f72a436763284695b44e","datavalue":{"value":{"entity-type":"item","numeric-id":3133173,"id":"Q3133173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"790cfbba2c568ed5c138778a99b5cb8af9b2074d","datavalue":{"value":{"amount":"+0.8539427","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":"Q5040368$E2C7583F-9C2B-4505-BD69-0A4231A22DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"769937c0838347b6d65d7cf565f4f4b02f76aadd","datavalue":{"value":{"entity-type":"item","numeric-id":3138833,"id":"Q3138833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d793a1a1a91d0ab5d531aca7bd2fbe19086955cf","datavalue":{"value":{"amount":"+0.8537925","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":"Q5040368$6A05B02F-37F8-496D-BFFA-C4EA43CFF865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95ac42d60317fde4c37666f10d986c26a4eaeea0","datavalue":{"value":{"entity-type":"item","numeric-id":4452605,"id":"Q4452605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e371dec71356ef8a25af3bf28aa8ab3f8a90caac","datavalue":{"value":{"amount":"+0.84904075","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":"Q5040368$B0A33C62-5EDA-45FC-BD31-BF8EB1ACDFC5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5040368","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5040368"}}}}}