{"entities":{"Q333316":{"pageid":335083,"ns":120,"title":"Item:Q333316","lastrevid":61036539,"modified":"2026-04-10T20:45:47Z","type":"item","id":"Q333316","labels":{"en":{"language":"en","value":"Foundations for using linear temporal logic in Event-B refinement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6645312"}},"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":"Q333316$281017DD-AB66-47A1-A2AD-87E593E4FCDD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ffa6a7059a2f8e05f3e834dfb9f1b88bd656c7e2","datavalue":{"value":{"text":"Foundations for using linear temporal logic in Event-B refinement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q333316$5B56D16E-1913-4EB0-89BA-CE6C6326030C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"14e92719d205be7114110f49f24b311b73822c39","datavalue":{"value":"1348.68039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q333316$37A8B271-47A0-4897-B3CA-CD983F5CE669","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"92ee61dd18574b657f614d4963109a2adfd0b7c2","datavalue":{"value":{"entity-type":"item","numeric-id":333312,"id":"Q333312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333316$FF984021-E3BF-4FBB-B231-D3BF1DB1BD06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcef273d942d0b5f60b03bbbcafe5ea38575a6f8","datavalue":{"value":{"entity-type":"item","numeric-id":333314,"id":"Q333314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333316$A33A193D-D034-48CD-8ADD-FD461E519E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf86d8daf8db737bd73271eefeac085acd1ed6e1","datavalue":{"value":{"entity-type":"item","numeric-id":333315,"id":"Q333315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333316$5D67EF3E-79F8-4B1D-AE52-CFF3B72EDB26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbf760af8264fe1b213073283cef0a10d170b64e","datavalue":{"value":{"entity-type":"item","numeric-id":293166,"id":"Q293166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333316$6E006751-4721-4A97-8DAC-A9A7BEB84AE2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333316$382096FF-56A8-4ADD-A086-57AAC0763871","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0f5c57c1b97c1eb46e36683bd00f46296ab3c1a1","datavalue":{"value":{"time":"+2016-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q333316$6098A5D7-5AD3-4EA7-9FBA-81583F83865C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q333316$430B5379-DB07-437C-A186-389258BE5687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q333316$8F01F691-7A7A-4814-8902-03D5D6E32504","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8efa299c4754f745313d4be846db542322e409cf","datavalue":{"value":"6645312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q333316$59F3ACDD-DC8D-4D28-9C5F-6DF9A0E0C5AB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04ba4bf98dd124c8c2742b84b6fb188b54821857","datavalue":{"value":"Event-B","type":"string"},"datatype":"string"},"type":"statement","id":"Q333316$B5CF3F31-C7A2-462B-9139-594A064D7A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q333316$2B75E6B1-080F-4FFB-9AB2-08CD5058E1EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q333316$282F495B-27AD-4579-B3D3-454A921E6790","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"39ac151355959da7785b5f166a32abc6561add8b","datavalue":{"value":"Q59477094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q333316$61862E5F-1C4B-48D1-BA3A-E7EE58C79A5C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3dcf6ea9ac65c890e0513ced8e4b0dde71e50b0f","datavalue":{"value":{"entity-type":"item","numeric-id":19141,"id":"Q19141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333316$50877601-45A3-40D8-A0A5-5D360DBBDED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b09b080527cf0c7be3719338f59c9e92adea2d20","datavalue":{"value":{"entity-type":"item","numeric-id":19142,"id":"Q19142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333316$EDA318A1-CC9E-4153-A262-05A4F3ABD7E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"17cfe6afe68a54e81dc559ef2cd5a702765207b0","datavalue":{"value":{"entity-type":"item","numeric-id":25375,"id":"Q25375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333316$5D727290-7CC5-474F-993F-ED7DFF6AA846","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":"Q333316$33B0C35B-6812-4DDB-908D-864D9D8AB3E6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d9f19690edf4f91543c0d29cf08a14848cc230fe","datavalue":{"value":"https://doi.org/10.1007/s00165-016-0376-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q333316$8900E06D-B134-48D5-A451-50A2F1951052","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dbca9fc539670f5e1bfe58a78b6c72974ad07440","datavalue":{"value":"W2345050942","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q333316$F3F94171-EF18-43B7-8882-DD817119C983","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a64dbb7c90690de5fbdf0d30d9b861ec41a32a6","datavalue":{"value":{"entity-type":"item","numeric-id":3569584,"id":"Q3569584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333316$2AB1A8C1-DC36-4CE8-AD9F-E96FE4384965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"118b337def20aad99129592a4129251c2e27dca4","datavalue":{"value":{"entity-type":"item","numeric-id":1112589,"id":"Q1112589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333316$D8488E40-42C6-4273-8B55-CDED5B90DBCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac401061be2855dd82e617ca880a8f1b7c9b280e","datavalue":{"value":{"entity-type":"item","numeric-id":931435,"id":"Q931435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333316$0ABEAB2F-B9DD-406F-B53D-1BE990D59D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9886ffc5eb887f58075e8e60269b0218f715f6ce","datavalue":{"value":{"entity-type":"item","numeric-id":3535374,"id":"Q3535374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333316$104CD6A0-626C-4E2F-858B-17B1D3B17405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df40bf571d0fe8ac1b70832a06f5248e40ac7d0e","datavalue":{"value":{"entity-type":"item","numeric-id":2764139,"id":"Q2764139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333316$DC5C77FE-3B9F-4223-9653-C3E820D588A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b7768091c6a118a1440a3cb458e64a1da460e65","datavalue":{"value":{"entity-type":"item","numeric-id":1951638,"id":"Q1951638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333316$B7CE1585-A5D1-4454-B538-A66D9FD9D4AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090e4b104dd3f76f7e7cbd674cb41b2227a87ff1","datavalue":{"value":{"entity-type":"item","numeric-id":4692502,"id":"Q4692502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333316$8AD703A5-BC60-4928-A55D-6A6D207FBE9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca796b91648fb86030a62c7715ae255b6f71a7bf","datavalue":{"value":{"entity-type":"item","numeric-id":4436980,"id":"Q4436980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333316$118BDA9F-4C33-4DB4-B127-60AA1C7105D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3df495eff9d5d0c7c95b9d8bf2bbf5fa13626ae4","datavalue":{"value":{"entity-type":"item","numeric-id":1941860,"id":"Q1941860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333316$5BAE0FC1-196D-4B66-A441-97E06BF06F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38b4b8168fef6376949e3d96c88a7dcd372e9bd1","datavalue":{"value":{"entity-type":"item","numeric-id":736910,"id":"Q736910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333316$E1FBD9CF-56F5-4829-A729-356827EC9F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d1fca1251b9a8527d1b796e2899a1aaef492180","datavalue":{"value":{"entity-type":"item","numeric-id":5137907,"id":"Q5137907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333316$1E8786DC-B79E-4606-81A8-99697BB2023F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c22ec4572fd032f319b44a20c6e8c03c3d33a96b","datavalue":{"value":{"entity-type":"item","numeric-id":1941896,"id":"Q1941896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333316$CFFBB8B9-9216-4991-8BA8-D00B02C36636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de60a0579383499ae5dffd1b321a9bc22bc1b63e","datavalue":{"value":{"entity-type":"item","numeric-id":4791836,"id":"Q4791836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333316$124E97C6-F725-481F-877C-4A3C5EA620AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c60e2445abf437761a608280155a9dc287d9247e","datavalue":{"value":{"entity-type":"item","numeric-id":2915106,"id":"Q2915106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333316$B376098C-A1F4-46C0-A15D-C51BA1862FDA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8f90340abda64f5cfc205cb1cd587fb1ebcc8db1","datavalue":{"value":"10.1007/S00165-016-0376-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q333316$9B93DD63-9BD4-437F-A24C-0446A19988E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdfd003610c1531209a9cec59461f552602e432b","datavalue":{"value":{"entity-type":"item","numeric-id":4436980,"id":"Q4436980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66441a5819d868a80ac61b6c49e66e4998a684b2","datavalue":{"value":{"amount":"+0.7893244028091431","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":"Q333316$052AC134-A3FC-4B49-B8F4-4E5134CCE5F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7de6e153b5969c090d61eb6bf4582a31803e6130","datavalue":{"value":{"entity-type":"item","numeric-id":4411974,"id":"Q4411974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"166161e68bdbac2e1b9daef67865b3eb4c5321ee","datavalue":{"value":{"amount":"+0.7893242239952087","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":"Q333316$A8D4BC4B-85E8-4542-8309-0D438EB3680B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49e8a1d7be5e629ea9bbc316a3c17c5ab78a486d","datavalue":{"value":{"entity-type":"item","numeric-id":5703804,"id":"Q5703804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2823eaca16e0bba7743323f6211b8f1dbf137549","datavalue":{"value":{"amount":"+0.781413197517395","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":"Q333316$9D46F14A-F5E7-4657-B0A2-7BF8D301B78D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e55510c286d731f16f6df0ca57db5a082702170","datavalue":{"value":{"entity-type":"item","numeric-id":736910,"id":"Q736910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16ea0bf0b6fe5e73d8dd5c56c54d604cef81ded7","datavalue":{"value":{"amount":"+0.7593411803245544","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":"Q333316$34D91BCD-E0BE-4B10-9823-F8B75AB44FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0ca434aa252a3c245ddfa693589062293f6d711","datavalue":{"value":{"entity-type":"item","numeric-id":2764139,"id":"Q2764139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9aa43d30f573db85397ea6da2e03bd64840fbfa","datavalue":{"value":{"amount":"+0.7584016919136047","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":"Q333316$E10D6D3A-C287-46CE-8571-5BE867CFA0AC","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333316$79D25007-FD53-464D-AFCE-30AF56DC1C7E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Foundations for using linear temporal logic in Event-B refinement","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Foundations_for_using_linear_temporal_logic_in_Event-B_refinement"}}}}}