{"entities":{"Q672329":{"pageid":674178,"ns":120,"title":"Item:Q672329","lastrevid":63461520,"modified":"2026-04-11T13:19:47Z","type":"item","id":"Q672329","labels":{"en":{"language":"en","value":"A hierarchy of temporal logics with past"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 984929"}},"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":"Q672329$355AAC68-7D48-4C03-9EFF-D99435201A2B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"524f462c98e6bfbe51b6a33341f1e47c0ba80621","datavalue":{"value":{"text":"A hierarchy of temporal logics with past","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q672329$6D57E7F2-A0AC-4F6B-80CE-07F7763C3601","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3b49a19fc508b9c93fb621d652f197b994f813de","datavalue":{"value":"0873.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672329$557C2902-577C-41E5-8638-A58BEE559867","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8db778f28af0f0077082facfec40be4e8c540152","datavalue":{"value":"10.1016/0304-3975(95)00035-U","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672329$F7C3260F-286A-4AF3-9283-AB8BAA3C2527","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9cb0d8f3c231ba7829e5443adc4025f8c9925d8a","datavalue":{"value":{"entity-type":"item","numeric-id":672328,"id":"Q672328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672329$C00C90B6-4472-488F-864E-90CE801D28DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c628048560a95e93b98909122a7164e3572ba0ca","datavalue":{"value":{"entity-type":"item","numeric-id":548703,"id":"Q548703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672329$5A63CC72-3EC1-4405-BFA8-CBDBA20C5019","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672329$0E9EDA83-804C-4F03-8D40-536D33926FB8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q672329$9A66B5B3-F8FB-4C40-AC26-F66183F0E82D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672329$21D077C3-2E75-4566-BAAF-13301BE49495","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"11b68e4f320cae27b9c311f01243ffbed48744d6","datavalue":{"value":"984929","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672329$5B486884-40DD-47B7-B1F9-11AB4D7F4125","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q672329$17864822-D107-4428-815D-C6C6F7906A38","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":"Q672329$F72618E0-7736-4371-A605-1F9134199569","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ef4165cdc01f313b12040c9657a14ef341fa2d9","datavalue":{"value":{"entity-type":"item","numeric-id":789895,"id":"Q789895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672329$18FFF04E-62E5-4DD0-A69E-4F9446A293EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21ba3964561c6339cb3ba43543aed014dc7a60d0","datavalue":{"value":{"entity-type":"item","numeric-id":1123183,"id":"Q1123183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672329$14CE0FB8-DFB5-414C-B6E9-7B3880357BB5","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":"Q672329$2FE6B48F-439C-46B2-8F28-9394FF19C810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9f3d578caf23f49ed1712bf2b3639f2274e34f9","datavalue":{"value":{"entity-type":"item","numeric-id":4275691,"id":"Q4275691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672329$88B4AEA7-732B-4329-B426-424C2B3FF30F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42933d7d062dbf1ed1777664d7e2dcd6c0f9efbc","datavalue":{"value":{"entity-type":"item","numeric-id":5204340,"id":"Q5204340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672329$8794C546-966F-426F-A9C0-12B5E2286732","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":"Q672329$48B23B40-1EA2-46FD-9BA9-6FE12DD0C141","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":"Q672329$F40291A8-9889-40D2-B3BA-B693A3C347AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672329$E4104C67-9F5E-433B-98B8-088AD69908A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a059efc4a1f49c1ef5ee155acd97eb4522ead2f3","datavalue":{"value":{"entity-type":"item","numeric-id":3906386,"id":"Q3906386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672329$F097AD60-7379-4773-9A11-63A6B58A51C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cd835cd92b4ffb8a8dc9181c7068cd47877b025","datavalue":{"value":{"entity-type":"item","numeric-id":2265816,"id":"Q2265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672329$868025E0-D155-42B5-B820-E39398F7C2AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672329$4F63FC7C-93EF-499E-BF02-3355C99BF25F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4d63fad87ee9ef86f723aa7605967cbf5545e39","datavalue":{"value":{"entity-type":"item","numeric-id":3768883,"id":"Q3768883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672329$C4CE3D71-3361-49DA-B350-4DED6F50C22D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb4a3ab572ff148e73f75fb1173b85e62c7fb62f","datavalue":{"value":{"entity-type":"item","numeric-id":674003,"id":"Q674003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672329$01889A25-DAAC-45F1-863E-D8B816E2D072","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":"Q672329$9FA656B5-9971-40C9-9701-DFA2C2078F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f054886a6e90b7a5fdd4eccb1b577adf5746aec3","datavalue":{"value":{"entity-type":"item","numeric-id":4733399,"id":"Q4733399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672329$5E32B810-731D-41A7-86B4-0F877EA8D245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77c6414a3bd622fe6aff133e610ec3a7190a03f5","datavalue":{"value":{"entity-type":"item","numeric-id":4318636,"id":"Q4318636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672329$BED65374-A33D-4E00-86A3-A99588FBE70E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"016c26073336456ad938f5b7e58a2ad66e4632b0","datavalue":{"value":{"entity-type":"item","numeric-id":5556395,"id":"Q5556395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672329$2FAD92E9-77BF-4D7F-BB0B-01ABC77A4AB0","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":"Q672329$FF3071CF-9F73-479C-ACBC-1EAA3FB00F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19bc50e2f4d2cceaac2ab96d0b4ab028848b7d4b","datavalue":{"value":{"entity-type":"item","numeric-id":4023900,"id":"Q4023900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672329$4792BCD5-D060-4542-838D-31F2E843FD16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dc5db43eaf35bb5b801516b08f876b5e7d02563","datavalue":{"value":{"entity-type":"item","numeric-id":4276172,"id":"Q4276172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672329$BFDA97DA-60BB-45FE-9374-5B16FDDE982F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"542849245bcacf4165c652e6064cad4fbc5a9ece","datavalue":{"value":"Q126298498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672329$66AF8D78-E289-460B-AECF-CC8F08E93776","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5aeb3840601e33ae910182371406da4c8af92143","datavalue":{"value":"https://doi.org/10.1016/0304-3975(95)00035-u","type":"string"},"datatype":"url"},"type":"statement","id":"Q672329$08DDF2E3-A157-413F-B81F-E7E2E9ED5DD0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c176b668c8fc8303ce0c18025769b1dc34d80e61","datavalue":{"value":"W1998387957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672329$B8E13F5C-2F39-4CAF-8E11-7C33D0946B69","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8586a2956432aa69a78f94256dfc674d5201cc0f","datavalue":{"value":{"entity-type":"item","numeric-id":439961,"id":"Q439961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcd480f40a55fd2658958ee328522bfbabd81a50","datavalue":{"value":{"amount":"+0.8574895262718201","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":"Q672329$6438D807-3653-4200-9AC1-CA347DEE5DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1cea447b8d1c038bc75fc3e341ad825254526d4","datavalue":{"value":{"entity-type":"item","numeric-id":1854487,"id":"Q1854487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22670e2616a89db8dc4f0445e70fe44f306fc673","datavalue":{"value":{"amount":"+0.8255093097686768","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":"Q672329$49E195C6-A31C-482C-947E-4BBB929E6C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c64a1139eee7755a9e9714fd4b507d86b66a735a","datavalue":{"value":{"entity-type":"item","numeric-id":4222919,"id":"Q4222919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7c91604b10586efeb34a38bbf86c5b34060fc48","datavalue":{"value":{"amount":"+0.8241404294967651","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":"Q672329$20AD1CB6-F78A-4036-B724-B90BAED4A04C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"067d3f4f38516197238192fa90aa866ef79d8be5","datavalue":{"value":{"entity-type":"item","numeric-id":3711745,"id":"Q3711745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a108c51ce66b5b822cfb62ac0973ff5aeb4b7639","datavalue":{"value":{"amount":"+0.8147218227386475","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":"Q672329$C494FA5D-E0CD-4EB9-8D7A-6A3ABBD91618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38142d46f7ae6456b748a70d2a313f17a61b93a6","datavalue":{"value":{"entity-type":"item","numeric-id":1854327,"id":"Q1854327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d9ed1bbce81e655c67f26448214fe41f7a37783","datavalue":{"value":{"amount":"+0.8086667060852051","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":"Q672329$0E5F4DF7-81E4-47A6-8DD8-F846D12141BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A hierarchy of temporal logics with past","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_hierarchy_of_temporal_logics_with_past"}}}}}