{"entities":{"Q4443400":{"pageid":6472999,"ns":120,"title":"Item:Q4443400","lastrevid":48218308,"modified":"2026-01-04T00:10:43Z","type":"item","id":"Q4443400","labels":{"en":{"language":"en","value":"Temporal Logics with Reference Pointers and Computation Tree Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2024821"}},"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":"Q4443400$50EDB2E9-49B0-470E-9FA0-3935BD6690F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab1a9314e8105559a6e0de3923f880f028c88275","datavalue":{"value":{"text":"Temporal Logics with Reference Pointers and Computation Tree Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4443400$CA2BCD39-51CB-45A0-8617-A977215E21E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ee990961ab25bf2352936aaead5dc2240cb5e0bc","datavalue":{"value":"1033.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443400$682632AC-39D1-40DD-A9AC-CBD29217C2BA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b43c79fb5527ef8f7a802e74332ac9c8f63ea313","datavalue":{"value":"10.1080/11663081.2000.10510998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443400$B4722B9B-94C5-4998-B483-FFCBA0318243","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443400$D051B842-F605-4E34-B8E0-8F9E41390B77","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e74d2b308d681dfe8acc260d1b5c3eac5e616e88","datavalue":{"value":{"time":"+2004-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4443400$FEB4DE4F-BB7A-4EAE-BB40-9DFD5DD26F91","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443400$F7ABE452-1DC4-4DDD-8EA7-A42C860BA129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443400$EB5A9210-77D9-46FA-86E6-EF0A1C44A7B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443400$DC9A708E-B78D-41C6-8CCA-2CBF0A1C6398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443400$32388132-9C60-47B1-9089-4C4C76CA1501","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82985e30e1f94abdf7c84805d5513d1fe273a0a6","datavalue":{"value":"2024821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443400$608B5291-CDAD-40E8-A744-95DE1E736A2A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4443400$FF83FE99-772D-4939-A589-BFDF60B01560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27fe14a8cfeb9ac56de2bccfef8cf6b2b7e8b2ce","datavalue":{"value":"branching time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4443400$55E0E7D7-3102-4E04-86CC-B9AEFFD06EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"103de830eb423c2e7b3c73f6870db2bf0c939e69","datavalue":{"value":"axiomatic system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4443400$DAF7A606-370F-4A1A-A0F7-026A013C06A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c7e4bbfa76b98d0bc8e2de629e754e827095f1d","datavalue":{"value":"reference pointers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4443400$7E3293E9-7F8A-4074-95C0-A5C300B272D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11efc722c55aaabb28a833f485d982d9d6e5e9f0","datavalue":{"value":"branching time computation tree logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4443400$C76A8B2D-A452-48C5-AB53-917329D76D83","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdeca7fa3ca61fb6bc221ab92d3afb1fb3a5ebcc","datavalue":{"value":{"entity-type":"item","numeric-id":703859,"id":"Q703859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443400$B6A2BAF0-3ED8-46B1-81CD-6258FC0F7184","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":"Q4443400$6DA0CCDC-4737-45A9-86FD-FCAB06F52E0F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c7bd410cc7dc6d8bd36d0d0396aa36e4f6405dd5","datavalue":{"value":"https://doi.org/10.1080/11663081.2000.10510998","type":"string"},"datatype":"url"},"type":"statement","id":"Q4443400$62788102-DC83-4066-BA60-FC522E46AFFA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9b5ac03b9d96cddaa57a9a5c53e8971c9149df7a","datavalue":{"value":"W1985336354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443400$7294B701-92D9-4390-8080-701C9F5E60C6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbb428d447c7624f13a5378e7356a039f4ad0307","datavalue":{"value":{"entity-type":"item","numeric-id":1903080,"id":"Q1903080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443400$500E12A2-EC6A-4DAB-854F-145BDEBDE485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7f09b53b7c446f5ba60a17b5b11a35f4dcc7ac0","datavalue":{"value":{"entity-type":"item","numeric-id":1188997,"id":"Q1188997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443400$C2BB0D0A-E1BA-4C45-88E0-DAEC158C6425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30da8c2de419db8eadc2bb3e1de8c4f80cf93487","datavalue":{"value":{"entity-type":"item","numeric-id":1909610,"id":"Q1909610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443400$74F7DC37-2FE8-4112-A4F6-B54CD65BF597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c90beb19f4ffcf44d7e4b4bb5b446d783518b65a","datavalue":{"value":{"entity-type":"item","numeric-id":4210769,"id":"Q4210769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443400$7FF15DC1-C55C-42A1-BB38-CECDEE1E5395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16a04d2f8c0acdd20834c288cbcb74f1ac8f272c","datavalue":{"value":{"entity-type":"item","numeric-id":4238499,"id":"Q4238499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443400$3F794221-9E7C-431F-AE7D-D91689EBA74F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a3fbe5dc19781d8cc61fa707bddca7c6943cc26","datavalue":{"value":{"entity-type":"item","numeric-id":4952029,"id":"Q4952029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443400$A0CC9C3F-23E7-4B6D-BDD8-B350B3015202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23e6a970ef833d1f16c56166519e7e5cabfc785e","datavalue":{"value":{"entity-type":"item","numeric-id":1325848,"id":"Q1325848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443400$910B488D-3707-4015-BFCE-3F66843B12F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f7e9b51624f25e880af792c7f9d74c82f45335","datavalue":{"value":{"entity-type":"item","numeric-id":3722471,"id":"Q3722471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443400$7893D7EB-1300-4D2C-BCEC-CA7C228F90F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff88c8deafe84aa3979279617493df51d40e2371","datavalue":{"value":{"entity-type":"item","numeric-id":1310624,"id":"Q1310624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443400$51D5331B-B212-401D-B059-6ACDE708694D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cfde9258ea2a6a7a2ef370ef24dca25d45d9fcc","datavalue":{"value":{"entity-type":"item","numeric-id":1158956,"id":"Q1158956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443400$67A56EBA-1763-4CE5-9C29-A2A21906C829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2118a6ce593f8b8efa4f795a66781008f0039f0b","datavalue":{"value":{"entity-type":"item","numeric-id":4518420,"id":"Q4518420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443400$A2A56DC2-A5A4-407E-9084-03A56219C9B1","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":"Q4443400$1A334F3E-1C72-4992-A265-E39AAAAD0C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"892cd8c8a85cb9d6724b48bbea3e1483e3c424ee","datavalue":{"value":{"entity-type":"item","numeric-id":3708772,"id":"Q3708772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443400$F2CFC0A6-BE44-4F0A-85E6-62C540891DE3","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":"Q4443400$55BD5580-F095-4C6D-8BD8-4B7DFA9C230B","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":"Q4443400$213D7C94-3AC1-4105-A75D-002677823F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e12ebc4beb0a2509586b59f5001ca0b126ecbbd","datavalue":{"value":{"entity-type":"item","numeric-id":4276034,"id":"Q4276034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443400$0FD1EBC4-1579-4F46-AEA9-E15DF88404CB","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":"Q4443400$192462C0-BDCE-4EF4-B979-D154B58D5052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23e4537b0757ba21c738936714d08bad554bee31","datavalue":{"value":{"entity-type":"item","numeric-id":4879898,"id":"Q4879898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443400$BE1E99DF-DA32-445E-BC7C-42BE812612D9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"360239ee967a99923353823b2c670201eea2bfa4","datavalue":{"value":{"entity-type":"item","numeric-id":4518420,"id":"Q4518420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"402224f538b3ae1866405d5651c29259d065e2ea","datavalue":{"value":{"amount":"+0.8591287732124329","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":"Q4443400$6A58AD21-7AF7-416A-95BD-7B906A65AB84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea6ce8b156bb5a316bc350d0f03d67b3cbce7fe7","datavalue":{"value":{"entity-type":"item","numeric-id":2908510,"id":"Q2908510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f87b393ec08b06eecbd68a03956dacd7873e3843","datavalue":{"value":{"amount":"+0.8541224598884583","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":"Q4443400$C891F270-1AA0-492F-9302-B8A249F152C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9ae077d1b31b667325ab5639ab1270c56272209","datavalue":{"value":{"entity-type":"item","numeric-id":1919987,"id":"Q1919987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ea61a1c4757fa96f458690ff6a2e40dea3eccf0","datavalue":{"value":{"amount":"+0.8197371959686279","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":"Q4443400$A62C0ABA-1198-42AC-8132-70E698AE2A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b01c80268aee810072055b12089515babfd57c7","datavalue":{"value":{"entity-type":"item","numeric-id":4733384,"id":"Q4733384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eea799bb61e81b77b64f6a8e0296694cf9e85a00","datavalue":{"value":{"amount":"+0.8134534955024719","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":"Q4443400$DBF7BA16-21DA-4FE9-9FB3-3F643FD29BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"691d7fe8f3d4d3417be9a6c845572a4811be73b9","datavalue":{"value":{"entity-type":"item","numeric-id":2265816,"id":"Q2265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a426a05d5b3297023fa9e132be5682558c6ae12b","datavalue":{"value":{"amount":"+0.8093945384025574","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":"Q4443400$3985CB7C-D909-4779-B06D-6260D72E6FC4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4443400","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4443400"}}}}}