{"entities":{"Q4383696":{"pageid":6413295,"ns":120,"title":"Item:Q4383696","lastrevid":89398859,"modified":"2026-06-04T17:16:16Z","type":"item","id":"Q4383696","labels":{"en":{"language":"en","value":"A relational model for temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1138544"}},"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":"Q4383696$D8825DA1-255A-4F41-9E36-BE2C4F81D154","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a626fe24849d90f118aeb46e78c2a7fdb1d729eb","datavalue":{"value":{"text":"A relational model for temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4383696$E69DB309-24D6-4977-A733-D8453BAF9DD4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da3f77acc396af26c2368b5cfec7fb1622c75c24","datavalue":{"value":"0906.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4383696$3C3ED024-42FF-4DAB-9A9A-C0781C439126","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e7d1db297d742b737b68d4043e1cb57374c8a0b","datavalue":{"value":{"entity-type":"item","numeric-id":287021,"id":"Q287021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4383696$9D1254B9-347A-4D82-AB65-BD201F881062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"299080fcb4d10db6bc9f243afdb0b2f6a4f09785","datavalue":{"value":{"entity-type":"item","numeric-id":246438,"id":"Q246438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4383696$387DB6F0-A06C-4E32-93F2-32769C7C9475","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"03698f5ec2670b440edc2f3fcc278ec7f9d935e2","datavalue":{"value":{"time":"+1999-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4383696$00AC9713-1F62-40F5-9CFC-530B60B98289","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d3e7aa0a8540dad88f882ff888ffcf064f49a7cd","datavalue":{"value":"https://semanticscholar.org/paper/4c2126c8d406e666cc4e05076b231381b2fbd030","type":"string"},"datatype":"url"},"type":"statement","id":"Q4383696$3C4CF6CB-1A3C-4D50-8E68-B84D7C6EE1C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4383696$0C280DF9-89C4-4BB5-8BF9-EF2BACBDE533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4383696$9BD00598-535B-40F9-8352-F8CB7066CE06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4383696$75865911-9CE7-47D6-BB13-F466383BDEC8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe5cfd4302be5dceba548c4b59d51e39e20230d2","datavalue":{"value":"1138544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4383696$7A2717B2-90A0-4B76-8871-B0A8CAC8AC00","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f37a034e647f80843b21640ec1d9b6824b15e6b5","datavalue":{"value":"relational algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4383696$925B43F0-9C39-42D6-965D-82AEFF592F7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e25171e8c28de1ba125377574b38bc39a443a6d1","datavalue":{"value":"reactive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4383696$E3E800E8-7FC1-4559-BBAF-91BC10FD0AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcafd58d17cdb3fc26979038358248219b6e89c5","datavalue":{"value":"temporal algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4383696$38409935-2624-4299-BE23-0FBF516D4AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4383696$930BE190-312C-41E3-8436-49BFFC92DCB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24d3029c61a351a46d12dbe101c9843bcdf24712","datavalue":{"value":"algebra of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4383696$BED1CEEF-3EFA-4AC1-BAA9-A8B4F629AA24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e052000c2be7f049cd4c63157ec2b3c00c3cea0","datavalue":{"value":"time diagram","type":"string"},"datatype":"string"},"type":"statement","id":"Q4383696$D5B0D7AC-9361-49C2-A280-4B9C025E4570","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":"Q4383696$AF77924C-7BBD-4A90-A38D-9023076F6C78","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e06bc5a4fe78d33237f0a6f7939743b383874188","datavalue":{"value":"W2124991013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4383696$9520768B-6465-4615-88FB-B8EFCC5A8ADF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7572f256e5f36e04ab6213e2936763c610054249","datavalue":{"value":"10.1093/JIGPAL/6.2.157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4383696$1D835A83-0693-427B-837D-AC410833F99D","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":"Q4383696$F640C3C2-D24C-40FB-B60E-C9988342099A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4500d149d6e08f4777983a3ea471b80e6a88a668","datavalue":{"value":{"entity-type":"item","numeric-id":5096734,"id":"Q5096734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"629269ceaf32f543c1c495e2d4a192ab3fb4100c","datavalue":{"value":{"amount":"+0.8118675947189331","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":"Q4383696$C686A6AF-5287-4778-B5C4-24EBAFDCBF53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7901a4bd6904a07c3612a858b471a1f2e27f97d3","datavalue":{"value":{"entity-type":"item","numeric-id":3330495,"id":"Q3330495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a2c9b453e2e3de3d152406a52b60741d6e5324d","datavalue":{"value":{"amount":"+0.7868747711181641","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":"Q4383696$62AE73A6-C55B-42E6-A7D4-99F5A0C3C655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e023f813272b5895fae615af14a6b7b4a864a389","datavalue":{"value":{"entity-type":"item","numeric-id":4236210,"id":"Q4236210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41f16ea64c0143623778cef116eb98db7f1e2d61","datavalue":{"value":{"amount":"+0.7852508425712585","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":"Q4383696$1C6C1F2C-6E46-44A1-9B49-00BDD9E4FC7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11a4e73d5bf2016231a1407199a205321357b998","datavalue":{"value":{"entity-type":"item","numeric-id":4738117,"id":"Q4738117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dffe3e2a83ab9e4eac420d12bd1c59e636002906","datavalue":{"value":{"amount":"+0.7679369449615479","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":"Q4383696$883C0419-244F-44C8-AAA0-265B9DE56D89","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A relational model for temporal logic","badges":[]}}}}}