{"entities":{"Q4545015":{"pageid":6574607,"ns":120,"title":"Item:Q4545015","lastrevid":47955301,"modified":"2026-01-03T04:30:52Z","type":"item","id":"Q4545015","labels":{"en":{"language":"en","value":"The Unrestricted Combination of Temporal Logic Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1777327"}},"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":"Q4545015$D15DED9F-EB74-4E3D-92E6-3255850A5431","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b567c8d815ae8e26b0159f4a097efeb882059f09","datavalue":{"value":{"text":"The Unrestricted Combination of Temporal Logic Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4545015$672C7BB0-FD8E-4872-8D6A-DA9E7FA0CBA3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b2aaf0847a41e48c8e303dd88d6468add2480a5","datavalue":{"value":"1003.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4545015$A7FC760B-AD15-4308-B503-90481065709B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"538aac5482944b23b9509c42900acf09751a5dcb","datavalue":{"value":{"entity-type":"item","numeric-id":385020,"id":"Q385020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4545015$CA5DFA59-523F-4E39-A393-4E0955EEAC9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f62a55195525f96610fc523ea29fa3cff14b404","datavalue":{"value":{"entity-type":"item","numeric-id":1611247,"id":"Q1611247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4545015$C4DE17A0-28D9-40CB-8C89-698163D59233","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ffa85d9912418bd5ff11b5aa4a0a27f951e2a1ef","datavalue":{"value":{"time":"+2002-08-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":"Q4545015$77E1F59F-6CAB-4336-AA17-33EB32ECC322","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4545015$420FF315-6287-4117-8497-255516BCD010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4545015$40534A30-BACD-48A7-8049-8571CD03B6D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"26335cc87b689e24819fd5711d1445c4f681cd40","datavalue":{"value":"1777327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4545015$60E16B84-49D1-440B-B900-BA7DEED7F5AA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e0a4d66094313843e438f2ed353201212cce151","datavalue":{"value":"combination of temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4545015$960EA7E3-BE31-4885-9DD4-12BEC18E3238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4545015$3C060D71-835C-4BE4-AFDC-98B4D0E3F996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4545015$768B7563-0947-4222-BD71-A11463AD55C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4545015$602A35AF-3D83-4976-B36A-BD4AE4836996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0671fd505f47e9111bebeeb24dd7b4c736edcf7","datavalue":{"value":"generic flows of time","type":"string"},"datatype":"string"},"type":"statement","id":"Q4545015$B629646C-9D0E-41CA-9596-A480C2E1218E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"403e44dd9822aa1ee2304934750df553902eb6e2","datavalue":{"value":"temporalisations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4545015$2BFC29CD-74D9-41AE-8CC6-02D94CE2EDAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f03f3e84760c90f7412f657674fcdcfaca409b93","datavalue":{"value":"fusion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4545015$B0929C88-352D-4330-803D-9BBBA30DE08C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8139f090aeea88313305c725654b58aa9302c683","datavalue":{"value":"multimodal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4545015$928E0517-DA63-446A-AB25-BFBB634727BD","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":"Q4545015$80E75735-9F0D-4615-A260-99010F0DA1E1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7000ba1d222f92f370d6ee718f52b2457b7b6f80","datavalue":{"value":"https://doi.org/10.1093/jigpal/10.2.165","type":"string"},"datatype":"url"},"type":"statement","id":"Q4545015$229752BC-05E7-4F21-BB9F-CCB0D7BB174D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0534bd4c5ffb2a324ce88442cd75b1ca34ff1c91","datavalue":{"value":"W2059053889","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4545015$DE8EC14D-106E-4316-A106-3AEDAFE89776","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a122dbfed6b81dad8f04bd8ffbea0ceecc5f831f","datavalue":{"value":"10.1093/JIGPAL/10.2.165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4545015$A8EC7B67-3487-4074-9C9F-0142C86142F5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4545015$0325D1A7-B635-4189-9A6E-53587F1B5EBE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beeff9edac3bf6d71a5fd0a7b8613924bbe193af","datavalue":{"value":{"entity-type":"item","numeric-id":1815427,"id":"Q1815427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1e7366055d3a878df27f60fd287b91084c63118","datavalue":{"value":{"amount":"+0.8729817271232605","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":"Q4545015$D0C75359-B9DF-446F-B67F-EFE7E6349E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a2afb7582d483860ec532527b3d5feaa05ebd71","datavalue":{"value":{"entity-type":"item","numeric-id":4941925,"id":"Q4941925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4d3fdb4a1fe71fb81cbcfaaae44109a589a5674","datavalue":{"value":{"amount":"+0.7846254706382751","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":"Q4545015$9C710F3D-5296-49D1-86B1-2DA193611DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2841e1c7970d58ffa9f7b45068178e21ca85400a","datavalue":{"value":{"entity-type":"item","numeric-id":3525001,"id":"Q3525001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4d3fdb4a1fe71fb81cbcfaaae44109a589a5674","datavalue":{"value":{"amount":"+0.7846254706382751","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":"Q4545015$0C6B150B-10AD-4922-BB71-61C40CABA2C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2498523d0de4815ff51869296d2b90f9ccae396","datavalue":{"value":{"entity-type":"item","numeric-id":1403342,"id":"Q1403342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d67a723fd0b3a1108621f5cef508e525e64c365","datavalue":{"value":{"amount":"+0.7763028144836426","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":"Q4545015$819F1F91-CA78-4E1F-A67B-F7D16512DF89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95a9ba5e94655a498d66739a2d094514842c1d6b","datavalue":{"value":{"entity-type":"item","numeric-id":2767162,"id":"Q2767162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d67a723fd0b3a1108621f5cef508e525e64c365","datavalue":{"value":{"amount":"+0.7763028144836426","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":"Q4545015$7CFE89D2-867D-43CE-A925-4C326E2D5F05","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4545015","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4545015"}}}}}