{"entities":{"Q5920375":{"pageid":8052666,"ns":120,"title":"Item:Q5920375","lastrevid":97750784,"modified":"2026-06-05T15:20:32Z","type":"item","id":"Q5920375","labels":{"en":{"language":"en","value":"Minimal refinements of specifications in modal and temporal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5215444"}},"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":"Q5920375$12B4D5A7-443F-4E3C-B345-B66FC865F415","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":"Q5920375$39D2033E-1506-4B8B-8A6D-5307F8E98557","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5328f3dd2adb5561be89d558be97c124d1f51c75","datavalue":{"value":"1139.68389","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5920375$DF8997F8-E561-4B61-BCB7-5DCF664E7DA6","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":"Q5920375$BED87B35-4B85-4D64-852E-8F457265C995","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":"Q5920375$CA40454B-6413-405C-A60C-1454C9926107","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":"Q5920375$7FED7491-B53E-4FB6-BF56-AC8626A03852","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f07a6e02313146619eb76647232125f099011046","datavalue":{"value":{"time":"+2007-11-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":"Q5920375$A6DDB773-A222-46B8-94D3-5693CA980393","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5920375$87AA8252-F7BC-45FD-BC30-7E000471A676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5920375$79249556-5A00-486A-BF6A-B18AE2F2836A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5920375$08E2B400-0099-43D7-90CC-E3B36412AFD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5920375$79D89A91-B3DA-4D2F-8F73-07803743FA1F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"16ddc977e963bc925e2d801ed0a3835326c92abf","datavalue":{"value":"5215444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5920375$E7441D55-94FC-44A0-81F4-C6FEEE244DC6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d9c2e1f00facc619242af9af43a4aae006f38ad","datavalue":{"value":"transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5920375$F46A8F39-4531-4307-870B-0E4890F82631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cc7f42215f9794317f339f6b54341f1fba0b4f7","datavalue":{"value":"minimal refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q5920375$86E32081-084E-4ECB-85A9-3E5D11138A7C","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":"Q5920375$938A0286-B0EA-4DA5-AA34-14376BC9864A","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":"Q5920375$50C8BA6D-6DFF-45A9-854A-364B168D69A6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"224e274f8735feb11d221057d14b97216a873d08","datavalue":{"value":"https://doi.org/10.1007/s00165-007-0040-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q5920375$A2677196-6413-4E1E-A3C1-E138297013F6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"93710d1b5fd1bd17b8588db80a665ef13c91f928","datavalue":{"value":"W4240058583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5920375$2BFAC995-F967-4A74-BDC2-8C1A99B936B1","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":"Q5920375$91061130-CC34-4EE2-A585-E864A9C9545D","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":"Q5920375$C669B40C-B63F-4DE4-9115-280F4622A804","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":"Q5920375$E63FBCAA-11E4-4924-B6F2-D7F8A7E1AC79","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":"Q5920375$97BDCFD9-784B-4465-8158-965C8E3E6BA2","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":"Q5920375$B8BEA97E-7804-42CA-9FDD-4988ECD92EA6","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":"Q5920375$9DCC2A3F-2A7A-44CE-9844-2AE8CEAA9F3A","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":"Q5920375$E3FD1654-EB6E-4767-AC28-3DB1F8E14FFD","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":"Q5920375$891997F2-CA72-46F3-B505-176D64BD95CC","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":"Q5920375$8AF44517-90C1-47B7-B5F9-7795D7C41D9F","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":"Q5920375$D4BA467E-E83C-4007-BE6C-BD286760396A","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":"Q5920375$F32BA9F6-3CEA-4D6C-8D01-B41A5096FF4E","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":"Q5920375$51207278-39F0-495B-8FD6-17E1F9F70300","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":"Q5920375$CDE8BDEE-A195-46E2-9B60-CE32E1670A49","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":"Q5920375$66B85107-6209-488A-BB8F-D198D8883918","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":"Q5920375$38496184-AABA-43CB-BB38-AEFC466631B4","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":"Q5920375$D878D767-F395-4224-8BE1-F7D6A1B7ECE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f882972e0d4020177d8ec9773323d710a3e89a","datavalue":{"value":{"entity-type":"item","numeric-id":3141897,"id":"Q3141897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5920375$1E43E122-B7B1-478F-B064-23AE812CB645","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b9b35da20c6ca51686e53a1d5a6b55f6c2715d32","datavalue":{"value":"10.1007/S00165-007-0040-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5920375$86FD20FD-E1E2-4914-95DD-35ABA1220379","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e30a9a8b62f3718f8c20659d23680e954c52325f","datavalue":{"value":{"entity-type":"item","numeric-id":4916211,"id":"Q4916211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adb6ce46a3c0d2981108cd5130c6c21ad52a5ee7","datavalue":{"value":{"amount":"+0.8073011040687561","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":"Q5920375$95E2963B-CB16-499E-BC91-8AFB9ADCE971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94fedac2374420c26f94c6d0c4142bf94246149e","datavalue":{"value":{"entity-type":"item","numeric-id":3525632,"id":"Q3525632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6063830e38f91ac100919441028439ad5e562a24","datavalue":{"value":{"amount":"+0.7875507473945618","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":"Q5920375$CCBC8962-C2C2-494D-95D7-DE85D6F00FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b05de137f3b926136982958b1ca99722a1ca7b6","datavalue":{"value":{"entity-type":"item","numeric-id":3618577,"id":"Q3618577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"954a3820405b3bd337c62a68b080fd60670fb0e6","datavalue":{"value":{"amount":"+0.7724433541297913","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":"Q5920375$DCBED93B-01D6-4009-9772-68A10DA5C786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b83d06686eaf3ee80356520481d837a18ace594f","datavalue":{"value":{"entity-type":"item","numeric-id":4417820,"id":"Q4417820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e02e4017a03a700c0c0029095e3c74f38585e59","datavalue":{"value":{"amount":"+0.7635043859481812","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":"Q5920375$9A0147C1-A8CC-4ADE-9B3B-E8828CDCD674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6b3a1a33e9e3b0865d0f40b1354e3f5e295e2b5","datavalue":{"value":{"entity-type":"item","numeric-id":1941860,"id":"Q1941860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6e23342950f6869744f5fbde08b4a86d4db7975","datavalue":{"value":{"amount":"+0.7606514692306519","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":"Q5920375$BFF6021F-45EB-4BFB-A871-6AC06692850B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Minimal refinements of specifications in modal and temporal logics","badges":[]}}}}}