{"entities":{"Q5235256":{"pageid":7264824,"ns":120,"title":"Item:Q5235256","lastrevid":94624097,"modified":"2026-06-05T07:17:26Z","type":"item","id":"Q5235256","labels":{"en":{"language":"en","value":"Design and implementation of diagnostic strategies using modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7114563"}},"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":"Q5235256$AE3A809E-1892-4559-8F45-B02F488B6D1A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d9ba098a7581b5bb731b6001d99da58144cc970","datavalue":{"value":{"text":"Design and implementation of diagnostic strategies using modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5235256$EED67C26-6234-44C4-9698-BA23E0FD5254","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"afbafc6cd8394d4b951f387df5240dd9139274c5","datavalue":{"value":"1427.68292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5235256$41FB185E-C2FF-443F-9C27-E18019DBD976","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"36390c03c7224a73161a311602758c7d31860cef","datavalue":{"value":"10.1007/3-540-61630-6_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5235256$BE45C233-97A2-4AF9-96FE-7186876E332D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f243a6673bd9cf7abffff5d921f26c940b2015b3","datavalue":{"value":{"entity-type":"item","numeric-id":2835857,"id":"Q2835857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5235256$A799A38B-B4F7-45C4-BC8E-598AF45D0765","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc07bda6ecc2d918e20f9b6c43dfffbc17943f9d","datavalue":{"value":{"time":"+2019-10-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5235256$5C168AA9-C28A-4592-8B0B-1B805281F26E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5235256$462F83AC-779B-43C9-AC45-48C724CFB605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5235256$E8A95D80-6F04-4905-94E4-1F025EBE5AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5235256$A42EB0BE-6DA7-499F-A6F9-5C5CB34E6D2C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e213a1efca4db1d94ce7930ae020bf6f2d4a0710","datavalue":{"value":"7114563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5235256$78D38FBD-1944-4E0F-AE68-E8AC1423FABE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9408546ecb33d5fe54dbb1dbe82b7a513b60f62","datavalue":{"value":"transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5235256$4B3E5C60-EDC4-490F-BA57-CC93DEE32260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2f3b4b5611f83095f0638cd77417d56b9e4b0a3","datavalue":{"value":"system description","type":"string"},"datatype":"string"},"type":"statement","id":"Q5235256$E2B40515-0588-45C0-98CF-45DB4B1DB8A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a6fb0e756d8a773f8f1c5fb27ac3f7ad7ec9ff6","datavalue":{"value":"diagnostic process","type":"string"},"datatype":"string"},"type":"statement","id":"Q5235256$0202FF16-CFA8-4989-847C-12FEF54B826F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5235256$642B38B4-F548-4882-9843-A71BCDE84348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99d0937c0dfa97206651000bf615747d9ef6791c","datavalue":{"value":"successor state","type":"string"},"datatype":"string"},"type":"statement","id":"Q5235256$61037066-67EA-4C3D-A4C3-08016D9385F5","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":"Q5235256$8BB96250-BE86-4E57-8A94-0EBC4EF2A899","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8a622608fc7562dc32b0e1e7d5c224efcbe9d9d8","datavalue":{"value":"https://doi.org/10.1007/3-540-61630-6_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q5235256$27A34C28-A418-42B8-9D83-4900BA978301","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fa95ccf0976534d2c145976e3bd8fcfbd391f330","datavalue":{"value":"W1487921861","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5235256$EA328D6A-EE9B-41A1-815C-06E28197533C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f402958b1925549ce8fc0da41e34ac89f2216f85","datavalue":{"value":{"entity-type":"item","numeric-id":1924804,"id":"Q1924804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5235256$87EB0BF8-73BD-4B5C-8BBF-C8342579B597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6733b7bbb3da2725018c9c6a7b544f9ef86c0eb0","datavalue":{"value":{"entity-type":"item","numeric-id":1101418,"id":"Q1101418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5235256$A224BBF4-09B0-440E-93E4-02619C955B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b834090a3c0cd43fb8ac310d32f197ecbdbc1f3","datavalue":{"value":{"entity-type":"item","numeric-id":3198903,"id":"Q3198903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5235256$32B824E7-DB6E-48FA-B008-FEB68B97B901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3043584a63fc36f34b1f253742062e5fc8b4f9b1","datavalue":{"value":{"entity-type":"item","numeric-id":1102126,"id":"Q1102126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5235256$BCE46F31-94FA-46D2-A6C0-E52F10FBFE39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a1df4d304286c4522b2683ebe5a1d879428d7bf","datavalue":{"value":{"entity-type":"item","numeric-id":5750452,"id":"Q5750452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5235256$F6B63817-4F64-47AD-A115-2D2469DE8933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da2a8265c6c2462a7c757813530c0ac04f2f393","datavalue":{"value":{"entity-type":"item","numeric-id":1924801,"id":"Q1924801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5235256$F5F07346-AF11-4882-8226-6AC08CEC42EC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ad1d4e575cd3ef8f28afd375fc4b8bcfa3f27f9","datavalue":{"value":{"entity-type":"item","numeric-id":5950284,"id":"Q5950284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d336cd8a93a7579f46b96e3b4460e47a7041396","datavalue":{"value":{"amount":"+0.90685093","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5235256$754C558B-3F73-47C4-80F0-AE2D28D119E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8ac2979aba1695f16b4b4234868b15af0cc2710","datavalue":{"value":{"entity-type":"item","numeric-id":805270,"id":"Q805270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79af8fb4e8edb5435171fc3fab30951744e04de0","datavalue":{"value":{"amount":"+0.87834215","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5235256$BD382E1F-5D6E-440B-8651-0A16A9B6B1FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"265456f13699768dc780684a6f60fd06799392ec","datavalue":{"value":{"entity-type":"item","numeric-id":3592781,"id":"Q3592781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e513a835cd7d03c2efba266b9abe5455848fa5da","datavalue":{"value":{"amount":"+0.873797","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5235256$501AD563-51E5-4955-AF9E-0EB3109133A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67ae260f333fd187f6737ca8677dae175bbc031d","datavalue":{"value":{"entity-type":"item","numeric-id":1274679,"id":"Q1274679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34db28baf5da9fd8bef3b6b1ed44c42570db2eaf","datavalue":{"value":{"amount":"+0.86300576","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5235256$0435B5E3-E3C5-4B26-A198-FD08FFE95AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccf37028beaaa92380020bf414170d08454ba661","datavalue":{"value":{"entity-type":"item","numeric-id":4815029,"id":"Q4815029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87ab4a4a5bcb6cc47c97b97edf3b0c7163fc9ef7","datavalue":{"value":{"amount":"+0.86010504","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5235256$DED57EB0-ED8C-4941-AC03-106D28C7E68E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed2991402eea81c2e62cabb99a4801bc78862a70","datavalue":{"value":{"entity-type":"item","numeric-id":1069318,"id":"Q1069318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a046644f41b967620274233b762400bbce59505f","datavalue":{"value":{"amount":"+0.854","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5235256$9D0E208F-4B8B-442F-96B5-644CA2A5B10D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b596e06b64c8b7182e3d1c798849f6c54308a695","datavalue":{"value":{"entity-type":"item","numeric-id":4698999,"id":"Q4698999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fd487cc2a54886fef3a42f091fe039020685fc7","datavalue":{"value":{"amount":"+0.8459882","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5235256$C9BF4E46-47D6-4F56-ACD6-6E97BE2EC798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05e71d3353f168776ae3413bc7e343f4c1f9ffd9","datavalue":{"value":{"entity-type":"item","numeric-id":4245944,"id":"Q4245944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a7a821cd3b5ebfe5c4d2c21e51c36d35f1e94c0","datavalue":{"value":{"amount":"+0.8459761","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5235256$855ECDA7-131C-40E4-9C94-E4246C3D397E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca57f7bcb5474ed1236cb03611af4bdd6115aaa3","datavalue":{"value":{"entity-type":"item","numeric-id":5175624,"id":"Q5175624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad085d079542c55d35581b0819fd393b6b8229a5","datavalue":{"value":{"amount":"+0.8454441","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5235256$914BA11A-0856-416D-902C-FE12472B21C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Design and implementation of diagnostic strategies using modal logic","badges":[]}}}}}