{"entities":{"Q2920447":{"pageid":2931167,"ns":120,"title":"Item:Q2920447","lastrevid":85144712,"modified":"2026-06-03T06:03:00Z","type":"item","id":"Q2920447","labels":{"en":{"language":"en","value":"Normal form expressions of propositional projection temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6348546"}},"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":"Q2920447$A7587D27-7AB0-42A9-9D76-DC52E55513D2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be0aa2cf4d77443be72c16fd7592678ac2e1a44b","datavalue":{"value":{"text":"Normal Form Expressions of Propositional Projection Temporal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2920447$B4B76D9F-9AF6-4598-98A5-D8CD05599320","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f615d6e3b4e7655c070e2c3b56a31752fb61aa14","datavalue":{"value":"1423.68278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920447$6687F901-9708-4285-82E7-5900EFA45FF2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5bccae82f675224af2b6639dbd0f1620ad455b60","datavalue":{"value":"10.1007/978-3-319-08783-2_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920447$920B2FF7-AD83-49F6-B4B7-14E8B9AA60A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30d9aa89bda10e60a2b2b6e5c4297a8a726a7ab3","datavalue":{"value":{"entity-type":"item","numeric-id":247891,"id":"Q247891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2920447$2EB54122-6D92-46AD-84AC-4D684DEE2A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b63c8a7d27ac589b244a048d2f920a9e8c6bd330","datavalue":{"value":{"entity-type":"item","numeric-id":247892,"id":"Q247892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2920447$A332DA97-9A4E-472F-8F32-C1730D88B0C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"83e0c9ae8671e5f29856e35bbe5db8cbb2ecbb5c","datavalue":{"value":{"entity-type":"item","numeric-id":247888,"id":"Q247888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2920447$31F62D14-CA86-4583-BDBD-182CFD1D37D3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2920447$0E5FD692-44B1-49A1-BF9E-650B139E96F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a6fb9003a97bbc70eb568e233ee4457edf484fd","datavalue":{"value":{"time":"+2014-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2920447$DAB1C6F7-39AF-4C76-996A-3B04F579E847","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920447$ACBE70A6-B695-455F-B839-5EA0DA4AF7E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920447$25574DC5-004F-468C-82E8-C636992AB44C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a60f4c32305fb5aef626e9a9194649f3586ba2ce","datavalue":{"value":"6348546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920447$33586D20-5549-4C54-A90C-497B2DA636EE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7f6c80b0dfc69f07b6732579007eac69eb2f8c4","datavalue":{"value":"propositional projection temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2920447$EFEC03D9-ABA6-485B-BA78-A1C70619C50D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ee899e5595926489f8bf95db74a03263489b4c3","datavalue":{"value":"normal form expression","type":"string"},"datatype":"string"},"type":"statement","id":"Q2920447$68B0573F-0844-4502-8FE7-EA31D17FE136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f5f9fa7c99fed84610c34025a6959701496fde6","datavalue":{"value":"normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q2920447$EBF24077-8E27-4BB2-BDE9-D61916690F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2920447$02AAC431-6FF5-4167-930D-4EDFABCCA695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2920447$29BEE005-7FEC-4C67-87FC-BE2190D52246","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":"Q2920447$502942F8-5751-42A4-A35E-9CECBBC66B71","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ddefe11aa3667d7641ef5f38973c344dc895d408","datavalue":{"value":"https://doi.org/10.1007/978-3-319-08783-2_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2920447$6A456FC7-C3AF-4374-BFE6-AB5AD93F8531","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b2ee486902493b330eede40aa326a3de4fc818d6","datavalue":{"value":"W1945386918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920447$24E9FB2A-2364-47B7-93C2-04C0E63A605C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba8132335b8f6e04a45db8d4f78ad993e02dfa3f","datavalue":{"value":{"entity-type":"item","numeric-id":2430015,"id":"Q2430015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f835d6911978824e12974eb52eeefe9547c333a","datavalue":{"value":{"amount":"+0.8059120178222656","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":"Q2920447$DEA4758C-37C3-4570-8A40-594CB938B24D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5550b4caa4cfabe00c787c79aeb07ebb7d59a5b6","datavalue":{"value":{"entity-type":"item","numeric-id":3616217,"id":"Q3616217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60bcc3355056100ac0dfdf6003cf85758bb078ec","datavalue":{"value":{"amount":"+0.7989054918289185","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":"Q2920447$780E1016-9C95-4BFB-9A57-93120724E957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f33dc888f746fb0a884e69821d480241833e401f","datavalue":{"value":{"entity-type":"item","numeric-id":2842634,"id":"Q2842634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"171d48d87e27b30872c0ce5bba50f0fdf0e20af5","datavalue":{"value":{"amount":"+0.7985641360282898","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":"Q2920447$FFD6C53E-6745-4177-9C45-FE6CA8885BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc26236cbfa2370002fe0b6d07768774eaa4eb0c","datavalue":{"value":{"entity-type":"item","numeric-id":2480780,"id":"Q2480780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e53a6303807e90733379828033b4e01763529160","datavalue":{"value":{"amount":"+0.7935391664505005","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":"Q2920447$73E5836D-6397-475E-851E-647B52DC030B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4a16a1e9a265e91c9f5944c7a8a8bb475e05c36","datavalue":{"value":{"entity-type":"item","numeric-id":4351796,"id":"Q4351796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6adb72a5c2b9c35fc5a045a4a41b89b3d066553","datavalue":{"value":{"amount":"+0.793225109577179","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":"Q2920447$7EB6E3A0-1A65-4ACB-9B8E-602CEB62ECE4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Normal form expressions of propositional projection temporal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Normal_form_expressions_of_propositional_projection_temporal_logic"}}}}}