{"entities":{"Q3757893":{"pageid":5787799,"ns":120,"title":"Item:Q3757893","lastrevid":51774896,"modified":"2026-01-19T23:29:47Z","type":"item","id":"Q3757893","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4006233"}},"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":"Q3757893$CE12DE63-13FA-4B3E-BFE1-5FD0B5D8DE28","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b77a3d2f3d214653015bb6e84e172251c3c804b","datavalue":{"value":"0621.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3757893$37CCFAA0-B30E-494F-AC86-36C495A705DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8259050cd83ce3945f173c3e3c741cd5ddddec01","datavalue":{"value":{"entity-type":"item","numeric-id":169248,"id":"Q169248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3757893$5854DC8A-E132-4BA4-A169-1044B703B571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aee4d3ee1c41565a5a83b17f16adc6668f5bedeb","datavalue":{"value":{"entity-type":"item","numeric-id":293302,"id":"Q293302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3757893$F9DA7C35-030A-4B71-967F-A912CF88469C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3757893$695948F3-BCFE-45B0-83CD-7D35E1D39CC0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3757893$6D9FBE02-62CF-443C-97DE-72119E65426C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3757893$B510E0EC-176D-4A8B-A3FD-E04CB1E4B1EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c203d0924caa85d1afb472d828c0a58212f7ed04","datavalue":{"value":"4006233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3757893$DFC1EBF1-3172-4E59-8788-E64B1296EE0C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ea4414be6f27911f9b8f084c566ecf47252512a","datavalue":{"value":"reduction of formal theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3757893$09D026C0-56CE-4AD0-900C-4850D301DD43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22faee7a58a8049518b23c537e4b85ea66f3563a","datavalue":{"value":"branching time logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3757893$6A77FA9B-D038-4DA9-9503-DA2852134C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"438b7330b763009b415dee190bf2e6f068f8a33c","datavalue":{"value":"BTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3757893$F036F28E-B726-417B-B483-B54A238341C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7071a87073e6735c96c06dce249330564d9b5676","datavalue":{"value":"unary connectives","type":"string"},"datatype":"string"},"type":"statement","id":"Q3757893$64B81E24-8CD6-4964-B999-7A57BA2F45BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39b8d024de8affbd77ce13329dd0e558cc256b88","datavalue":{"value":"PAST","type":"string"},"datatype":"string"},"type":"statement","id":"Q3757893$A35D264F-CBE9-4ED2-A162-ED6F016E7673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaf913e1273da5f84d7b4afc9adf58f1de914468","datavalue":{"value":"FUTURE","type":"string"},"datatype":"string"},"type":"statement","id":"Q3757893$34FA8F10-C63A-4A78-B8E1-66A9165C40C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3ce95661aab9e35c89b5c1214e52ba52a164853","datavalue":{"value":"NECESSARY","type":"string"},"datatype":"string"},"type":"statement","id":"Q3757893$0B9E8492-2CE7-4823-B879-C5AE79D13349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f53dd5f10fd15e834bb4166ccb240fb617083d64","datavalue":{"value":"trees with additional unary predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q3757893$B3249368-8F88-4ABF-9153-AC4E6B7018A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88f864bef55210ce4167372f441b296b04a66a5d","datavalue":{"value":"colored trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3757893$6097D20C-6B86-4FF3-BC95-C8419609DA74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31e3aa2b11021acfbb6c6c5619a58e9e9e1019b0","datavalue":{"value":"branch variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q3757893$1B2D4A3B-79AC-4A0D-841A-70F63510C3E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18d8f688b70394687166760b1afc559bb4c46c24","datavalue":{"value":"reduction algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3757893$B8FAB926-6EFE-489B-9BB0-F4AB66828066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55c6f7a7f7652f03f44830466dc194396e2f0fc1","datavalue":{"value":"binary connectives","type":"string"},"datatype":"string"},"type":"statement","id":"Q3757893$2A5FCB04-5BD1-4F99-A1E4-3F6796B1113F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fd070e553ecb053c1c985abf2bb5f4d3a4c9dd0","datavalue":{"value":"SINCE","type":"string"},"datatype":"string"},"type":"statement","id":"Q3757893$35846F4C-53E4-458A-B797-6903639CF52A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba89be14e8509f4ee327139b9fc46f7d16d7ce10","datavalue":{"value":"UNTIL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3757893$EBB02E2D-D4D9-4417-9407-549BF832BC61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3757893$E185EE84-1344-4941-9D54-8F4F1F42BC9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2be4e37969de8a3f438a81f98ef656cc9b542033","datavalue":{"value":"theory of trees with quantification over nodes and branches","type":"string"},"datatype":"string"},"type":"statement","id":"Q3757893$DCB3D177-1340-40AB-B730-D7535F12421F","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":"Q3757893$3EE3A0E2-CFE2-4EE9-A193-A8A97DF69275","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21960bbbf31b9ac04958f134836bc62cdcf36f69","datavalue":{"value":{"entity-type":"item","numeric-id":3708772,"id":"Q3708772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f095c1ff1479d9d00e0d8a3a63d7ccb99fcc30ff","datavalue":{"value":{"amount":"+0.97682226","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":"Q3757893$BE614F23-A63E-4308-88F7-980183D28F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"691d7fe8f3d4d3417be9a6c845572a4811be73b9","datavalue":{"value":{"entity-type":"item","numeric-id":2265816,"id":"Q2265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e72f6edcf4155e089cd1b076bbcec779154fc05e","datavalue":{"value":{"amount":"+0.9241618","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":"Q3757893$2E7732C9-D0CD-4E1A-980F-7AE81A61A95D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6c58205addc674c4d8bf6232eb40acc6101d995","datavalue":{"value":{"entity-type":"item","numeric-id":1062669,"id":"Q1062669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1361ea25911ef9fb01211d8baddd7efe48e33935","datavalue":{"value":{"amount":"+0.908247","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":"Q3757893$AA8BAA28-E250-4416-9B5F-4F5D286428D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"544b2371a942216d584b69d143afbb39693c93d2","datavalue":{"value":{"entity-type":"item","numeric-id":4472440,"id":"Q4472440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7485fcf9762d078080d5002ee9c5ada6f9af580f","datavalue":{"value":{"amount":"+0.9011536","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":"Q3757893$972555E0-1B2A-4E4C-B6AC-867D6B97D8DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65103e820561a9321c0c366efd2359a0c13391cd","datavalue":{"value":{"entity-type":"item","numeric-id":4475142,"id":"Q4475142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f07cbe0ea93f608dd52e5ea6ab976b032a812dff","datavalue":{"value":{"amount":"+0.89968604","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":"Q3757893$D96FBEF3-DADC-46B8-9E8A-6E0B5F87A3D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"107df4364085b50c32e4791b4f906c725ee5ffc2","datavalue":{"value":{"entity-type":"item","numeric-id":3644771,"id":"Q3644771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13e73eadd37c3fe34b4f88b357e6dcce604b132f","datavalue":{"value":{"amount":"+0.8925462","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":"Q3757893$DC8EE83C-D89B-4607-8BC6-819EADAC61EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"791346cf0a02b0cb1561d66dd010768374d83c0f","datavalue":{"value":{"entity-type":"item","numeric-id":5184412,"id":"Q5184412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a48493f911cafc8cf5eb682e33718db1595127a0","datavalue":{"value":{"amount":"+0.88680446","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":"Q3757893$488551D3-3333-42A0-A1A9-820CEDA6FD45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9ecaebec92af5dddd85d10e64d18937aa1be945","datavalue":{"value":{"entity-type":"item","numeric-id":3722471,"id":"Q3722471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ab557906cd553fcedb1d12f8729f82d1c45dc09","datavalue":{"value":{"amount":"+0.8858275","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":"Q3757893$8E1244C0-8B60-4E89-BADC-7EC52259E5A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4b0cc8d5755fd4a6b6f989a4f5ca046d83463a5","datavalue":{"value":{"entity-type":"item","numeric-id":2922686,"id":"Q2922686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c211de7cfeab5bd83a8a17a28c80d8207646bec","datavalue":{"value":{"amount":"+0.88393277","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":"Q3757893$AECBD493-A828-49D3-B357-8A3BC61C58D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"309f995ebfc814203ab1311d6199f66c932e719f","datavalue":{"value":{"entity-type":"item","numeric-id":789895,"id":"Q789895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"767dc09674b2a6b519f11265d69a59ff6b8fc2cc","datavalue":{"value":{"amount":"+0.8833817","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":"Q3757893$B5E98B84-50F4-4F26-AFB2-BF041D7F2B95","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3757893","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3757893"}}}}}