{"entities":{"Q4730752":{"pageid":6760329,"ns":120,"title":"Item:Q4730752","lastrevid":49309549,"modified":"2026-01-06T22:50:10Z","type":"item","id":"Q4730752","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4115924"}},"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":"Q4730752$26B9CA99-A479-4B94-91AD-DCCC36FCCE73","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7fb0298c8a1bbd394d2d5509250944bed0642125","datavalue":{"value":"0681.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4730752$19FC8D9F-6502-4756-9FC3-F2B4687AAA9F","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":"Q4730752$01AD2130-1283-4329-84DB-B889ADEBF291","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4730752$99BB1DC7-6229-436A-AEF7-616D11525CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4730752$A43D5999-9609-4AFC-BAB4-BED00C0A53DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4730752$E7911916-D947-4CB8-83D5-EA61E62E61E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4730752$5F368387-A8AD-4EC8-ADED-3B547C5871AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a2a97b54f8615736006941c05460598fb9e354da","datavalue":{"value":"4115924","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4730752$B9BF1A01-4482-4A22-8FE7-CB09A01E89CB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9914e2b956a2ab00357dfcaa5d8fa59ff1300a7","datavalue":{"value":"TABLOG","type":"string"},"datatype":"string"},"type":"statement","id":"Q4730752$F0CFD69B-13E0-444C-B0C9-D8F4DEF253BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4730752$80E03BD3-CD54-455D-8583-7E06E48A8354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4730752$81361580-65F4-44D5-8CFF-51A440213A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4730752$029D825D-333C-4955-9318-F91F2CAB9CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ece490b9d0dc2840625816cac4125dba353c6b31","datavalue":{"value":"deductive tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q4730752$F7747FB0-F370-43B3-BCBF-211FE0AEB789","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb7c55a34ce0f2f4d38a378a7f2575234275c2f8","datavalue":{"value":{"entity-type":"item","numeric-id":1153137,"id":"Q1153137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4730752$37641266-9E9A-4D1E-A4FC-C6E5B8B8700C","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":"Q4730752$236E86C4-D76F-42C7-8393-7088E522EF46","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22c2d8b32ab2781506ac5ac49e5b7041f7b50e61","datavalue":{"value":{"entity-type":"item","numeric-id":5394606,"id":"Q5394606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fee3d4f7a23d619426283affdd1aacbbce49a5a7","datavalue":{"value":{"amount":"+0.7228837013244629","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":"Q4730752$BD6882E7-CDD9-4A47-8B2A-B6081949FECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8930ce10de5d502a6ae831db68742f99f6e94b7a","datavalue":{"value":{"entity-type":"item","numeric-id":582280,"id":"Q582280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17d0764d702b4eee7e30c115890cae59b80f38e1","datavalue":{"value":{"amount":"+0.721076250076294","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":"Q4730752$87D2D723-B5A5-4428-84E5-7F0C38E84929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f6977a016ab51e42a7fdc6367bd2a4a52767f2f","datavalue":{"value":{"entity-type":"item","numeric-id":5738911,"id":"Q5738911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c89e4c621f39cdb4b48271d1368b8a26d7b7a10c","datavalue":{"value":{"amount":"+0.720197319984436","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":"Q4730752$1B7E4D0B-B914-4E00-BE81-05B39A198908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d1162072153af2fb03b26e7724d0e4a5c554959","datavalue":{"value":{"entity-type":"item","numeric-id":4494318,"id":"Q4494318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"259b7af743f6e848f1dd71b4c5d4ea5cc6e8e115","datavalue":{"value":{"amount":"+0.7172842621803284","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":"Q4730752$47A6CD8D-7B90-4E58-9406-859AF065CD60","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":"259b7af743f6e848f1dd71b4c5d4ea5cc6e8e115","datavalue":{"value":{"amount":"+0.7172842621803284","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":"Q4730752$22875D05-43DE-462E-B33F-88ADF9BEE77F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4730752","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4730752"}}}}}