{"entities":{"Q6541154":{"pageid":14152297,"ns":120,"title":"Item:Q6541154","lastrevid":57344697,"modified":"2026-03-30T14:10:02Z","type":"item","id":"Q6541154","labels":{"en":{"language":"en","value":"Ill-founded proof systems for intuitionistic linear-time temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7850747"}},"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":"Q6541154$688A82E2-DC92-483C-AE0A-9A18E29B6C2A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a41df80462503ae5c3336939d71c7020ca78749b","datavalue":{"value":{"text":"Ill-founded proof systems for intuitionistic linear-time temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6541154$78A328AF-1ADB-4C9D-8A5B-42B42916A2BF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09c69b78ffbc2df09b6bfc8bc44188ea6df4defc","datavalue":{"value":"10.1007/978-3-031-43513-3_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6541154$279B5194-98EA-4D10-A3F8-E9B77B186580","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73f5b97643c937daca3f616369c991f46ae54674","datavalue":{"value":{"entity-type":"item","numeric-id":1032625,"id":"Q1032625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541154$2B8AA698-E3A3-47A3-9633-7A9D9A747B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1510a6aaf1a2cb46ac627dfc798a7c5e86b1d5a","datavalue":{"value":{"entity-type":"item","numeric-id":6541153,"id":"Q6541153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541154$CC756720-A4FB-4336-94B5-C1ABDE52D809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a600e00a0067a948cd8d1c1dc848b116163ff5b1","datavalue":{"value":{"entity-type":"item","numeric-id":1987217,"id":"Q1987217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541154$48BB530D-67F9-49FE-BD92-AE74DC4E20BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3695b78bd75206b88a4f4793ba8d2e026f418ae2","datavalue":{"value":{"entity-type":"item","numeric-id":5884971,"id":"Q5884971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541154$9AE83F57-3B19-4A14-B908-027A641222B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5058b142e80716c010ccd8a59c73f958f0c0be23","datavalue":{"value":{"time":"+2024-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6541154$F015A13E-5053-445A-AC1D-66436746215C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6541154$5A3D9FEE-F7A0-4C21-9053-FCCC2D5DE23C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3415e4bff6535ddc498e45c875fd12cdfba8336d","datavalue":{"value":"7850747","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6541154$F2BC50F3-E1C2-42AD-8B6B-084E091FC545","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6541154$90FE1F16-921E-455A-8379-FE1D7486EAEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6541154$6A90664A-CF2F-406A-BB13-E8F466217E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6541154$15C4E2E4-2091-4BB2-96C2-5436918DEAA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84b586fa12b05517d0b2580c8cc61748bfc35968","datavalue":{"value":"ill-founded proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6541154$278B4D8E-CE2A-41BB-8A38-6AE34E1721C9","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":"Q6541154$2E05BDC6-289F-4D3F-B210-0AF6444BE083","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e3679af89b305ad0dd20cdb1bd96397f679c4bb","datavalue":{"value":{"entity-type":"item","numeric-id":6610603,"id":"Q6610603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541154$0B5CE34F-2DE9-4F47-B30F-E01DA6F0568F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d8e7ec345413e104735faa57122d0400eae37de","datavalue":{"value":{"entity-type":"item","numeric-id":4785506,"id":"Q4785506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541154$56D40885-074B-40B3-889C-8ABFB43FAD01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23e4b26e99e931fb75d97f40e815d5dbda6c44f7","datavalue":{"value":{"entity-type":"item","numeric-id":5216145,"id":"Q5216145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541154$A4FA0FA7-8DC0-4A23-B4DD-72446BBE64E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"760415f100384be2e340b643b8fb0877c5c1b809","datavalue":{"value":{"entity-type":"item","numeric-id":5111181,"id":"Q5111181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541154$B794A942-931C-4D9A-B656-C736C031E990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"641d18e14f3860398e2b953ca37132a829ada354","datavalue":{"value":{"entity-type":"item","numeric-id":5100046,"id":"Q5100046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541154$638E63B3-DF27-4300-A1C0-97173EF4C476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88bc51d46e8a60a24209c53b0892f0b622e2d694","datavalue":{"value":{"entity-type":"item","numeric-id":5163983,"id":"Q5163983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541154$44EEF4A4-C3BC-47F1-AC59-953C694B8427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05618bc94dd537d3034b233a45ab1cb0906c9164","datavalue":{"value":{"entity-type":"item","numeric-id":3196622,"id":"Q3196622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541154$3FA25709-531F-4F7D-871A-6BF95FB9B0D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fbb75377fe28d9c4d5cb2672ca813a70b1a4094","datavalue":{"value":{"entity-type":"item","numeric-id":5385992,"id":"Q5385992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541154$F4C9C084-C2DF-42E9-8DFC-DA89F2B4E049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac6b5f44a59f2e13d118a71f6b7e08bb365b8997","datavalue":{"value":{"entity-type":"item","numeric-id":5039159,"id":"Q5039159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541154$FF6554DC-C639-4072-A1A9-9FFF2F283103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cb4c44053722d7d89141d98a75a5ec1bd92c3cf","datavalue":{"value":{"entity-type":"item","numeric-id":5144621,"id":"Q5144621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541154$CBDE3676-6447-4A67-8A4A-A597195AD0BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d09acce0e51bf0cc6883860e2bc1297602e92dc8","datavalue":{"value":{"entity-type":"item","numeric-id":4580328,"id":"Q4580328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541154$C994F0E3-0F70-4EFB-80EA-535236FFA953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce6c0c3cfe49a3d2843a935328bdbf41639c6491","datavalue":{"value":{"entity-type":"item","numeric-id":975875,"id":"Q975875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541154$D8B36C3A-2EA6-46BF-B83B-9027A44FD287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1e9c02e77f53b3bb7afe18a682426208a807600","datavalue":{"value":{"entity-type":"item","numeric-id":764262,"id":"Q764262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541154$42D5101A-2E5D-4309-B7CA-1027664A1D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a70813035aa185769f33e98f1023764183e39c20","datavalue":{"value":{"entity-type":"item","numeric-id":5221853,"id":"Q5221853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541154$54843238-52F2-4E02-90E1-C2EB20587A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7582e86ac15a837da5a504aeed727db9664c0549","datavalue":{"value":{"entity-type":"item","numeric-id":5311264,"id":"Q5311264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541154$99DE85CC-0B47-42B1-84D8-613E94019932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da8e8cc36d2b41104889e91dde28a77d4c70be46","datavalue":{"value":{"entity-type":"item","numeric-id":1229718,"id":"Q1229718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541154$0A72AF9B-7556-4AFC-A0C9-D9E0656B63CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755ba4a7f8b70eaa04400af225724e167e2ca658","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541154$1EC68D12-6158-4036-974F-BF7620B18F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e6365fede23c4492f6d5ad9821046aea104cd3d","datavalue":{"value":{"entity-type":"item","numeric-id":671352,"id":"Q671352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541154$EC4A35AC-11C4-41B2-8759-DDF3DD0C4087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a185365ea304676a668d997c851ad5b7001286f","datavalue":{"value":{"entity-type":"item","numeric-id":2942909,"id":"Q2942909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541154$656E9D03-53DE-47CF-938F-5E06EA8F50FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8cbc0d56299469933abcca6c215192716fc63e1","datavalue":{"value":{"entity-type":"item","numeric-id":5902143,"id":"Q5902143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541154$A017EBEF-821B-44D2-B9A8-3CA56F539B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26651eb44736bccdd9116d5c165190dd746d76fd","datavalue":{"value":{"entity-type":"item","numeric-id":750417,"id":"Q750417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541154$B58E838A-3179-404D-AED4-C9D450A648DC","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541154$27EFA007-5FAE-4758-9B3A-D9B16A9D7464","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6541154","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6541154"}}}}}