{"entities":{"Q3594284":{"pageid":5624189,"ns":120,"title":"Item:Q3594284","lastrevid":49638430,"modified":"2026-01-08T14:05:32Z","type":"item","id":"Q3594284","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5177771"}},"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":"Q3594284$65625E31-7459-4564-96E6-9578E8E8A0E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"009eb98e5d79985cd527cb8bb23b75f348135e0a","datavalue":{"value":"1137.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3594284$74BEB735-6642-4687-8517-F5264BC47FFA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f39e5514529b8e1c36aae3b627e7a08dc67c559","datavalue":{"value":{"entity-type":"item","numeric-id":704033,"id":"Q704033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3594284$ED1B81D3-71CF-42C4-A62A-8AE12D0A4744","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ba85540cb4336ce59517f6ba0ec3ed1362787641","datavalue":{"value":{"time":"+2007-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3594284$6EF3D1BD-AE5E-4DEC-8B34-9BB3F9276EB8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3594284$F23C1712-57AA-47E9-AFB6-48B2CA9CA56B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3594284$B7F6EA75-2F18-4183-9C92-FCBBE2A4766B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4fe3ae491edbba8efd7a14304d8726906458d885","datavalue":{"value":"5177771","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3594284$91DC0E6E-F729-4E3A-A139-8ABAB59ECBCF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b24166c88a8944a21424c16b297f535a9a0dbba6","datavalue":{"value":"temporal logic of knowledge and belief","type":"string"},"datatype":"string"},"type":"statement","id":"Q3594284$2AF6BA77-1B3F-44AF-9BB1-A5E18C157A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae7015df820d54c37a280b2bc669339e589c19cd","datavalue":{"value":"branching time","type":"string"},"datatype":"string"},"type":"statement","id":"Q3594284$5DA58CAE-9F59-4618-80EE-E878887A3976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3594284$61B412C7-E34D-482E-A271-AD4E15496570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39395b568f8226b6727ebe283c6a48174046bf2b","datavalue":{"value":"restricted cut rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q3594284$506BC744-60B8-4E35-9BD5-AE0BACE140AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc9e802ae37bb5e72faa6e200a996c21c13b0686","datavalue":{"value":"bundle semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3594284$6B9DF6FC-BEA4-48A2-A74D-7819CE1BFBEE","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":"Q3594284$7064BA5B-5590-43DB-9EE5-C261D30B3A80","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"588b8202a974aefa776dc3b2d340cf4ca5d86eb5","datavalue":{"value":{"entity-type":"item","numeric-id":2376368,"id":"Q2376368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d883417d90db7bfefd5be1784a75f47aa45383c4","datavalue":{"value":{"amount":"+0.96644014","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3594284$66E07089-9BCA-412F-911C-87310D7F722F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8cdedbd66f2748bd3257c5217169538cf6af587","datavalue":{"value":{"entity-type":"item","numeric-id":3417384,"id":"Q3417384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1ad728af30ac287b8d1397347aad4bf77fb8aa3","datavalue":{"value":{"amount":"+0.9543003","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3594284$95D4EC37-3785-48F6-9BE2-3DACC99836DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7da80e95477f3254b90fec839634072a6a441597","datavalue":{"value":{"entity-type":"item","numeric-id":2471643,"id":"Q2471643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e99244123c7c5a4e736ff44a0b18d4f3b9a00e69","datavalue":{"value":{"amount":"+0.92730147","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3594284$57293053-2B10-41EC-B713-9F125F6B4023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83d522737c03cf2810b6aff4aa4f7638204474fb","datavalue":{"value":{"entity-type":"item","numeric-id":2791888,"id":"Q2791888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4190c1c3b7cd4cce192a2d857555b5adfc4f7b2","datavalue":{"value":{"amount":"+0.9100044","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3594284$EE3DA518-7998-40EE-8290-6EBF84C8D728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd3033fe909118e54a2a8406ed30b85e574271ec","datavalue":{"value":{"entity-type":"item","numeric-id":1420806,"id":"Q1420806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ea3f45684b9c7c82a4d74808834b2d4e0a1cb76","datavalue":{"value":{"amount":"+0.9062419","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3594284$0D56D1FD-1826-4F8B-A662-F90A4575EFA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e0be7d79303629b58a05ee0feb5a42dde6b3f71","datavalue":{"value":{"entity-type":"item","numeric-id":4612410,"id":"Q4612410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93f6779eb561824ea16c5e51db2cc7bc8ff212f6","datavalue":{"value":{"amount":"+0.9025908","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3594284$2A286799-D783-4E9B-B2AF-18A6489C0B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"181416d956c05e98163e8a416aabfa17aa5b079e","datavalue":{"value":{"entity-type":"item","numeric-id":1036059,"id":"Q1036059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e312cd9aca988348cef7ee549013735dd60b56d1","datavalue":{"value":{"amount":"+0.9019757","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3594284$CB720714-F96A-4B8E-A2FE-9CA1312D42C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d33c61005aea7190f1d7ab0262703b85d08bd024","datavalue":{"value":{"entity-type":"item","numeric-id":2228437,"id":"Q2228437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89e36b18dcaa646418931c635d6bf1fc469144a9","datavalue":{"value":{"amount":"+0.90102786","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3594284$C40B50DE-3612-48C8-8B68-A9DF912A695C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd0e054755274cfa2db1a8271b96566f81e97c94","datavalue":{"value":{"entity-type":"item","numeric-id":1881777,"id":"Q1881777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cda2c7dc2703351e258a3a95dcf15eed0c32d9d","datavalue":{"value":{"amount":"+0.90086097","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3594284$14ACF248-95CE-44F0-A345-6C2621392895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c343dd6ae88daa7a0fbb561afbc44922ecab5bf1","datavalue":{"value":{"entity-type":"item","numeric-id":456722,"id":"Q456722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8794e4c120e191e5c2b3984019857e9ca14dd79c","datavalue":{"value":{"amount":"+0.89953965","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3594284$4D84929F-5E31-4D23-B151-F9916A5B9642","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3594284","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3594284"}}}}}