{"entities":{"Q6097773":{"pageid":13232080,"ns":120,"title":"Item:Q6097773","lastrevid":41810383,"modified":"2025-05-08T14:53:44Z","type":"item","id":"Q6097773","labels":{"en":{"language":"en","value":"Revising system specifications in temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7693270"}},"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":"Q6097773$CA32E545-2BC1-4FB6-B284-A05220841008","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c078fe36dafee50dc6fb4a7c0bb6667655a5a92c","datavalue":{"value":{"text":"Revising system specifications in temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6097773$D9721C3C-635D-49F3-879C-6598A687F190","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3ffbaa208fe60de35d8d3d437c96f4ddcdabcfab","datavalue":{"value":"1515.68180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6097773$71015D79-8796-4BCB-98F0-300F5CBF4BE6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"13258c622ba62b837e6d76084eac94f7712c0a02","datavalue":{"value":{"entity-type":"item","numeric-id":2294583,"id":"Q2294583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6097773$1F2AB639-5283-4D4B-A588-C63E435DD7AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"64768e880dabc12577ee9ac582aaca1ac21d612e","datavalue":{"value":{"entity-type":"item","numeric-id":490419,"id":"Q490419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6097773$FB41B89E-0258-4AD6-B936-CBC16D60C5EE","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":"Q6097773$A6D675B1-0CA1-468D-986F-F92A3EABF721","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"663ec16ecbc56706b2dc00e5da23114c24123651","datavalue":{"value":{"time":"+2023-06-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6097773$705861C6-FAAA-4E07-9856-30E11DD837FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6097773$6A61445A-3ED2-44D9-878D-020F3D7E2F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6097773$686C4ECD-8C0A-46D5-820A-A1F863CABE83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6097773$883F5C9C-0575-44E7-8431-DCA4FB245D76","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ba581dca44cda55fdbcbdcbd5e1a91e39215114","datavalue":{"value":"7693270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6097773$DC5B2FC2-F02A-4904-A6BC-53188DE64F1F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"637785e14eef7f70f7262ce92a25e0781e71a1b3","datavalue":{"value":"belief revision","type":"string"},"datatype":"string"},"type":"statement","id":"Q6097773$36D84E90-9029-47F4-A326-74E2EAA0D7FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6097773$2EA0D2C2-6EBF-4473-AC12-57DB847B1A28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5261b3f94c4e1d7dd6543546ef60f48972992361","datavalue":{"value":"model repair","type":"string"},"datatype":"string"},"type":"statement","id":"Q6097773$33A6C02B-C5AE-4BDA-9BB9-7349156FE87E","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":"Q6097773$2ADCEC07-8D11-42B0-8053-D8F200EED5C0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a58fd1c1d08ee970b5e620a3f873df3171087eba","datavalue":{"value":{"entity-type":"item","numeric-id":3699670,"id":"Q3699670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6097773$A39328BE-617D-4A2B-BC6E-01AE53E99DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c2b148f23a3b566b437d31045b1a43179f002ba","datavalue":{"value":{"entity-type":"item","numeric-id":3039305,"id":"Q3039305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6097773$7F3A9228-41F5-42A6-B833-B8CE78D2661D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6097773$01B4D958-B9C5-472B-A3F6-861B87BACB34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0c3a5cec6206d4035998713017a253092f6d405","datavalue":{"value":{"entity-type":"item","numeric-id":1606310,"id":"Q1606310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6097773$FCCE0BA9-77AA-48DA-A6CD-A9D408834CA0","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":"Q6097773$8D7A3206-CD40-43DD-A1C1-1B6C215A6B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6097773$2A64AA89-0635-41E6-BCEA-545F32945FF8","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":"Q6097773$C4A01A1A-DDA3-4CF2-B3B4-F7375DF9A542","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":"Q6097773$9D6DD103-F07A-40A2-B762-3C7EF202BF16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b19f607ab04fa39671f79f982e3072a32523dac","datavalue":{"value":{"entity-type":"item","numeric-id":5166663,"id":"Q5166663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6097773$9AFC6329-43B3-4C9E-98B1-18E12070EF86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86d7b2bf24992e97ea58b1925fa3ad0f956ebcbd","datavalue":{"value":{"entity-type":"item","numeric-id":2294584,"id":"Q2294584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6097773$77AB3894-9C00-418F-AB74-0E8C8E754627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4569d963b155abbcb87f982ca2df3cf976f2c4c3","datavalue":{"value":{"entity-type":"item","numeric-id":1977408,"id":"Q1977408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6097773$1F6124FC-813C-4D70-96FD-ECC04208B48F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d43e72365fd99cc036021cbbf38085cf7d89b06","datavalue":{"value":{"entity-type":"item","numeric-id":1602963,"id":"Q1602963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6097773$2BAC7ABB-F076-4DD4-A54E-0B3EA8DDB5CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c5af6b3cc589453aa283371a60cfaaa088b129","datavalue":{"value":{"entity-type":"item","numeric-id":1978472,"id":"Q1978472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6097773$C341671B-E805-4DCB-9386-10D05A3ADF9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69831aa7f75e620a0aa2a9c831da6c7ab3258cc1","datavalue":{"value":{"entity-type":"item","numeric-id":4737005,"id":"Q4737005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6097773$D313107F-CB60-482C-A1AC-37268500FA7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e07930ce4911f611d084d7578c97cdc8fb3f729","datavalue":{"value":{"entity-type":"item","numeric-id":2763694,"id":"Q2763694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6097773$26CD591D-2E3B-4C07-80A2-58E65F4E3BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad0b53867c88a73a7a906320d0a81056ca94fdd2","datavalue":{"value":{"entity-type":"item","numeric-id":4028812,"id":"Q4028812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6097773$81EBC1E0-563F-42E0-BC67-337C1BFB8AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6097773$C0B5F35D-3ADE-4885-A5CB-D5D88167B0FF","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":"Q6097773$354C7D4E-3C08-40DE-A8CC-36C9C901CB26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19fcfe0b9c96115a36ed7ad3e8d79e8ee5218898","datavalue":{"value":{"entity-type":"item","numeric-id":3624112,"id":"Q3624112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6097773$0A755CE4-B16B-486D-AA34-9247E8CEB3A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4ddc0765642fe553706b1ecaf945e9d029e25c43","datavalue":{"value":"10.1007/S10849-022-09376-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6097773$BA197276-54BB-4A0D-936C-2806C590BA28","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3655ddc9825124373c1409c2e1d9bf84caf378f7","datavalue":{"value":{"entity-type":"item","numeric-id":4256654,"id":"Q4256654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efd14688821ad5fb4d4875fbd1a9338c58cbb77f","datavalue":{"value":{"amount":"+0.9452627","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6097773$2080749F-F4E6-4D91-89B0-D10B7349EE0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82d7e0b3d9d3df2135f8a8b15167642230fbaeb5","datavalue":{"value":{"entity-type":"item","numeric-id":4357065,"id":"Q4357065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60f7a6e1e94fa9b96b1c57215d780251131317b2","datavalue":{"value":{"amount":"+0.9089407","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6097773$85EFB80E-C4F7-4808-ABF1-2C126E64A0AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b27aaaad23cc2de4f1cc69d725e0d8950c922285","datavalue":{"value":{"entity-type":"item","numeric-id":4222863,"id":"Q4222863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67110771b461b4b1351350018e9f8554bd6cee72","datavalue":{"value":{"amount":"+0.903356","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6097773$E2319154-EA7B-4D8E-B2F9-D04D7A39EED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad2f71985f7018dd603e8dea28361c13fc7c7488","datavalue":{"value":{"entity-type":"item","numeric-id":1608921,"id":"Q1608921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22d69ae4b0473732d3403d32bacb26f92abee28b","datavalue":{"value":{"amount":"+0.89550334","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6097773$095FAF23-A1CD-4600-A33C-5E1DC20FD9B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6223bf91c46c04c0011b1fe68d8bb668a4ff7a46","datavalue":{"value":{"entity-type":"item","numeric-id":4907867,"id":"Q4907867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e881e42e49a9226960ff0dba3fa07339d581c94","datavalue":{"value":{"amount":"+0.8919596","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6097773$6882E179-26E9-4A66-95E9-A616070ABEB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5994139c9380b8f49568f90b62efb4dc285c425d","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"540aa9dadd6b991bf72ab2d6aa77aac68c8ac931","datavalue":{"value":{"amount":"+0.89159346","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6097773$90F268A9-8805-46C0-BB3B-D450F91AAB38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60b2382953ab4f7c2255d42b7d43e5bde4378a2e","datavalue":{"value":{"entity-type":"item","numeric-id":1586168,"id":"Q1586168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4c8651aecf4f647856b72c67af1b5a6463975e1","datavalue":{"value":{"amount":"+0.8876888","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6097773$A3BF4A44-BCD5-4C62-8D7F-05E0CCFD875F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"312b61c3203f22349673c673d5a8f9c990661025","datavalue":{"value":{"entity-type":"item","numeric-id":3326829,"id":"Q3326829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cb0325820c175ae1f101291bf7d3cfd5df431f2","datavalue":{"value":{"amount":"+0.8791913","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6097773$994F58A5-2BA3-45B9-8B2A-696CCE2E2697","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6097773","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6097773"}}}}}