{"entities":{"Q1047796":{"pageid":1049644,"ns":120,"title":"Item:Q1047796","lastrevid":50866559,"modified":"2026-01-15T12:07:23Z","type":"item","id":"Q1047796","labels":{"en":{"language":"en","value":"Model checking for hybrid logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5653950"}},"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":"Q1047796$6FB216AD-9EB5-41B3-B2D5-CDE5A87FBF7C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"55a443cc2510373b16426c095f28914b031f2270","datavalue":{"value":{"text":"Model checking for hybrid logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1047796$0C7C4C7D-438C-4878-A360-3DB1D3B1ED4C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c9717ddea8a0de9f5b2f21a2705e59349de57d4","datavalue":{"value":"1193.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047796$B203193E-0ABB-4A9C-B646-D44404EAAD8D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e9395c4897e056d54eaef255c0b18eeb46bea27","datavalue":{"value":{"entity-type":"item","numeric-id":386036,"id":"Q386036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047796$1D9C9580-2CF9-42E0-90AA-99AE843F62F1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047796$7B65B889-67E2-4CF7-98D4-28B19EEC9D09","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"92cf555916d59fb417884b9a08f363c4d96dea85","datavalue":{"value":{"time":"+2010-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1047796$D4D9FA6A-4D54-4826-9DCC-A570E626167F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1281dd6b9c4f62144bc68cb09edbb6fe30760a8f","datavalue":{"value":"03B62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047796$044BCEC2-1810-4DB8-BCAA-972E618A9A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047796$D2DE8E86-0D18-4660-9DF4-4DB0D22BB3D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6bd526386962d3c24d6fef7798eb6e34ec84fe9c","datavalue":{"value":"5653950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047796$DB7ECEDC-67FE-4B3D-BA0A-37D5FD20BA53","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb8d933beb43d9fcde951b3a7cd456d05feabcac","datavalue":{"value":"local model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047796$FC76DC86-7A24-429A-8EC0-F52048A31451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b0fff531f62acfc283a5a9181040fc8d873e6a3","datavalue":{"value":"B\u00fcchi games","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047796$0C01EE3C-49FF-41BC-BBBE-751D6C3EA6B7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f078e243cc5b2a268355ae913e6ed1ca3bb0dc8","datavalue":{"value":{"entity-type":"item","numeric-id":20519,"id":"Q20519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047796$CF354F72-1357-4B0C-9047-D65B1B743678","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":"Q1047796$04F95914-BCB3-4EA2-A927-5B02118A34F0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"acad607dd66fd47746518071e68e251d6b3f5e0d","datavalue":{"value":"https://doi.org/10.1007/s10849-009-9088-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1047796$FE52774B-12F2-4643-9672-DA823A720974","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a87619c96dd6043f534c81122aa3b247d36e3840","datavalue":{"value":"W2090612177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047796$C4DA1DC3-7985-4B3B-9C3C-76BD05B4D405","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"89136b2861aee80a28bb632c30d89c0ce71953da","datavalue":{"value":{"entity-type":"item","numeric-id":1325844,"id":"Q1325844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047796$DA7291F7-CF73-44A9-983D-A5C7173B5B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f679be7e862c11d0f8c9c30d7bdfa2a2fb7096c","datavalue":{"value":{"entity-type":"item","numeric-id":4511543,"id":"Q4511543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047796$5BCAF6B9-374C-4B9A-9F7F-1F11EA1761C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e33f2ba68cf579a64ec9052f36b74382f20bb1e","datavalue":{"value":{"entity-type":"item","numeric-id":3647216,"id":"Q3647216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047796$5C46EDD3-4A58-4ACE-B894-55DD201C0177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24fb9d52348f54c43a84c91f59c25b96c1e2d60b","datavalue":{"value":{"entity-type":"item","numeric-id":4833769,"id":"Q4833769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047796$663EFCC1-4725-4F23-A7B2-2D9CD0FD1055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfb3abb81cf65fe1593158d7caf4b8e92f35886a","datavalue":{"value":{"entity-type":"item","numeric-id":1286394,"id":"Q1286394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047796$7F349C61-3704-4F2F-93C2-8838C433A899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5f12b32d1a0a87df671862548caf17fa5008dfe","datavalue":{"value":{"entity-type":"item","numeric-id":5633975,"id":"Q5633975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047796$6AA63F54-93D8-4022-9B9F-FEA9DF5CA4B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047796$7A5B4422-27A4-47EE-A228-4C250549127B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c4261c45eb0bdc31b98abbe6dbdb3be8211dfa8","datavalue":{"value":{"entity-type":"item","numeric-id":1122572,"id":"Q1122572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047796$2BA6115A-A3B7-4F28-824C-707CF274FE9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f66c7d72619968555f7b4841da4946c8d914c16","datavalue":{"value":{"entity-type":"item","numeric-id":1801498,"id":"Q1801498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047796$138ECFBA-FE05-43D0-B32A-A729B1EE8841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a49c18731429c6e6e01fb66b974721ad0aeac5f","datavalue":{"value":{"entity-type":"item","numeric-id":1051419,"id":"Q1051419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047796$DD811FA5-122A-43D3-AECE-21303FC341CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9a4278516060e697fdc8e4d4af48d22b76c754d","datavalue":{"value":{"entity-type":"item","numeric-id":2506828,"id":"Q2506828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047796$430BD9C7-5FF2-4836-8A5A-4BF8837FF800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e5fe7a89f7f67f2bcf836fe38b4eb4e332645b1","datavalue":{"value":{"entity-type":"item","numeric-id":1919987,"id":"Q1919987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047796$541B64B8-493F-4364-ADA0-3C4655FD7E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"825b6872a15bf96d878b4c4ae9a99b55a4097d9d","datavalue":{"value":{"entity-type":"item","numeric-id":4501540,"id":"Q4501540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047796$931F175D-465D-42C0-8CFE-1E3B3F050D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2235fb3183968eaa336d2af78465b477fb3d4674","datavalue":{"value":{"entity-type":"item","numeric-id":4385540,"id":"Q4385540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047796$00840CA1-2980-48E4-A989-3076D98185AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0e14cfc361f0a1b92d8539c762fe0b3ad4c1609","datavalue":{"value":{"entity-type":"item","numeric-id":809068,"id":"Q809068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047796$11169BF5-2347-4FF5-BD31-AB4D5DE39E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d53d19922c3a7c2ab66b49e3b99548004028739","datavalue":{"value":{"entity-type":"item","numeric-id":3940830,"id":"Q3940830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047796$B08DC302-EDAB-4933-8285-03DD7F4DAD94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa4614c3d7786f0db16d6ca3adbca9b075e1b1ff","datavalue":{"value":{"entity-type":"item","numeric-id":1177939,"id":"Q1177939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047796$E8CC22A1-A54D-465C-BBFD-2EC1AA182F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047796$3BB50D93-FEBF-4342-9F24-799E1D7EE8E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94335b6198a4660e05410711e1402e65450c3673","datavalue":{"value":{"entity-type":"item","numeric-id":3370762,"id":"Q3370762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047796$3B992EA4-E519-4CB1-92B6-60848BC53E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0a0dce92881d00910fd403b575b6fcaa5d9e31f","datavalue":{"value":{"entity-type":"item","numeric-id":2754084,"id":"Q2754084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047796$0B177E8C-60AC-4B1C-90B6-2E116DE31C1F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4947092e5de77049f692281b952d308cf2194073","datavalue":{"value":"10.1007/S10849-009-9088-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047796$11D4F654-29E9-4207-89D3-A86A7AF2E7A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e44720f797e21a5123c1fb04f6471891d9a8995","datavalue":{"value":{"entity-type":"item","numeric-id":2506828,"id":"Q2506828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b0543abadd4b9e32d38263bdd48b627e23fc00d","datavalue":{"value":{"amount":"+0.8161318302154541","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":"Q1047796$CBDE5CB1-1AFE-4759-9C84-5F85E7CBC773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ba19121b8694d90a7f1b829bfd333ad0d7b7ddb","datavalue":{"value":{"entity-type":"item","numeric-id":2291813,"id":"Q2291813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"987e527081961673a61dc0833bd125e50fc1ec82","datavalue":{"value":{"amount":"+0.7948859930038452","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":"Q1047796$A1387E66-1EDC-4C96-A0E8-077E439B0505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e666c699d6edee48e57bafe1440684ed632d35df","datavalue":{"value":{"entity-type":"item","numeric-id":5394587,"id":"Q5394587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c8e2699a60e94b1be8138da88c64cc9f978596b","datavalue":{"value":{"amount":"+0.7463923096656799","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":"Q1047796$4019D167-A5F6-4F7D-A1F7-31ED3BC7EF2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"499d83672eef72549ec05edfef13897632bea8b1","datavalue":{"value":{"entity-type":"item","numeric-id":4992508,"id":"Q4992508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"665e8c41c6af74f5ff915fcb78affe3924064b41","datavalue":{"value":{"amount":"+0.741978645324707","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":"Q1047796$950D343E-10C4-4CE8-83A0-7337D871DC29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"989ee0fb643679764fd5900ef03d6e53ef1e827e","datavalue":{"value":{"entity-type":"item","numeric-id":3590965,"id":"Q3590965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10302cf29b5ba934115116a81d0f3f86d933211d","datavalue":{"value":{"amount":"+0.7416543960571289","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":"Q1047796$152FC0AF-C551-49D4-8285-0E99B10420B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1047796","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1047796"}}}}}