{"entities":{"Q3344174":{"pageid":3354882,"ns":120,"title":"Item:Q3344174","lastrevid":48753781,"modified":"2026-01-05T19:10:48Z","type":"item","id":"Q3344174","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3877148"}},"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":"Q3344174$230EE218-6144-449A-BDE9-4524CA942749","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"840728ad8a517f5e138b7bf0a462d8bbeff4e57d","datavalue":{"value":"0551.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3344174$6344228D-BFB5-4D61-978F-44DE71CB67DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c343d7266e3ac1f198444a571c50c523729b3f8","datavalue":{"value":{"entity-type":"item","numeric-id":820147,"id":"Q820147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3344174$767990F8-3F23-44B4-97ED-7C627CA13B20","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3344174$D37BF634-5627-4767-8C6A-FA9A6FE77D36","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3344174$D60902AA-6A0A-481B-86F7-195F8F41D32C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fcf1597c04dd4a8042863e48390ba22c4bf80792","datavalue":{"value":"3877148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3344174$AE8CC012-D2D9-4D50-974E-6B5B03BA4560","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3329c7b8f8f832f2bbb22beaeda67fc53ed0b6b9","datavalue":{"value":"semantic tableau proof procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3344174$DAD2D521-5C4B-49B3-8C58-904FE2240B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3344174$04E1DFFC-C223-4116-9643-7B04C8DADD40","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":"Q3344174$B478C60A-947E-48C8-9097-159222821BE1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb3819977d2e0ef3c395a79aee2d363a095a3226","datavalue":{"value":{"entity-type":"item","numeric-id":1104913,"id":"Q1104913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"877773e1cdc68349cb3498fc082d2d597f2d3cd1","datavalue":{"value":{"amount":"+0.8311233520507812","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":"Q3344174$7D269425-9369-4F34-AA68-FC0A780A2750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ee590fc7e4e96baf110a09e808de8be714afffc","datavalue":{"value":{"entity-type":"item","numeric-id":1181709,"id":"Q1181709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfac57e0356728e34f6811bab3f571c3966083d6","datavalue":{"value":{"amount":"+0.8186626434326172","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":"Q3344174$1D6E39B1-ADDD-482C-B9E7-29E5A9DEB727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c920ed85419125dfdb595a601c3e525a0405742d","datavalue":{"value":{"entity-type":"item","numeric-id":4924965,"id":"Q4924965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c34463602bc009610cee468d9143735245116080","datavalue":{"value":{"amount":"+0.81612229347229","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":"Q3344174$436A3BF0-3E8E-4FE6-9A53-58931DF3EA1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"848a5a85d5e8e4df6c37fe62daca4da2599a01bd","datavalue":{"value":{"entity-type":"item","numeric-id":1329745,"id":"Q1329745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"004a052950d27fe57877958819ede9bc4ecdd3a9","datavalue":{"value":{"amount":"+0.8160401582717896","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":"Q3344174$BC05D1FC-891D-480D-A5CC-2C8D0A1C0C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3e4fe8f73ff191de4c3ed94d8eece7306d7ec7e","datavalue":{"value":{"entity-type":"item","numeric-id":1854375,"id":"Q1854375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"903e21a8575bdb8ab0cca3edd29659908e9cb3f4","datavalue":{"value":{"amount":"+0.8047646880149841","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":"Q3344174$1D87A715-B240-4F4F-BF7A-6A4E1CCC0423","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3344174","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3344174"}}}}}