{"entities":{"Q3434497":{"pageid":3445200,"ns":120,"title":"Item:Q3434497","lastrevid":50084563,"modified":"2026-01-12T22:00:46Z","type":"item","id":"Q3434497","labels":{"en":{"language":"en","value":"Intransitive linear temporal logic based on integer numbers, decidability, admissible logical consecutions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5148413"}},"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":"Q3434497$437F921D-C769-4896-A7BD-90C50D3D6284","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea6d0d6546b52223c61f53e3f712c3a186961db9","datavalue":{"value":"1124.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434497$07560F8B-51B3-4823-BDC0-C414FF9E30D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"76e690768584aa88840deb200205c30c45e627e4","datavalue":{"value":{"time":"+2007-05-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3434497$F3569AA4-187B-4DC8-8B64-99797E08F4B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434497$AAD02159-7712-43A9-84A6-3869508BDB22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434497$861AFFBF-2497-47F9-8202-BE8EAF73526F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da60578fee27418c1676925d159e2a0b96b74c3e","datavalue":{"value":"5148413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434497$C14626F1-7222-4791-9070-05C96FDCC458","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3434497$22DCFA50-FA77-47FF-B72B-026A1F8B4ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3434497$76F6534C-0381-4621-9740-1B006E60FCC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e22bb7984603b39d066247461741507e1db9830","datavalue":{"value":"logical consequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3434497$C13C2030-9983-401E-9C5A-075D81E8F40D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6135ceafed3292f6b66e098192375f7d5b754046","datavalue":{"value":"inference rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3434497$E3F73FA0-894D-4D83-8076-090E95FBC497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2763194ced955d6cd36b33fa49826d497b7528c","datavalue":{"value":"consecutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3434497$F59134C9-C476-4FCD-8C43-1876AAF0AE51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"203383f5640e2b7ae9ac255db7b9410f9f3dc7ba","datavalue":{"value":"admissible rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3434497$25EDFCDA-ACB9-4BBE-BD8C-A91B7A637438","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96cc32b5114aed13d4cd109fe7265b4e5c590084","datavalue":{"value":{"entity-type":"item","numeric-id":1669761,"id":"Q1669761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434497$603C3732-02BC-4153-83EB-8A5BC666EC39","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":"Q3434497$6EF8D032-04E4-4BD9-86E6-72DEE2BA2975","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"848b47eed6b7d43f5eb1ce13c9ebe8ee7714ea8a","datavalue":{"value":{"entity-type":"item","numeric-id":5486245,"id":"Q5486245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e88d31b488518b9c9dae7540964d3975019fe760","datavalue":{"value":{"amount":"+0.8755205869674683","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":"Q3434497$1F021EC4-A87B-4D74-AB95-F5C0C4A8D62D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d07dcdce7e697bc0c3f8701a8d0892ce715bcaa","datavalue":{"value":{"entity-type":"item","numeric-id":3374097,"id":"Q3374097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eefb9dd89bb38c8972ec3398775863b1085eea8c","datavalue":{"value":{"amount":"+0.8736903667449951","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":"Q3434497$D73BA52E-916D-43DE-974C-69B2E8A7D483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"252881f33b56880f852e9f32215cadec4c3aab4d","datavalue":{"value":{"entity-type":"item","numeric-id":5214739,"id":"Q5214739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5ee5e8efc65ed981e0586cfac2c2504cc832ef8","datavalue":{"value":{"amount":"+0.8400256037712097","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":"Q3434497$754E9116-0F28-4F63-BC29-58956CDD2B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6568dda7eb6cd72f0d20c8ddf174a77ba230712","datavalue":{"value":{"entity-type":"item","numeric-id":5445173,"id":"Q5445173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7364ec6e62bdae261907808ca0dd3ed5855efcd5","datavalue":{"value":{"amount":"+0.8040466904640198","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":"Q3434497$FF9B8A99-583F-49A9-ADD0-611B4DDB1987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"804799d2e33f7e178db1734bb5e00231c7a821c4","datavalue":{"value":{"entity-type":"item","numeric-id":3006112,"id":"Q3006112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15f6d936ce5bb4424763ece1d8acd2273a730c82","datavalue":{"value":{"amount":"+0.8038801550865173","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":"Q3434497$B9E83FF1-11DC-4AAD-AB53-4BBD40E61557","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3434497","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3434497"}}}}}