{"entities":{"Q4207883":{"pageid":6237484,"ns":120,"title":"Item:Q4207883","lastrevid":49338526,"modified":"2026-01-06T23:59:52Z","type":"item","id":"Q4207883","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4128785"}},"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":"Q4207883$3AEDC181-DE74-44FB-B3F2-8387018C71E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e4988fb9f4acf2547c49767385578c6d2a13085c","datavalue":{"value":"0689.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4207883$A3471D90-86CA-4E8C-BACA-146BA6FDB2E3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa64db955f474475117f8049f4915cbb4669c50d","datavalue":{"value":{"entity-type":"item","numeric-id":583186,"id":"Q583186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4207883$44E7C277-51E6-442E-8D5B-69E042671AB4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q4207883$FA056622-BD9C-4F14-88F9-EDF8D5B860B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4207883$6A577923-9D9A-4DAB-8317-14665EF58561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4207883$762F32D3-3619-4F9A-8F0A-737CB9CA95EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4207883$3B0DB488-02D6-40B2-9810-C6D3935A5EA7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93e44216219b1a41b0754162b6acc60e2a045102","datavalue":{"value":"4128785","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4207883$AB6F1FD6-6A1E-4AC5-B981-C92C5AEC80EA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c9977afeaac4d053aef4e5b5c50df2441a2faf8","datavalue":{"value":"resolution method","type":"string"},"datatype":"string"},"type":"statement","id":"Q4207883$7F3FB1EA-DF88-40C6-AD45-072BE5D459DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e1a11d683c9e41071478233ba708272aa05a2ba","datavalue":{"value":"modal propositional logic S4","type":"string"},"datatype":"string"},"type":"statement","id":"Q4207883$BD943910-AE54-4F3D-9100-756327657DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb784b48a848fdc41f25b24b7c7ca1d8af919b95","datavalue":{"value":"associative unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4207883$D0997D20-738F-41F0-9E3C-C82377F689F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99cc72f672087636f97082913555378549a37d64","datavalue":{"value":"ordering search strategy","type":"string"},"datatype":"string"},"type":"statement","id":"Q4207883$4F745FC7-5840-4F13-9921-ABD6E7C7EAD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3018f13ec4565557bf025633f394ef25a05fe3b","datavalue":{"value":"decision algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4207883$D6436DDB-77AD-42E0-9972-8D23A10D1B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4207883$71C336D8-6856-4B0B-BEC0-1E6F83CCD8AA","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":"Q4207883$818DABC4-AC55-458D-B71C-DAD993842A2A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"966a31c801e93ceb344544bd9134806de981b021","datavalue":{"value":{"entity-type":"item","numeric-id":4798640,"id":"Q4798640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf37e22361bf9003b6f630ea2cbed61cdc0838c7","datavalue":{"value":{"amount":"+0.8979747295379639","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":"Q4207883$6D2A649A-6EA8-4034-978F-0C544212F138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b70b27982594c8969ca35500a956678f7c689741","datavalue":{"value":{"entity-type":"item","numeric-id":5688802,"id":"Q5688802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf37e22361bf9003b6f630ea2cbed61cdc0838c7","datavalue":{"value":{"amount":"+0.8979747295379639","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":"Q4207883$F094B2E1-C467-4161-B36F-04C3985FC9A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2dd2b290cbb206425a778d1cd4f6b2687006ccd","datavalue":{"value":{"entity-type":"item","numeric-id":1104915,"id":"Q1104915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06db9135825331adf0d47e7e196e522df3a26f73","datavalue":{"value":{"amount":"+0.8970704674720764","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":"Q4207883$8CE47FC2-401D-455D-B966-93C9B539F941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc46598839674c6373d7d15a622fa01ffb7b11ba","datavalue":{"value":{"entity-type":"item","numeric-id":2487862,"id":"Q2487862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a23ce62350a777db0d91d23b2be8fe61d957f7d","datavalue":{"value":{"amount":"+0.8950230479240417","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":"Q4207883$1C02B93C-D7F7-4431-B74B-97349372B611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c34a816d843ad636333971f696c91c7c1a4e5429","datavalue":{"value":{"entity-type":"item","numeric-id":1118577,"id":"Q1118577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98c2dff1f507b58264165e309a14f52517295227","datavalue":{"value":{"amount":"+0.874663233757019","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":"Q4207883$AD6C09A7-8249-46E1-8C05-D96F373831D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4207883","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4207883"}}}}}