{"entities":{"Q4507858":{"pageid":6537451,"ns":120,"title":"Item:Q4507858","lastrevid":47513260,"modified":"2026-01-01T23:03:29Z","type":"item","id":"Q4507858","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1515320"}},"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":"Q4507858$F72CBA99-2B4A-4763-8507-FD0090B3FEED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"73e13be40326a73b567095d55418cd3994ce98b0","datavalue":{"value":"0953.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4507858$680440E5-9809-4E93-BB2B-1CD83C57AB94","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"487657d41a3727080d9cf416d12bed060ca6cc64","datavalue":{"value":{"entity-type":"item","numeric-id":213235,"id":"Q213235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4507858$745FE9ED-E16F-4466-85AD-7A7C091EDDCD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2d1d54670924db26a74d9a3b5e6224e9f60db0e3","datavalue":{"value":{"time":"+2001-01-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4507858$596D538D-7645-43E7-B0A1-501A495B3B0A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4507858$C68EF2C7-8023-414F-920E-E937EFD40058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4507858$EC4DEB0A-B473-4A65-8D95-4176CEEE5801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4507858$222326C6-0D54-48C1-84FA-61BF97014A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4507858$EE5655B0-5B84-464A-A9F9-2D4B5DACB0CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4507858$24D8E51C-3D13-43F8-875E-4CEC1179E841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4507858$42940BB6-FD85-46C8-9A38-72C1A141122A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e862252f51b0d96f8907eb9588f83216310b3d8","datavalue":{"value":"1515320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4507858$594DE7D3-4908-45B0-BB10-0BAC68FA0675","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7369b00dcc2de789af51f57c7628c1a00a554901","datavalue":{"value":"multimodal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4507858$3E51C7BA-75F7-431C-8A09-310881E3C3F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"979fc06b00b4f458d22b475211a3085170bb37cf","datavalue":{"value":"reasoning about information systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4507858$5D9ABB21-3CE1-43A0-933C-3ADA6827006A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a67827e71fd94740605a23cd84d50c8a330d77d","datavalue":{"value":"nondeterministic information logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4507858$3D88339C-8AFF-4588-8C77-765A97D1FDAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4507858$65D934E8-99EE-4E94-AE22-C66F09A7E091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ef22424e85275d01b5a88d5722c9fd4c6f547e5","datavalue":{"value":"NIL satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4507858$787C9BB9-1DC8-4FF6-95D4-7C198996F658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a05cfd9da536bc8387292ab9359d3f7e9902a360","datavalue":{"value":"PSPACE-complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q4507858$CE91C381-1D97-4128-983B-3277B2223E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16284ece4670b3d7275c2ce344fa55e4a47741a5","datavalue":{"value":"PSPACE-hardness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4507858$077F2EA3-0C0B-4A19-8AEC-6DDA79B95B55","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":"Q4507858$E638E8B1-F768-4496-B675-BA16BCAC03A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e82feb52b9d61df75a9782734ac030192a84755","datavalue":{"value":{"entity-type":"item","numeric-id":3425576,"id":"Q3425576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4105b2a48a573f72113040195f709048349442b7","datavalue":{"value":{"amount":"+0.8459667563438416","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":"Q4507858$54086BB4-4135-4753-B334-8770233B3E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56527f09640bd97f1c6f0fd470a4d29c2d0b9add","datavalue":{"value":{"entity-type":"item","numeric-id":2937395,"id":"Q2937395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dbc868733cdfa0acce0709c0d0a42ac483c49d9","datavalue":{"value":{"amount":"+0.7457103729248047","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":"Q4507858$59C9F7C9-1707-4BAD-AD3F-7E2095384723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08ebbcc3376b6fd582d0207b7b6142ad27f97060","datavalue":{"value":{"entity-type":"item","numeric-id":792780,"id":"Q792780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eef2d833dc063e2746dd2e7eb7e580a8790adf9f","datavalue":{"value":{"amount":"+0.7346981167793274","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":"Q4507858$EC8A1B3F-DBA6-488E-AF2F-97F77D986962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac407adfade4a19e1fcf4c3a9a6abb5b76f2a07d","datavalue":{"value":{"entity-type":"item","numeric-id":2708314,"id":"Q2708314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57e0985f368e09f927288c32de4ed3c6c074aaeb","datavalue":{"value":{"amount":"+0.7337535619735718","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":"Q4507858$B3F0E434-9D79-446C-87C4-9413EA55997F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50e65e466a71c93094ad4c4fd48b019fc7ada700","datavalue":{"value":{"entity-type":"item","numeric-id":5241913,"id":"Q5241913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d035253afe3e666c96f6580c4a909ac8fcb42c5b","datavalue":{"value":{"amount":"+0.7324221730232239","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":"Q4507858$0C82F8F2-03FA-4237-BA1B-DDA563D1FEAA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4507858","badges":[]}}}}}