{"entities":{"Q1192606":{"pageid":1203355,"ns":120,"title":"Item:Q1192606","lastrevid":70245018,"modified":"2026-04-13T13:28:05Z","type":"item","id":"Q1192606","labels":{"en":{"language":"en","value":"A model checker for linear time temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 61209"}},"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":"Q1192606$7BDAC388-AE9A-475B-9933-9DB5540A44C8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"38c06950d30dd534d19fb739567b9d19ea1f83a7","datavalue":{"value":{"text":"A model checker for linear time temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1192606$C07C8512-DC07-40B1-B692-0C8673DA12CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"21fad3162435fbb02d46080b665f84461ba9f8ef","datavalue":{"value":"0746.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192606$B9DA73FB-D5CF-442C-880C-1BB2D3FBAEA1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e69b4f3d65aefeb0c4c55874b6a9f8b39f344c5f","datavalue":{"value":"10.1007/BF01212306","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192606$C9B10A33-7D90-4193-8760-641B885371CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5b17683dd2eedd3f1d821a1087aa218b2b31d17","datavalue":{"value":{"entity-type":"item","numeric-id":1160451,"id":"Q1160451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192606$16901A26-4133-4CE2-9115-D9128A8238C0","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":"Q1192606$F8AC8109-565F-4276-BE5B-A37EA6912CB0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1192606$0041DBE1-6D61-4A39-A716-FE1A1BBB0C3E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192606$788300FA-585A-4036-B17C-3F4A2BA8C8A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192606$B7B20F98-7D2E-4628-88BF-B594C9DB2BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192606$AA478DFC-C2A5-4A56-BFB3-6E5827053D55","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"535257b702eaab0115f08ba69ffa422280c3685f","datavalue":{"value":"61209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192606$06BDEE24-E976-467D-A4B7-2CC57AAB265E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192606$3F95EE33-4A57-477F-B78C-A59D88BC6681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192606$4E2BA5C4-BC89-42A8-90A9-56418ADDCC81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192606$78CBF09F-110E-4176-B619-81DB49189D60","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":"Q1192606$2FF4E9D5-CE8D-431B-9ED5-AE18B54D64E9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0fcedb27f76af57f2932afc76a3a085b3d11592","datavalue":{"value":{"entity-type":"item","numeric-id":3725528,"id":"Q3725528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192606$D417AAC1-6AF5-4C4F-B494-20594CC01B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd1e5527beee43e76ace8195dd1167b63319c8cb","datavalue":{"value":{"entity-type":"item","numeric-id":3743249,"id":"Q3743249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192606$E67DDF7C-7D99-4D25-9AF6-8D865A5355DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72429febf3d2eef9c3723165f7c6427cfa1f6627","datavalue":{"value":{"entity-type":"item","numeric-id":3028984,"id":"Q3028984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192606$08F874A6-262F-4530-A902-9C695186BAFF","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":"Q1192606$492A2EC4-F115-484A-A7EE-905058950932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f7e9b51624f25e880af792c7f9d74c82f45335","datavalue":{"value":{"entity-type":"item","numeric-id":3722471,"id":"Q3722471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192606$281A678C-F212-4A9D-987C-87EADDAEFE5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192606$F916CFE2-1A0B-492D-B77A-19348FCB939A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a905ba949a06cde66174f0d589d9794d6c05423","datavalue":{"value":{"entity-type":"item","numeric-id":3711745,"id":"Q3711745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192606$2D297727-1ACE-403F-8D57-A3E6D35C8D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192606$09FB9585-001A-4CAF-9448-C845EE37AEBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f51203819ed1614e3b2865dff5f44859bd6c482a","datavalue":{"value":{"entity-type":"item","numeric-id":3750106,"id":"Q3750106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192606$EA47DA95-ACEB-4A4C-AA17-8A157FD9E727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fe471308125d65582632b7b24e6589f89c33d6","datavalue":{"value":{"entity-type":"item","numeric-id":1090675,"id":"Q1090675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192606$DD64A990-751C-4B5B-AA59-D0FB1C46C86D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eee756afcee845871249675df0d2d7b42dfd9370","datavalue":{"value":{"entity-type":"item","numeric-id":3170516,"id":"Q3170516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7626a21e59bac068c27a370bd2bceb950cca687e","datavalue":{"value":{"amount":"+0.7828943729400635","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":"Q1192606$40D6384B-F880-4B12-BD12-873BAA8221D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e8e16bcfa7d0d1b1535479f664109d58dd01aad","datavalue":{"value":{"entity-type":"item","numeric-id":4037084,"id":"Q4037084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65c503bb1c8596253a8514d8655a81bd703c4384","datavalue":{"value":{"amount":"+0.781507670879364","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":"Q1192606$B90794AB-9598-402B-BB55-53AC77EF3447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63018600324a71859f0d043848bacee9a1ae2407","datavalue":{"value":{"entity-type":"item","numeric-id":5930944,"id":"Q5930944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c51473f188bad160d8c9d6252773eea3fb81d20e","datavalue":{"value":{"amount":"+0.7815075516700745","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":"Q1192606$FABC908E-0EEF-4F4A-AD53-8612DF33E13F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47a692f977b2b5a6577b9e26d31d979c09bb8c82","datavalue":{"value":{"entity-type":"item","numeric-id":5311048,"id":"Q5311048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1786401c610ee33ba320436a92f3d83768afa577","datavalue":{"value":{"amount":"+0.779309093952179","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":"Q1192606$5B382FD8-4A7D-4529-9506-9FDD2391422D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ebfb906a9656037721472a56ba99dbe61d2c330","datavalue":{"value":{"entity-type":"item","numeric-id":4885877,"id":"Q4885877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b06de0a0ad199607b86bf29ed90b1617ddccbdb3","datavalue":{"value":{"amount":"+0.77754807472229","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":"Q1192606$77755A76-BBB9-4242-8AAF-0293E5C6F966","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A model checker for linear time temporal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_model_checker_for_linear_time_temporal_logic"}}}}}