{"entities":{"Q1807462":{"pageid":1818204,"ns":120,"title":"Item:Q1807462","lastrevid":71319732,"modified":"2026-04-13T21:25:36Z","type":"item","id":"Q1807462","labels":{"en":{"language":"en","value":"Saturated calculus for Horn-like sequents of a complete class of a linear temporal first order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1364697"}},"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":"Q1807462$7359BBCC-D344-4025-8679-7E0B31FBE27E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"18f7e235b67f3493c0ce90ce387b8a269e66ee12","datavalue":{"value":{"text":"Saturated calculus for Horn-like sequents of a complete class of a linear temporal first order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1807462$3A3DCC63-69FB-475B-A955-EF6B4D0DD883","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ee29f2eb5bf1ecc42300589cd8c870d284c8dab8","datavalue":{"value":"0928.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1807462$D0320ADB-EA42-4044-B247-AB5BFF3BDD9C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"df4b03bc756f6e02d9557fcb421add2c486456f8","datavalue":{"value":"10.1007/BF02358998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1807462$1DA83952-333A-44CB-A9A1-965A9A70F9AB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"17c447c8e76a3a0e73a2c70a024d9ee2f8256c04","datavalue":{"value":{"entity-type":"item","numeric-id":195577,"id":"Q195577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1807462$C85E8540-C61B-46B2-8CD9-D104C563ED7B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"44ea73af336f54e7d95b283a1b6808a7f8e98994","datavalue":{"value":{"time":"+1999-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1807462$3B9BC4FC-86E9-4247-A203-3F283BB0AC40","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1807462$3ED36C01-A48D-4B8C-892F-63961092F924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1807462$9BBDF02F-F68D-49AD-9B53-0B196A3FD1FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1807462$571B5C47-4767-4619-BB5E-96D50BCB15B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1807462$CF56B6F3-0477-47BA-A765-9C3A084EBD3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1807462$45FACB7D-D533-4018-BCFB-69688A10187E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d87e3f3ee6c66ded9f9f3032caa5e5a7db4c71a8","datavalue":{"value":"1364697","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1807462$D3569345-788B-4CA2-BBDD-AE7F56AB38D1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7325da5409e26482c9f715df71b7d5f480ba83e","datavalue":{"value":"saturated calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1807462$92D281EC-1730-4DAF-9752-21949C68CD74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3628b7236d14304c4de79ca4616ba8b3f8031f5e","datavalue":{"value":"Horn-like sequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q1807462$5F4A67D3-FE37-4FB3-ABF3-234336B6E25A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1807462$66BA7794-8208-4976-AA08-9972BB681274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57f48fd328779d437a28c2f48d253d0ba8c1570d","datavalue":{"value":"inductive reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1807462$751331C6-27EE-4660-B5AD-4EBB04BE6801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1807462$67E23953-2AB9-46B4-A463-238BBC30728D","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":"Q1807462$A540C6C7-077F-4C9A-A06A-7388B1C3FE46","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":"Q1807462$4A1B9A8E-0B20-437E-8096-B0EEA862AD21","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4933c393e0df0da8bf72b1cf018c0c8fde2fe994","datavalue":{"value":{"entity-type":"item","numeric-id":3751561,"id":"Q3751561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1807462$AA5DA9A8-CBF3-4816-97C7-9D94D222237E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bb963f0dbfd28b3eb0930566966152abf270c19","datavalue":{"value":{"entity-type":"item","numeric-id":915718,"id":"Q915718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1807462$43F3BA33-AD18-4BC1-8E0E-F042068BECC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09dc0d5696d284e011b1160682f6fe6cbc5590fe","datavalue":{"value":{"entity-type":"item","numeric-id":4275689,"id":"Q4275689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1807462$45E76A5A-87A9-4A8F-B64D-3A01B8A7F357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71e0c6f1c44c0d31cf2a29eb9f5117ac9e36ddcd","datavalue":{"value":{"entity-type":"item","numeric-id":4260367,"id":"Q4260367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1807462$A524E227-C2DC-4B2A-B644-5AEE63535A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e318768b2e675028aa324fb9bff0b760bb3244e7","datavalue":{"value":{"entity-type":"item","numeric-id":4282615,"id":"Q4282615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1807462$994F3AFB-B7FA-428C-B44A-37C9044A886D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aaa7c2a801938246bc5b9c35ae533855c08aea3","datavalue":{"value":{"entity-type":"item","numeric-id":1090673,"id":"Q1090673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1807462$1BC79F72-A052-4163-9A22-B8C97A1967E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c56abf17fe38c9d6f19bb07c76c7c037b3d964b6","datavalue":{"value":{"entity-type":"item","numeric-id":1102941,"id":"Q1102941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1807462$08B31D1E-0750-4EB5-B34E-B2A0DEEA6D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"034d7339259808ce2c0fbe8cdb5235bcf1f5f4c6","datavalue":{"value":{"entity-type":"item","numeric-id":3710510,"id":"Q3710510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1807462$6F2C3C51-D86D-441C-9D9C-DEA552063E22","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7a0ff21d962db907c3ef6fadc03e58b42b526296","datavalue":{"value":"https://doi.org/10.1007/bf02358998","type":"string"},"datatype":"url"},"type":"statement","id":"Q1807462$8642F5F1-281B-4DE4-B838-552E3FCD84A9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9537ff8f544259fedfa7dc3742986dd0758e954c","datavalue":{"value":"W2026575140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1807462$6A1A46B8-87FF-461C-837B-EE53BD54F2AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c02ae77b41cf91ebd59f6eb7df9fcbe265f49e2","datavalue":{"value":{"entity-type":"item","numeric-id":1873230,"id":"Q1873230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec7649143ec369d68281ff83c50b95bec18899d7","datavalue":{"value":{"amount":"+0.8848733305931091","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":"Q1807462$161E2625-9E92-46DE-85B8-77725EC771ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4adcb1e52a149519533ba5f028bd31f12d151367","datavalue":{"value":{"entity-type":"item","numeric-id":4841298,"id":"Q4841298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca93807919f31a869d891726612aff18faa3826f","datavalue":{"value":{"amount":"+0.8826297521591187","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":"Q1807462$8A83BCB8-8953-4C95-9187-EA6A98589940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"691e232d64737453bcda8feccf686c56e7a87f1a","datavalue":{"value":{"entity-type":"item","numeric-id":4282615,"id":"Q4282615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9250b82d6e7dc058fb693db8ca1cebcf981c8df6","datavalue":{"value":{"amount":"+0.8815370798110962","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":"Q1807462$0E0C9246-C40F-40A4-A94D-68712D820DBD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Saturated calculus for Horn-like sequents of a complete class of a linear temporal first order logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Saturated_calculus_for_Horn-like_sequents_of_a_complete_class_of_a_linear_temporal_first_order_logic"}}}}}