{"entities":{"Q3103980":{"pageid":3114696,"ns":120,"title":"Item:Q3103980","lastrevid":51386645,"modified":"2026-01-18T01:00:40Z","type":"item","id":"Q3103980","labels":{"en":{"language":"en","value":"Labelled natural deduction for a bundled branching temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5989564"}},"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":"Q3103980$015E804E-C6E0-4B76-9AAA-806DC1056E96","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a1513eccc5805ee9d16ec0eec8251ae16a419d6","datavalue":{"value":{"text":"Labelled natural deduction for a bundled branching temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3103980$3B5006DF-090E-43AD-8204-5379C68EF9B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a07c74c014456800874487ea05e4f9a68eadec8","datavalue":{"value":"1252.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3103980$6FA6F2DD-D135-4F32-893C-0948D135C46C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70b45d72ed2ba2486377818ff4f18636ea6d5a4a","datavalue":{"value":{"entity-type":"item","numeric-id":549723,"id":"Q549723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3103980$0EAB028C-6784-4542-9898-9B972861A1B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"92e01041fe23d41c5fa2e9b7e399e4c0ecad96c4","datavalue":{"value":{"entity-type":"item","numeric-id":744989,"id":"Q744989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3103980$E4509A0B-1447-471C-8485-72C2EDB76D30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1b68d0e89e7b621c100d1bdf2782ef774a2f362","datavalue":{"value":{"entity-type":"item","numeric-id":1044835,"id":"Q1044835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3103980$156CDBA6-4050-4C8E-9053-AA029DA2E48F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e7c33876f49da64580f033b95b71f550b669c2d","datavalue":{"value":{"time":"+2011-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3103980$A7E987EB-F282-4E56-B36E-621C483E6E89","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3103980$05CC5772-B552-4FDA-B90C-0DD33D86FD51","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ae417e73cd5a8ae51bc8d2c7872393dfd6d4453","datavalue":{"value":"5989564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3103980$099F01A0-36D5-4052-9AEC-515ADE02CF82","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3103980$1F640F9F-1C6D-40CE-AACA-75714E6B8950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3103980$D51BF25F-3686-415E-BB4F-90B1F9FCED90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3103980$3BE5B69A-8AA3-43FD-8171-C80340214CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"580520fce237640a876b8d180acd2f68d76de1b5","datavalue":{"value":"labelled deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3103980$883A40AD-B273-4BC7-8136-93890C88A8B8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3103980$BE121509-B7F1-4B4C-9509-566CD5009DD0","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":"Q3103980$7D7DD9C7-4C7D-43CF-A2AE-FA0881612294","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"590d7630cf9e94bab46f21184c7fb308eb8eb78f","datavalue":{"value":"https://doi.org/10.1093/logcom/exq028","type":"string"},"datatype":"url"},"type":"statement","id":"Q3103980$D1412BF9-DC79-4AE4-B95B-6D73C0A64AA1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e44cf5a1d41fbcedfccc376fa13f5f22db45b00c","datavalue":{"value":"W2056755329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3103980$152BE9B0-5B9A-4ACA-8D9A-BA589FB4F988","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cbb9fdd6358d01659c38f2de391ba7613bda75f0","datavalue":{"value":"10.1093/LOGCOM/EXQ028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3103980$1680BF2A-32AF-4CB9-8980-414358E710E1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3103980$EFE9AEA6-8645-463E-BF44-E13CA836D09A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85005d393f6d65e6d174fc445baface674fef2d8","datavalue":{"value":{"entity-type":"item","numeric-id":4583318,"id":"Q4583318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"108568f6956db8a14b21c32ac193ffe3b8e43194","datavalue":{"value":{"amount":"+0.93032044172287","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":"Q3103980$F8F3C51F-7767-46EA-94D3-C22888F58043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ab7016c216d001e3f91e4f1ce35cf4421f12985","datavalue":{"value":{"entity-type":"item","numeric-id":3605539,"id":"Q3605539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a0641cacaf0995a796ac00d9a61d3a9609a7fe5","datavalue":{"value":{"amount":"+0.8899692893028259","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":"Q3103980$1EC8207F-B2D4-4853-9641-B1CAC382FCC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"356d41dd45ed69f938b450469a48358a139f8aa5","datavalue":{"value":{"entity-type":"item","numeric-id":1419387,"id":"Q1419387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bff9f13619794fd1890f41253bc735e3b51b90a","datavalue":{"value":{"amount":"+0.8021931052207947","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":"Q3103980$0B5776DC-56A0-40AC-8F58-F906CE90FCF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fafb6cdc98991da679f33f1bad5f9360e5788640","datavalue":{"value":{"entity-type":"item","numeric-id":4783315,"id":"Q4783315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"feb071c3178881ae3df6df0072cedd92d4ae6569","datavalue":{"value":{"amount":"+0.8007930517196655","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":"Q3103980$12C659C9-DB8E-43DF-9746-55110B0E9A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b01c80268aee810072055b12089515babfd57c7","datavalue":{"value":{"entity-type":"item","numeric-id":4733384,"id":"Q4733384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4e97c3353672085bb0c3b8173503222c1bc6c62","datavalue":{"value":{"amount":"+0.7813975811004639","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":"Q3103980$7B03FB10-F0EF-40AA-B56A-BF7CF41EC990","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3103980","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3103980"}}}}}