{"entities":{"Q2799590":{"pageid":2810328,"ns":120,"title":"Item:Q2799590","lastrevid":83439584,"modified":"2026-05-07T07:58:05Z","type":"item","id":"Q2799590","labels":{"en":{"language":"en","value":"Method of marks for propositional linear temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6568385"}},"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":"Q2799590$09E3F898-DA50-4D0D-A948-341508C569CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"814c7b7265b7b71e222ddf3508e94e19153b8694","datavalue":{"value":{"text":"Method of marks for propositional linear temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2799590$CFF9913D-E8B3-413B-A7EB-8472E5B4569C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d2a130e45f454d2c0c2b3594346d514f0ba66db8","datavalue":{"value":"1335.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799590$C5E352AD-D414-4985-9180-3627EDF30BE9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"817908de83618fc172e3a7226d62cc9c9cb5024f","datavalue":{"value":"10.15388/LMR.A.2014.09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799590$39930561-7DE2-4CCA-B97E-8573988ED7C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d3a7b3978f3c180b0eca4ce0874ed3437c0432c","datavalue":{"value":{"time":"+2016-04-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2799590$C867A6D3-356E-4E96-9BB3-627E87702E95","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799590$4EC4D933-6C0F-4FA5-8284-D1D7D691A67E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54cdba86edd9de48dff3094dc3e7668e8190173e","datavalue":{"value":"6568385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799590$504AC11C-005D-4B3E-9757-6C11D1DE6977","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2799590$8D1156EF-E145-4E68-8CEB-C1B44548327E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2fa7a1302b4ec6e5e61d60e2cb750f8078296c4","datavalue":{"value":"loop-check","type":"string"},"datatype":"string"},"type":"statement","id":"Q2799590$4678910C-EFCB-422A-A868-403276118840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2799590$C55F07E8-0A4A-4CD0-8F0E-4B3D15621EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2799590$27E672CC-D978-4153-B2AB-3B39B71F925B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0c44237052da2328dfac78f08d8f1f1bdb48e75","datavalue":{"value":"marks","type":"string"},"datatype":"string"},"type":"statement","id":"Q2799590$65A4F447-687C-4915-9225-8F43166A1A4F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e7860b5f5f8e3f51d43313692926606ec1d28de","datavalue":{"value":{"entity-type":"item","numeric-id":1344879,"id":"Q1344879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799590$FAD4A116-3BE7-45A3-A30C-B7B3EF028B71","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":"Q2799590$F27B95F9-D5C4-47AD-B472-41C9998BF392","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d274d8d40257f1a7ececcd3a4c06f77fae988f31","datavalue":{"value":"https://doi.org/10.15388/lmr.a.2014.09","type":"string"},"datatype":"url"},"type":"statement","id":"Q2799590$C3DBDD6D-7ED2-490F-84FF-E964194ADCEF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cef6a29fd48b50c4c099a0b39cb4fbb7c3f7330d","datavalue":{"value":"W2991499281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799590$CB4223D9-A95B-4397-B848-F71287ECB63B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"375abe04c93b355f6f8198f7c374307969e79480","datavalue":{"value":{"entity-type":"item","numeric-id":6582508,"id":"Q6582508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799590$8099AEE5-6139-4894-9AA0-D47032515706","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4015da87dfac8abdd8c4cbd3c6ffc4e2945f61d0","datavalue":{"value":{"entity-type":"item","numeric-id":2791889,"id":"Q2791889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"feee6c801cad378fb60d353fb5df39ea5f53b34a","datavalue":{"value":{"amount":"+0.8787277340888977","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":"Q2799590$A9537E7A-BC1B-4DF6-BA10-DA9702E11A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7c3955651279e2a401b87adea661ba11608b3ab","datavalue":{"value":{"entity-type":"item","numeric-id":2811591,"id":"Q2811591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49bd223afb0a2a9fd98cf1104f5f2aeb50d4464d","datavalue":{"value":{"amount":"+0.7939081192016602","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":"Q2799590$100CC41C-AF9C-4E82-AEC2-11181543D33F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8674a4fc00a703afc442c8e1c15c8b2d1c36549e","datavalue":{"value":{"entity-type":"item","numeric-id":3741614,"id":"Q3741614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d59688b9c1f81958307b8c75a72f505b6554546b","datavalue":{"value":{"amount":"+0.7885103821754456","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":"Q2799590$AF1FCC02-CDEA-4FA6-AF14-286D4FF77606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88f03c4a54d1a3a4877e330561fa036a593e9092","datavalue":{"value":{"entity-type":"item","numeric-id":2809679,"id":"Q2809679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5c8ec878a6c3bead5fbfa9d77200e6ec9471f4a","datavalue":{"value":{"amount":"+0.7808747291564941","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":"Q2799590$99F49A01-E71F-4C72-9378-8CD162063DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8df920537618ea5508498f084fac31df78fddb54","datavalue":{"value":{"entity-type":"item","numeric-id":2809680,"id":"Q2809680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4a6fb82155a1b543245d94f11684ccef21e6049","datavalue":{"value":{"amount":"+0.7793318033218384","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":"Q2799590$C1693F03-70DC-4A3E-8FD9-A44408727217","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Method of marks for propositional linear temporal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Method_of_marks_for_propositional_linear_temporal_logic"}}}}}