{"entities":{"Q1978028":{"pageid":1988770,"ns":120,"title":"Item:Q1978028","lastrevid":46897758,"modified":"2025-12-25T19:47:30Z","type":"item","id":"Q1978028","labels":{"en":{"language":"en","value":"Implicates and reduction techniques for temporal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1456925"}},"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":"Q1978028$F1AE9FC8-C086-4F37-8DC5-7584159DB650","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e3c344427fda8c269dfc0ffc5eb4a9195c4e3229","datavalue":{"value":{"text":"Implicates and reduction techniques for temporal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1978028$7A22FFBB-29D2-40A6-A7EF-771B0C3D0C33","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1354bb5a74d9c140bbb4bd7828f516894aa1e350","datavalue":{"value":"0941.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978028$951EA687-90D3-48A9-8C72-D68826DD8A9A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e35597b72165d0f73246860ff045f41ba03e785","datavalue":{"value":"10.1023/A:1018923315631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978028$874D980B-ED25-4A0C-B1D5-D8F34FB5B893","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"043b77db0c51d3789f284af5f275c7a673442b59","datavalue":{"value":{"entity-type":"item","numeric-id":587084,"id":"Q587084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978028$CAA019DE-B3A8-489E-BFA1-4DA30082EA32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fffb11e3413fa5cc969a61a424e2554954849dc7","datavalue":{"value":{"entity-type":"item","numeric-id":236752,"id":"Q236752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978028$8433220B-3361-463A-B1A6-3C4458E21CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d4bccdf7c2b388b6e3e888805bc1f0030b29c7b","datavalue":{"value":{"entity-type":"item","numeric-id":1403341,"id":"Q1403341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978028$4CB1CFC8-4B72-4798-8CAD-E15D06D095B6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978028$C1C79ED8-C017-4442-80D5-7E966751D88E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f824e8df8660a01a22c6ea772f84f035aa08b14a","datavalue":{"value":{"time":"+2000-06-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1978028$11AFC728-D8F9-40CA-AE42-4F4A53B4F99A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978028$7EC5326F-08B3-4C7E-B1E9-A106DD18702B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978028$1512AC2F-BF43-4F1C-A691-FD598390DDF0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a8d8d5470564ff688ece90f6f8e46528107af860","datavalue":{"value":"1456925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978028$AD53D5FF-36AC-44C7-B64D-C6B32ED2C985","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d80476b6b9e529be9f9df65f045c58bf0e4b2bf6","datavalue":{"value":"future fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1978028$2FEF9C66-EBB0-445C-898A-E87337618B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a78b648d77b9a51552964b940d3755d3dfabb55","datavalue":{"value":"reductions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1978028$2258CEA8-6FEE-455D-8E91-5CC4DE513775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffba323ff9908ebd6fef2e9d4a1c9d93da4d4b68","datavalue":{"value":"strategies to decrease the size of temporal propositional formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1978028$47ECFB9C-BC39-4BE3-8B66-A084FDFF4DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b57c832f4b21b0ae9151495d8a971f39ac6c1824","datavalue":{"value":"validity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1978028$43F7971C-620C-4B30-927A-8C9A5B0BFD3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"588fe7046e7c4fa6cfcf5f49bf7209a89dba37f4","datavalue":{"value":"unsatisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1978028$23526EB8-952D-4EE6-9A9F-9661DFAF608D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08f0a0d846f96d0ad21fc394acb3c1906b48ab4b","datavalue":{"value":"propositional temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1978028$F19B4451-DEB9-4124-985F-8657D143289B","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":"Q1978028$CC4FACC7-CF3C-4BE9-B89E-EDA565FDB552","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bf7a644b08d7c001a3fe3ea470daca0cd6400e2","datavalue":{"value":{"entity-type":"item","numeric-id":4246976,"id":"Q4246976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d29c028c48f2d7bfdef1f838a0fc9bbbb1225c31","datavalue":{"value":{"amount":"+0.997489869594574","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":"Q1978028$B9D81F6D-3E8B-4B0A-999A-2F1BF5CB8293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"797b0e52e2192cfd7617dabc9e2ae6b2f50cad2b","datavalue":{"value":{"entity-type":"item","numeric-id":4928457,"id":"Q4928457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c136855f905a0abbfcd21900c1bee8f30a7bae2c","datavalue":{"value":{"amount":"+0.8056570887565613","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":"Q1978028$BA238735-8F31-47EA-BAE1-9833A34DE89A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e080210901be2a3cd23d58d8de35aa960da018fa","datavalue":{"value":{"entity-type":"item","numeric-id":4381382,"id":"Q4381382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48941288682dd01c5bfb5d50f7554c337bd85c03","datavalue":{"value":{"amount":"+0.7771604657173157","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":"Q1978028$60B60CBF-A87D-49D2-A93F-398C10C9947E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72dc4348674a6ba149a50e9089dd2e41fbd6151d","datavalue":{"value":{"entity-type":"item","numeric-id":6487562,"id":"Q6487562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bef7744a6122424650e7f842b41b244ce5c6f83","datavalue":{"value":{"amount":"+0.7760903835296631","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":"Q1978028$6CE539CD-9FE6-4DFD-93EB-C81AD5D449EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1978028","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1978028"}}}}}