{"entities":{"Q5899160":{"pageid":8003000,"ns":120,"title":"Item:Q5899160","lastrevid":101875808,"modified":"2026-06-06T03:03:04Z","type":"item","id":"Q5899160","labels":{"en":{"language":"en","value":"Minimal refinements of specifications in modal and temporal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5145022"}},"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":"Q5899160$85DDEEB5-5853-435F-94CC-9277DC27D601","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a150f144e507a777cfcffb26b8ee41e70c148c92","datavalue":{"value":{"text":"Minimal refinements of specifications in modal and temporal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5899160$FA46D796-5A4B-4B39-982F-F69AF03568AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dffdfa53983bbc06d63bf62e15dd475cd3019ac8","datavalue":{"value":"1192.68448","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899160$534D2C8F-4594-488B-9CA3-05D242C2F2EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e232ae85d13ab7f1e0ccfeb9d527ee923e2bb81","datavalue":{"value":{"entity-type":"item","numeric-id":646493,"id":"Q646493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899160$51F633BB-03FF-48B9-919B-4B1BBF690628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e29184a057a37add3b7d61af5e7b02504ef3d8b","datavalue":{"value":{"entity-type":"item","numeric-id":1602966,"id":"Q1602966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899160$CC5BA8C6-82C0-412D-A51E-A16E1AD6326F","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":"Q5899160$88B8EAB4-1575-4660-AE15-BC3C8046AE87","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c162f292d55d8cae8f707bd4c33cce3b2222d9aa","datavalue":{"value":{"time":"+2007-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5899160$9664668D-1392-48D2-9A6E-994278DC08C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899160$A0DFAB99-12A5-4CF7-BC9F-EA2F695BC921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899160$10A396CE-26DC-4CAA-904A-43429E944669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899160$481565A8-B054-4FFF-B4E9-F3703C5D9650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899160$1EB6DBBE-9329-45DA-8410-D93F9D5EDC58","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b110c786c5d8954ebb20b7c142ad6b7fd360268","datavalue":{"value":"5145022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899160$0DD0C45F-0D90-470C-B931-8B4AF4E2EA93","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7be44aca757f3adf49e3de3f5c22cd533ea232ed","datavalue":{"value":{"entity-type":"item","numeric-id":14023,"id":"Q14023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899160$609FBC17-F665-4A32-AD5F-CF7274342230","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":"Q5899160$1FF61ACB-EC4B-4FEA-BD2C-448A0FBD0E8B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5eca478309229eee0d47c1c2d5fe20b1f81c8fe1","datavalue":{"value":"https://doi.org/10.1007/s00165-006-0014-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q5899160$7DC5D69F-6C6D-4D65-9441-FDAC81688F55","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"541698dc714a940adee2c801b6d23f6c513bb252","datavalue":{"value":"W4246611021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899160$8F46C1C6-B44C-489D-B52C-2E089374C726","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d5978f4bdf14ef5fd8b71ce390dbec5034a1e6","datavalue":{"value":{"entity-type":"item","numeric-id":805251,"id":"Q805251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899160$BD8E066C-5DEC-4096-9247-63A984B28562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899160$CAA9CB78-3490-4CF7-B3C6-FEA43509FC6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48ec8cdee5c993dff7cc7451da7a82da8eaf8ea9","datavalue":{"value":{"entity-type":"item","numeric-id":4036555,"id":"Q4036555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899160$950C3902-6090-4FA7-965F-9E1BEE431FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b18737e0a6d0b6c78cbf4cfadea402e7184d83f8","datavalue":{"value":{"entity-type":"item","numeric-id":4365321,"id":"Q4365321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899160$B044B602-4E65-4AF6-977D-55F1226F5B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899160$56B5A4C4-0644-48F7-97CF-C830BDB445C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42221eafb59709a6d2964c137b17785812806c0","datavalue":{"value":{"entity-type":"item","numeric-id":4885877,"id":"Q4885877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899160$1CE8D7AD-F688-4502-A998-5883AD5C6FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899160$A57AA251-A1D6-4ED9-A72C-0B8D0B184145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047ac5fb322e348fe9119ae9b9a0c4758fe0ea64","datavalue":{"value":{"entity-type":"item","numeric-id":4916211,"id":"Q4916211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899160$950C3592-25E1-4C96-BB0A-982AD799C8F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9b8fe49b3cccec1632b53b1b50ed0fe903f8693","datavalue":{"value":{"entity-type":"item","numeric-id":1100194,"id":"Q1100194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899160$CC31FE48-9E24-44E0-BFF1-B212A99C2705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"269af113feb3632279464e025fd9f9d59e022e9e","datavalue":{"value":{"entity-type":"item","numeric-id":1855229,"id":"Q1855229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899160$2279D1EE-4FDE-49A1-888A-28314127F06C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899160$508A607D-D4BA-434C-B43D-EC4295E6F3A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"672be30d9c0fd1bb08a1fc6131d1506ec245277a","datavalue":{"value":{"entity-type":"item","numeric-id":4830107,"id":"Q4830107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899160$C2BBF9BB-27A7-41C4-995D-5D7EC245AFB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2c04c57090ed2e631a0296c9d28c260e6d9f566","datavalue":{"value":{"entity-type":"item","numeric-id":4494396,"id":"Q4494396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899160$8C332B43-0823-49E5-A4F3-5495E87BD948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6afd98104d250e8b263d6c8890f1ce8f19074b45","datavalue":{"value":{"entity-type":"item","numeric-id":1174512,"id":"Q1174512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899160$CE98AC00-251B-4D9C-BB71-9C0A3553F169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0216e5a9bf29271c71e32daba01395b31c649379","datavalue":{"value":{"entity-type":"item","numeric-id":5751985,"id":"Q5751985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899160$C9F8067E-49F5-4211-B183-EAA7EA4A2B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a7cd9573e04579ced6db98cef8870ef9c20170e","datavalue":{"value":{"entity-type":"item","numeric-id":1189876,"id":"Q1189876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899160$0E03AF4C-8D2B-42A7-AB6A-4A21669D27D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eec31de77629c7acb602d7d315f7c63ca5fa1053","datavalue":{"value":"10.1007/S00165-006-0014-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899160$AA47E0A5-EF2F-4964-8BE1-520620AA51C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f0066602cb593a3ee396d0ffa9346765786ee78","datavalue":{"value":"10.1007/S00165-007-0038-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899160$3273A424-46D0-4D1D-9268-50962AD19AF7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Minimal refinements of specifications in modal and temporal logics (scientific article; zbMATH DE number 5145022)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Minimal_refinements_of_specifications_in_modal_and_temporal_logics_(scientific_article;_zbMATH_DE_number_5145022)"}}}}}