{"entities":{"Q5191106":{"pageid":7220678,"ns":120,"title":"Item:Q5191106","lastrevid":100667198,"modified":"2026-06-05T22:43:34Z","type":"item","id":"Q5191106","labels":{"en":{"language":"en","value":"A Refined Resolution Calculus for CTL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5587943"}},"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":"Q5191106$685FDEA4-D704-41D9-B64C-038C810FBB05","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"39416cd0464477001362dfc93d06e4da08fc4a67","datavalue":{"value":{"text":"A Refined Resolution Calculus for CTL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5191106$D5831D53-9E12-47E7-91B9-7AB575792AC7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b1085837448546ffa15118d5bae6ac18febdb90c","datavalue":{"value":"1250.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191106$0CEE5193-319B-4542-8EB6-54E7667F6974","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"94212e1f72dfcc0b2872654ebbb1cffc0dd5fdef","datavalue":{"value":"10.1007/978-3-642-02959-2_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191106$975EAAA1-66C2-4E45-BB50-56A6A052F732","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"86eaa5dde981e4173207292c8c7312c59a933956","datavalue":{"value":{"entity-type":"item","numeric-id":235703,"id":"Q235703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191106$E4513650-8DF9-499E-BE1D-D54EEE4FB1AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"531bacf41fa7f19b08f4a713dec30b9d0307505b","datavalue":{"value":{"entity-type":"item","numeric-id":924722,"id":"Q924722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191106$003E3AAD-C245-4271-B11F-BC82F0228FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7c764ac21e0f0934969acd440140a93a6d4c985","datavalue":{"value":{"entity-type":"item","numeric-id":1383356,"id":"Q1383356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191106$367F1475-E8DE-4FF2-AB6E-22491E2AC589","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cc7799424afce15eb24475c2c343f54bb5498c25","datavalue":{"value":{"entity-type":"item","numeric-id":5191093,"id":"Q5191093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191106$E63AD0A0-74D3-4A75-989C-D91D09048164","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05720f4fd46426bc3a53a0e61b7abc572638b1a6","datavalue":{"value":{"time":"+2009-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5191106$B4FBB4B2-7606-4333-9735-70AD3ED639FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191106$ADA0DD05-DEEF-4C0C-BC31-0DDF4F54A184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191106$8463082C-AEA1-4E05-8F00-F84A0E9809F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191106$F6A332BD-1C1E-44B5-B320-DB1CBAA9B8D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191106$CC200617-16F0-435E-AFA6-E3F3665394B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c87d4a66b7eeffb242ef3410c20ff07fbc58f6fa","datavalue":{"value":"5587943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191106$90B62595-B452-4F61-9ABC-1503E4D98590","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"351376af9337c9358d4b7714d8543cf671d9a4b6","datavalue":{"value":{"entity-type":"item","numeric-id":26576,"id":"Q26576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191106$8E6A8BB4-9365-419E-850F-83FCBFD0E7C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6f90a2f4d38316e0bb5a27c4b90cf6cce495aa0","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191106$3265088D-F55D-40EE-B4B5-D429AC4E2C98","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":"Q5191106$9AD60F48-653D-4F75-852A-8857F97B645B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b1922d89dea5ec0438c13b47f4cbf0013d8d458a","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02959-2_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q5191106$8ED40169-8A6F-4510-A636-43F5A6FC76B9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a88cf2820319c02362c29363873455cd14c0d7c8","datavalue":{"value":"W1765447656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191106$FAC6B5C3-7687-486F-9CCC-FEE06D286C8B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ac72f9a252ec6d982aab9a0e64927e092a3380a","datavalue":{"value":{"entity-type":"item","numeric-id":5187870,"id":"Q5187870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191106$9945C063-415F-4619-9207-36F8623F677A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"194d0bf0a6cc5352e93ae868670d4f1ac2906a84","datavalue":{"value":{"entity-type":"item","numeric-id":3498455,"id":"Q3498455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191106$33C61BE2-5FB4-47AA-B3B3-92E92FCD7705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d969bd9e9070eb4e4b53be99bf5557f5f64d3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191106$9EC2AB4A-62AE-4101-AE9B-EA9B1B4AE3A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b1137cf78c4cad0e217f70ec321f2a593915490","datavalue":{"value":{"entity-type":"item","numeric-id":2751353,"id":"Q2751353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191106$B30C7073-248E-4CF6-B4B4-97098EFD1356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e1bac099fbe4678082a91d992b4ab581e8ee2e8","datavalue":{"value":{"entity-type":"item","numeric-id":4421285,"id":"Q4421285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191106$B7173B4C-EC59-477C-93A1-CA7A2DF6CECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191106$57A69C77-751C-4D9B-BECA-54DDA06D62BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fee4366155d183781470c4665ac1b93ea07de3ba","datavalue":{"value":{"entity-type":"item","numeric-id":1383357,"id":"Q1383357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191106$DE9FB3FF-F2F5-4FDF-A527-659D03701478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191106$B6CF6F48-DFC8-487F-A03F-7785736D1CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cd835cd92b4ffb8a8dc9181c7068cd47877b025","datavalue":{"value":{"entity-type":"item","numeric-id":2265816,"id":"Q2265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191106$A002132B-3FCA-4DF3-9DAD-626472D7D0CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2791adf62fcd6917e0cfb6ca40d21416a8677a76","datavalue":{"value":{"entity-type":"item","numeric-id":5738910,"id":"Q5738910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191106$0F0709F5-546A-4906-8885-3ACE1C35E0C2","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":"Q5191106$0B63ED13-E5A1-4B38-87F3-7F204084B57B","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":"Q5191106$7B02FB41-DCBB-4233-84C5-4FE57EA86AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fe471308125d65582632b7b24e6589f89c33d6","datavalue":{"value":{"entity-type":"item","numeric-id":1090675,"id":"Q1090675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191106$1521A557-B047-4160-8B44-76E1EE19D1B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"842d1c2c50e4f6152c1646f7649b15d27250c7c8","datavalue":{"value":{"entity-type":"item","numeric-id":3608799,"id":"Q3608799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191106$08F663EF-E62C-4FCA-BB4F-C1FC8EFCA94F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a08887d822e7b4c25205595464bf9ea48151dd2","datavalue":{"value":{"entity-type":"item","numeric-id":5191106,"id":"Q5191106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191106$9B4E8FA4-8C13-4F0A-B838-42CA08D4E3E1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"882bd0b21ac86fdf2c2005646ba1381d248ae480","datavalue":{"value":{"entity-type":"item","numeric-id":3568224,"id":"Q3568224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d1dfe94433eb78dd66e17092aef28eac584febe","datavalue":{"value":{"amount":"+0.9038023352622986","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":"Q5191106$76B96D5E-3D6D-4A69-9C3C-F4F1B0B07F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"516d48398076e912b71a16180c018b3f2f44c9ca","datavalue":{"value":{"entity-type":"item","numeric-id":5410337,"id":"Q5410337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"091f62e64bb6f5f04c56d3394ac3927b59237fb5","datavalue":{"value":{"amount":"+0.8426315188407898","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":"Q5191106$45DBE955-1119-4836-BF50-E4DB8BB0351B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0397c16d05660865fcc8040789ba222e8321fe95","datavalue":{"value":{"entity-type":"item","numeric-id":4421285,"id":"Q4421285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83571ba294b84e65322c890652168e6476d6e2d5","datavalue":{"value":{"amount":"+0.8044412732124329","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":"Q5191106$778FFEEC-010C-4006-B4AC-800A7450EBDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95ea9aa45486b72268cfa1c99d9e71cf1836aabe","datavalue":{"value":{"entity-type":"item","numeric-id":2495388,"id":"Q2495388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81f475af4a6e9ccd7cf90bcb424d40a9439f6754","datavalue":{"value":{"amount":"+0.7997269034385681","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":"Q5191106$5353A276-8FE1-40D2-8F31-AE63FDEAA4C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9707a24c26c04d12cfac1a1ac9b513e2d38c7dea","datavalue":{"value":{"entity-type":"item","numeric-id":862827,"id":"Q862827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8041f6d1689d1532978a298cf7e7aab28231ef7","datavalue":{"value":{"amount":"+0.7875678539276123","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":"Q5191106$019CD2FF-D5E5-4B63-A4CB-B383FA44452E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Refined Resolution Calculus for CTL","badges":[]}}}}}