{"entities":{"Q4713419":{"pageid":6742996,"ns":120,"title":"Item:Q4713419","lastrevid":46242250,"modified":"2025-12-24T09:30:16Z","type":"item","id":"Q4713419","labels":{"en":{"language":"en","value":"An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 10185"}},"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":"Q4713419$36A8F296-D02D-4A08-A99B-48CAE449A29D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e42a2f214e5cc89e066813af5f246498c77bd1a","datavalue":{"value":{"text":"An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4713419$4B4A0B70-AD1B-47E8-9765-7015570D26AD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"80310edce843cd9721aa858f92fc57e513b9b480","datavalue":{"value":"0744.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4713419$C53F5502-A125-4894-BB63-5E9F23BC41A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4713419$4B7D5E61-FB03-47CF-8A36-A965D4B80E3B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4713419$218B0E2D-485B-4FBA-AA37-4F223B01BA28","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"898f13ae6140fe9adafb24a371a67b0856f92b1c","datavalue":{"value":"10185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4713419$3678F435-BA11-43E5-857D-3F00C0463C31","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e73ee940bed0bfc8a8c6250f18990859991ef54d","datavalue":{"value":"Hilbert style axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4713419$DDF68098-BFE0-4DE1-BD9B-95402F9EE588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4713419$B22E3FB6-C023-4CF4-83CD-159BDA0E9624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f26e484f5c2e28d742bd75f7b4b04683c89e3bcd","datavalue":{"value":"flow of time","type":"string"},"datatype":"string"},"type":"statement","id":"Q4713419$8417523E-8D77-47A6-8090-3C8733A9207E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4713419$1337C15A-9177-41AD-B6A8-1010127D1C98","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"948b6f0f3f509c2346164de6f1b86ce0f916ab70","datavalue":{"value":{"entity-type":"item","numeric-id":232653,"id":"Q232653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4713419$6026BF98-7F2B-450E-AEDA-7E18167C8D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dba48006b5c8e496f7eee02dd0edb814c74265c9","datavalue":{"value":{"entity-type":"item","numeric-id":912841,"id":"Q912841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4713419$ACDA6194-6140-408D-BE3E-B8E43912FA28","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":"Q4713419$7566D906-31B4-4927-A9A1-F3E7975641A9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bb72ba89525404c4b69c54ec44ebe8a99e7537c6","datavalue":{"value":"https://doi.org/10.1093/logcom/1.2.229","type":"string"},"datatype":"url"},"type":"statement","id":"Q4713419$D128A2DA-5C7F-43D6-96A4-3812B5C6FD2B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"22d8e57c717ca37d8ea70e0a06ea6a2177e5da17","datavalue":{"value":"W2074899782","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4713419$45973D12-0575-474E-9174-46B89F05738D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"32e756519f882924931450dc3263552d996c43cb","datavalue":{"value":"10.1093/LOGCOM/1.2.229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4713419$DCD31167-857E-49DD-97C1-2217B1E161B9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4713419$69CC8B8E-85A4-45EB-A27C-36A505836E0D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5138e9ce84ee2461890c47af357ce40ded06f3db","datavalue":{"value":{"entity-type":"item","numeric-id":1207338,"id":"Q1207338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d45eebde7542fc3a1d180569fafe515199586eff","datavalue":{"value":{"amount":"+0.863219678401947","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":"Q4713419$73CF122F-ED6C-4A12-9C60-8C0EFCDE03A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2a268163365589a0d288d821dc138c43e323937","datavalue":{"value":{"entity-type":"item","numeric-id":2563451,"id":"Q2563451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8420e4a1746b15f732bffa71eb85122bce2452c1","datavalue":{"value":{"amount":"+0.863125741481781","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":"Q4713419$BB6F7FFA-D03B-4C53-9CB8-28D8661169E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4d09bca7af06e703dc97d5af2e33f232ca98dca","datavalue":{"value":{"entity-type":"item","numeric-id":4833779,"id":"Q4833779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efe298740d5a6d570d777750d3690646cc107c34","datavalue":{"value":{"amount":"+0.8515319228172302","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":"Q4713419$BA06B36C-0ECC-4D2A-8766-1F9E562EAE9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d57f6916c640cfb43b4feb52ab3c50e60f0e06ed","datavalue":{"value":{"entity-type":"item","numeric-id":4518419,"id":"Q4518419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c536742b640a44dbb8764892d0c1b62c3de6b615","datavalue":{"value":{"amount":"+0.840573787689209","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":"Q4713419$817A0C5A-3451-4F4B-BD14-E59476964148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ad0f882862590f020491442412e735aa91585d4","datavalue":{"value":{"entity-type":"item","numeric-id":5498868,"id":"Q5498868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5275d384a8c43f2ddd2536f03d46aac600e51f4","datavalue":{"value":{"amount":"+0.8185009360313416","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":"Q4713419$703520AC-52F9-4BD2-A10D-A94A840544A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4713419","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4713419"}}}}}