{"entities":{"Q4583318":{"pageid":6612903,"ns":120,"title":"Item:Q4583318","lastrevid":53186270,"modified":"2026-01-24T10:15:00Z","type":"item","id":"Q4583318","labels":{"en":{"language":"en","value":"A natural deduction system for bundled branching time logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6928167"}},"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":"Q4583318$CA24792A-E500-4524-9B38-1910A5B98DA0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"287383f51779a2ff3fc7b6c5dd355eaf20459a3f","datavalue":{"value":{"text":"A natural deduction system for bundled branching time logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4583318$FBEDF6EC-6862-4F19-8609-DE09C8249084","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0704f078b5d07e52ff1215377379df168b6f2ccd","datavalue":{"value":"1398.03079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583318$E19DA809-CCA5-4A42-BFDF-4E0B2532E01A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab7fcc5442e0b51943089eb1303d2f02bee0f4c9","datavalue":{"value":"10.1080/11663081.2013.830401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583318$44526904-A960-458F-B36A-B3179D7ABFAF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41727d55f4d48c1029c1bbe7a3cee1640d697b9d","datavalue":{"value":{"entity-type":"item","numeric-id":200743,"id":"Q200743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583318$34E5966C-0D19-44E4-823B-D9D56BEA5A71","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":"Q4583318$DC6CA121-1F4E-463A-A000-50FCE745E18D","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":"Q4583318$50D29F03-DA69-4203-9540-522E9AF51424","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d1a7e956705fd1b7f7e3c263c8e7183d11ad0ebd","datavalue":{"value":{"time":"+2018-08-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":"Q4583318$B2267F5C-2EFB-4139-90A7-B875A95932AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583318$1828A7B4-6218-4A61-9EEE-EB72A6E75ECE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7800c6e5e713cfeb8e770b99788b59ac72bae9a3","datavalue":{"value":"6928167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583318$C4D5A991-7E86-414D-98A9-BC0BF1EA8F27","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7096e2574074268e50346076db2de4b3e6eaa08","datavalue":{"value":"bundled branching time logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583318$221EED52-795A-406D-AAE4-E581AB4354D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583318$5593F5EF-F041-420E-91A4-36D5989F5A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51124987f945f195e7074c1a0e02b6cc0f18ce04","datavalue":{"value":"weak completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583318$2C71A701-1B99-4A97-B061-EBE67A397C73","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":"Q4583318$BF09D190-C4BB-4544-B1D5-F5A95F6A6E32","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a254cf0f8b13faeaaf0153d830a92c773afff35e","datavalue":{"value":"https://doi.org/10.1080/11663081.2013.830401","type":"string"},"datatype":"url"},"type":"statement","id":"Q4583318$009D6668-CABC-4286-89EA-BE9D7CA90D6D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3f566f17ff7b323bcb7e40330c6279d44b984bb8","datavalue":{"value":"W1977152211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583318$A46ED56B-4F91-43C4-83A7-859CBDF08133","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8325beea8130b47d267a7f2f8cea1b793f81443c","datavalue":{"value":{"entity-type":"item","numeric-id":1408856,"id":"Q1408856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583318$2D935A91-005D-46A4-9566-54EB890FF85E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583318$79A46565-F592-44CD-9659-1CD399DF9F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd73508ffcec7f56306ff6352176692932272ad7","datavalue":{"value":{"entity-type":"item","numeric-id":3103980,"id":"Q3103980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583318$8E29A3F6-5D10-41F7-B4DF-FED1EB4605B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcf98953dd73acfddd93835fae1bda7618af622d","datavalue":{"value":{"entity-type":"item","numeric-id":2566222,"id":"Q2566222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583318$44C5DA3D-C997-49D0-83EB-664FC76C23DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652073d7697abbbfe99dfc3f90d474d4f3dd414b","datavalue":{"value":{"entity-type":"item","numeric-id":3437260,"id":"Q3437260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583318$29E08C57-FD9F-45F0-B89C-EE2D7BF2D649","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb92cef32f50f57f66a6f27fb94b45a29a293b03","datavalue":{"value":{"entity-type":"item","numeric-id":3103980,"id":"Q3103980"},"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":"Q4583318$D15A4A10-C78E-4DE2-9141-091BC04C4DE4","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":"4d7fc4a02c507e3d13024605cc842a15bc020b03","datavalue":{"value":{"amount":"+0.8390240669250488","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":"Q4583318$3961AD63-1E58-4193-90E2-3DB182A8FC76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df0a3679b90f8821dcf4b1d045be32dbea453c1f","datavalue":{"value":{"entity-type":"item","numeric-id":4438104,"id":"Q4438104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e724125af75ee5d8a02a840fd4e28fed3950b77c","datavalue":{"value":{"amount":"+0.7784714698791504","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":"Q4583318$CD7E0478-F924-4EDD-8781-DF112A39F6BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47b0f048830b5858cf7bd8523c2da2ba3917d7be","datavalue":{"value":{"entity-type":"item","numeric-id":2276945,"id":"Q2276945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e45f052d48248a6f2be089fec010b8413ed13ea","datavalue":{"value":{"amount":"+0.7781237959861755","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":"Q4583318$472645AE-8E5F-42CD-BB28-53DB41F3DBF3","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":"99763c203265c24a8b43bf62ba246a6d6e894fc8","datavalue":{"value":{"amount":"+0.7777977585792542","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":"Q4583318$9FC5816D-4D9F-458C-80C1-868439B0CFC5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4583318","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4583318"}}}}}