{"entities":{"Q3643267":{"pageid":5673173,"ns":120,"title":"Item:Q3643267","lastrevid":50812688,"modified":"2026-01-15T06:47:32Z","type":"item","id":"Q3643267","labels":{"en":{"language":"en","value":"A Hierarchical Completeness Proof for Propositional Interval Temporal Logic with Finite Time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5629255"}},"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":"Q3643267$5DD3070D-6940-4C76-BDA7-CACB57D5039D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a7e3e5779118f52d252e2c2b2a2441857424d225","datavalue":{"value":{"text":"A Hierarchical Completeness Proof for Propositional Interval Temporal Logic with Finite Time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3643267$6B1CC1B4-FA5A-42EA-9344-955537E483F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b6ccfd16d8ba4f8482cb4911a8182357b63de623","datavalue":{"value":"1181.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643267$B00F58F9-858A-4247-B48A-001E29BDAEBD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ca4c5d56b475c5d813f14eaa90a15ffb716f4c1","datavalue":{"value":{"entity-type":"item","numeric-id":2248086,"id":"Q2248086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643267$6AA433D2-A419-4AEA-A7CD-F54B33591337","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643267$F4B385FC-6CEC-4E02-ABFD-7D771A9CE143","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"429e5dc74b4b8740784417ec8a9f9bcbd45639f0","datavalue":{"value":{"time":"+2009-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3643267$BF5CC8C9-8A56-41BD-8ABC-7B3418CCC435","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643267$44E93A4F-D6B2-4094-9573-243C2F7292DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc11d53b9586be6f39c248459ee0e525f1653c5b","datavalue":{"value":"5629255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643267$BDC2917D-D0DC-4EC9-A42F-4303CF45FB09","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a7b19bbe93bbb6b0c4a06b7379f5542c9b34ea7","datavalue":{"value":"interval temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3643267$17D79E14-E1C5-46AA-BF64-E3022CAE1EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77b6f8c3681fcc9364913cfae79e8572fd3b4f9a","datavalue":{"value":"completeness proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q3643267$75CF4B6D-C10E-4072-AEB6-5666BBAF06DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"baa641012031f18018e7267d85b37c34a8ef102a","datavalue":{"value":"fusion product","type":"string"},"datatype":"string"},"type":"statement","id":"Q3643267$324F9985-CD94-4335-8041-EF3D491301EF","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":"Q3643267$9D550920-72F5-463C-942E-94BA07D07771","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c59732635735885414cb6bea4dbb9b64f3a3fd7b","datavalue":{"value":"https://doi.org/10.3166/jancl.14.55-104","type":"string"},"datatype":"url"},"type":"statement","id":"Q3643267$64A5DDCC-3EF7-4D20-85F7-6FDED66A211F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8877416385c39d5e1ea328044a96421e325df1b9","datavalue":{"value":"W1966994121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643267$2111E2C0-5605-42E0-B3B2-A50D2F1DE535","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"afcaf207d9b67d391a09e8b916eaed535ae68f98","datavalue":{"value":{"entity-type":"item","numeric-id":3708959,"id":"Q3708959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643267$15A8F1E2-B3FD-4EA0-A82C-589EBEA55283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd49db1567d5c7404554c9f73e67949de7b65f92","datavalue":{"value":{"entity-type":"item","numeric-id":4461930,"id":"Q4461930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643267$7C472132-82BD-43D3-AA55-BBAE81467E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17160b16fda20f5f0aa5a72e7333fc96ada12bdb","datavalue":{"value":{"entity-type":"item","numeric-id":3995303,"id":"Q3995303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643267$43874DA8-2D31-4AEE-A2C6-8C0B958555D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643267$6676176E-EE49-485E-A86E-0760E5FC5BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"568ac806bd8f162179780fc14c799e16ff2d435c","datavalue":{"value":{"entity-type":"item","numeric-id":1199535,"id":"Q1199535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643267$6D1841E5-B94B-4DE4-8A4B-3989DA3D182D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19a61cdaa469b53d71144c66713ed5cb34575b94","datavalue":{"value":{"entity-type":"item","numeric-id":1295431,"id":"Q1295431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643267$42ED0031-711E-47BC-B66A-4B310B6AA320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643267$0D8F3150-8E97-4217-98C7-8A244E0F8146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90b1aaa12cb22baa573e2301380d3949f4de3d95","datavalue":{"value":{"entity-type":"item","numeric-id":4779585,"id":"Q4779585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643267$1756AB63-339B-40E0-B48B-BD1F76040C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ecdcca463445112101708876695eded3f30222","datavalue":{"value":{"entity-type":"item","numeric-id":1327385,"id":"Q1327385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643267$C36244BE-EC7A-4D76-A310-2B48630F8D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80ce4b80471340cb55a693292be4e006b860c889","datavalue":{"value":{"entity-type":"item","numeric-id":3680239,"id":"Q3680239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643267$3FFCD203-C248-4423-85E2-7880511675CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27eccfbbbede2a21c5d645307bcefa275e190922","datavalue":{"value":{"entity-type":"item","numeric-id":1254991,"id":"Q1254991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643267$5F1CAEF0-2478-4660-A742-09E1573692D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db3a0600b989d95d3500a6e5bb1a817faecd195c","datavalue":{"value":{"entity-type":"item","numeric-id":3713595,"id":"Q3713595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643267$D0973E30-A0B8-41C4-B55B-C2C5A4A91959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b1e20aa27e3c87de1be2013b4394841d8c404dc","datavalue":{"value":{"entity-type":"item","numeric-id":5528648,"id":"Q5528648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643267$0FD4F92B-2E44-4AD1-8A11-1F46AE8DD216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0a874e23987afa0b2bf86d5ca9debc0e077e4ee","datavalue":{"value":{"entity-type":"item","numeric-id":1254240,"id":"Q1254240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643267$DB934637-5156-4F75-A5A0-374F568500CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d079b47cf1ba2d598f964b28ddec583cafa7821","datavalue":{"value":{"entity-type":"item","numeric-id":1088653,"id":"Q1088653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643267$19415D0A-50D8-47BF-9105-EFD3E8BD9B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"342e773b9e30385be9547647e572658e43d226c4","datavalue":{"value":{"entity-type":"item","numeric-id":4198738,"id":"Q4198738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643267$7057DA8A-AE53-48E7-BA57-BBA8649E236C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a358a7e0cfe385397b6ee7256bfda7621794063","datavalue":{"value":{"entity-type":"item","numeric-id":3948585,"id":"Q3948585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643267$F97D016B-120C-46E2-AA7A-5EF7382219B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6a31e0cf3ff6a73ad4ee5a92d1ed62572bdd89","datavalue":{"value":{"entity-type":"item","numeric-id":3317085,"id":"Q3317085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643267$BD4F7A5F-07C3-4D22-A017-785FB3F9CB79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99dbc44853de1ea6d2956eafb640499b501c52d","datavalue":{"value":{"entity-type":"item","numeric-id":1183485,"id":"Q1183485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643267$649AAA97-64F7-4207-BA95-5B7988481560","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e01b29311de5d5b60b896ced154aba493623e20e","datavalue":{"value":"10.3166/JANCL.14.55-104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643267$5C5D5566-A82E-42B4-98AA-8F7C8A54E8C0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ea8c15d4b477627cb8e775b5b9d5be542d07a1c","datavalue":{"value":{"entity-type":"item","numeric-id":5305654,"id":"Q5305654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13b2e74b4c9bd3ef295a222a049baa2acfa75c96","datavalue":{"value":{"amount":"+0.812629759311676","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":"Q3643267$E401F1CA-71A1-42CD-8FB2-1D04946492D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0efa17ce764cedf22884c09901cabe9430db29c5","datavalue":{"value":{"entity-type":"item","numeric-id":2754146,"id":"Q2754146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5432c5a680d1478f35ab2d6c46f852d28c4e29e3","datavalue":{"value":{"amount":"+0.8096641898155212","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":"Q3643267$5D66C922-1EFB-4511-9435-B27F6E0B5FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26a81aa1aa38f8c6216db2d5aa98b73833da671a","datavalue":{"value":{"entity-type":"item","numeric-id":2904627,"id":"Q2904627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8254964f988671a794b944a65d14afbefd75a5e4","datavalue":{"value":{"amount":"+0.7633984088897705","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":"Q3643267$DA546EDC-395C-4E94-B6C2-353534D6D755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"851ce93331690c8266c240a9c600868c8547ff92","datavalue":{"value":{"entity-type":"item","numeric-id":5432675,"id":"Q5432675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5aa57bd5cbdec43a53fd7b0724695d154181d3b9","datavalue":{"value":{"amount":"+0.758396327495575","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":"Q3643267$3D3300E4-4A04-43DA-9D90-9D926A05B034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4025f976582952f0c7a69dd31f0b9e88d9909521","datavalue":{"value":{"entity-type":"item","numeric-id":4461930,"id":"Q4461930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"354ef0a3394282f403ac309618440bb54a93f624","datavalue":{"value":{"amount":"+0.7439488172531128","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":"Q3643267$ECEAE0FD-E9DA-4DB1-BD89-129F894D7000","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3643267","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3643267"}}}}}