{"entities":{"Q2988557":{"pageid":2999281,"ns":120,"title":"Item:Q2988557","lastrevid":52811288,"modified":"2026-01-23T13:35:01Z","type":"item","id":"Q2988557","labels":{"en":{"language":"en","value":"Temporal normal form for linear temporal logic formulae"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6721232"}},"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":"Q2988557$CBF3403D-7DE8-420F-96AB-E06BE467732E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2adc2e308be7cb6bd55d97d6c218c756461aae8b","datavalue":{"value":{"text":"Temporal normal form for Linear Temporal Logic formulae1","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2988557$0F3BF52F-EACD-4E16-83F5-A14884799998","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"996a7fb0192a36b61ddaa66700d2554f7126acc4","datavalue":{"value":"1361.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988557$3DE25DA9-4F64-4A9D-B4D6-2658502C7EF6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a0088e7fe5b81b2f215d0618f81f37ef75a07a6","datavalue":{"value":"10.3233/IFS-151874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988557$2E8C328C-0650-4257-AA99-88CD16C3BD14","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd7d1617f47ce879c34843fd8df2922d03b50ed3","datavalue":{"value":{"entity-type":"item","numeric-id":189972,"id":"Q189972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988557$504B8349-24CA-44F6-A03D-A82F152057EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c09916c85d1295953228563cc36573b73d2c724","datavalue":{"value":{"entity-type":"item","numeric-id":1595240,"id":"Q1595240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988557$DA313CC8-823F-4AE9-A0D6-202E041C1B72","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3f1d2c2a984173b8e2c0e3776499fc0359f5bdc3","datavalue":{"value":{"entity-type":"item","numeric-id":2812531,"id":"Q2812531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988557$76B8434A-2EA6-49EC-92C4-B86172FC3456","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a59ae3429cdc3df09abb41b2b009b08d954a3dea","datavalue":{"value":{"time":"+2017-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2988557$F6621F81-ECF1-4E9C-85A6-FEF231AD6BB0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988557$42156E38-D24B-4048-B40B-AE8BDB0AB5EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988557$0C45CE14-823D-4484-A25E-D9BBE6735620","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"62b71a587ff5abeb1351dabd35d36e83f206481c","datavalue":{"value":"6721232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988557$658FE813-4C4C-41DA-A9B7-BBAF73AC3367","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988557$4184BC83-82A8-48EF-9BED-18F1C34DA339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9408546ecb33d5fe54dbb1dbe82b7a513b60f62","datavalue":{"value":"transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988557$8A95F2F5-0A66-4CB7-95D4-DBB18C20370E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84fb09b44051946f95e9ec97e2ba6ae41ba0d962","datavalue":{"value":"character","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988557$A8DDB72B-97F6-4F48-8DD1-3D0350A44C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15acb1238c1375afdd202b651421eed6b9a00837","datavalue":{"value":"temporal normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988557$7C610051-CB84-4149-A22B-0784CB885CDB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"27ef525086104f68cd96a6193bc52807f5be76b5","datavalue":{"value":"Q62038103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988557$D9158938-7E94-407A-8A6F-5347BB2C098A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f078e243cc5b2a268355ae913e6ed1ca3bb0dc8","datavalue":{"value":{"entity-type":"item","numeric-id":20519,"id":"Q20519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988557$36F6DB24-D8AB-433B-8C8F-1B2FD6725221","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":"Q2988557$E140BBF0-A91F-4A95-A5E5-B9FCEB7FC5A8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"328babb092c0bfd59c2c62c4326328f938a94601","datavalue":{"value":{"entity-type":"item","numeric-id":2983169,"id":"Q2983169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988557$81300633-0BAF-458D-A30A-F27C15325003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8000bf33d2a7b07859c02c191450efa31a03ee7","datavalue":{"value":{"entity-type":"item","numeric-id":394340,"id":"Q394340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988557$91EB0859-97DD-4BC4-8C78-10758ADBC3C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"037383fac68f6ac8e6d512e8c86377e6a54db261","datavalue":{"value":{"entity-type":"item","numeric-id":4017600,"id":"Q4017600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988557$2028A17B-E030-49A9-9402-DE055DAAA7BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"672be30d9c0fd1bb08a1fc6131d1506ec245277a","datavalue":{"value":{"entity-type":"item","numeric-id":4830107,"id":"Q4830107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988557$536D2701-A4C4-4AA1-90D4-52FC18D26EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28f6b5f0014fa6c32db8fc1f0f3856b1f6db13a2","datavalue":{"value":{"entity-type":"item","numeric-id":2355694,"id":"Q2355694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988557$E8E06B42-814C-48D0-B14B-7C04BCA2005C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"007b3bdccae716a59e9fcd68043221be3f0adcfc","datavalue":{"value":{"entity-type":"item","numeric-id":3587259,"id":"Q3587259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988557$B4B16F50-AC1D-411B-8BFE-91B8AB421587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988557$239FFBC2-19A1-4149-BE7A-0DE0E1E27A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d53d19922c3a7c2ab66b49e3b99548004028739","datavalue":{"value":{"entity-type":"item","numeric-id":3940830,"id":"Q3940830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988557$78ED0061-DEF9-478B-A3E4-B7614DBEDF86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29fbcd6003f8b0dcd40dd06769aef7264d304741","datavalue":{"value":{"entity-type":"item","numeric-id":543066,"id":"Q543066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988557$3C920749-FDC6-4129-AB2D-7AC91FB539F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"122eb09b787cd3a3b579b644c4dd742fbbf69c7c","datavalue":{"value":{"entity-type":"item","numeric-id":3419670,"id":"Q3419670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988557$B8FEE9EA-4B63-4AA6-8186-5D713A85FDFB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36bab38de0d1c983ab76c78a4976e1cee572591b","datavalue":{"value":{"entity-type":"item","numeric-id":2924071,"id":"Q2924071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0ca353dbc2df80f3d257df5584957b92892fe24","datavalue":{"value":{"amount":"+0.8428794145584106","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":"Q2988557$273FFB35-D5D2-41B1-907F-698ED0AD84C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6dce66b79bb13435bc9235b0b2d3173b653bbf0","datavalue":{"value":{"entity-type":"item","numeric-id":5711540,"id":"Q5711540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b621e88ba3b4a97fe53bf41212e83a44fd8914de","datavalue":{"value":{"amount":"+0.8036031723022461","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":"Q2988557$3C2328B6-C258-43CA-9BDD-A31C9D6F7E93","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":"8e7b231c9c55eeb102108b14d61f6d91ebb3fb22","datavalue":{"value":{"amount":"+0.7692906260490417","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":"Q2988557$800E56A5-C51F-4754-88F8-7195A7FD6493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65b1dbbc66aa68ee1476d765265be7a93c44a3ac","datavalue":{"value":{"entity-type":"item","numeric-id":3028984,"id":"Q3028984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4f102eebd0670fa6366f29b4e7390825cd3b5d6","datavalue":{"value":{"amount":"+0.7664877772331238","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":"Q2988557$006125AE-BF7E-4A20-9003-7A77940439F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4dea6507093e351dff3b987f75082a265619c32","datavalue":{"value":{"entity-type":"item","numeric-id":4376081,"id":"Q4376081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24d7be8e000e64984d316b83063c6931ee355d3c","datavalue":{"value":{"amount":"+0.7656877636909485","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":"Q2988557$6961B13F-97EC-4F1B-ABEB-D48E860C34E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2988557","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2988557"}}}}}