{"entities":{"Q4881682":{"pageid":6911261,"ns":120,"title":"Item:Q4881682","lastrevid":41620337,"modified":"2025-05-06T11:18:19Z","type":"item","id":"Q4881682","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 887303"}},"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":"Q4881682$5B9453B0-5FBA-4789-B048-B5C5435382E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ee46d1d195c0729da4501bee710950c3e495eb6b","datavalue":{"value":"0861.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4881682$C69BBDD8-0E62-4056-A6A2-F4AB72940BA9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3aac9a7b5dc2fbdc41a86cb01c09dd75db52bcd5","datavalue":{"value":{"entity-type":"item","numeric-id":4325081,"id":"Q4325081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4881682$BE86B130-430D-4DBF-9507-464DE0812220","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e6c12cf0fa9e38f832c0f5cac78fe70e7e278753","datavalue":{"value":{"time":"+1997-05-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4881682$9733F99E-1323-4B94-836C-6590BD6566C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4881682$CC8CD536-6196-4B06-9E4F-067693F484D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4881682$B2ED8217-9439-4C8A-BA82-722EFEE9D66D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4881682$5F18BCCB-903C-4A5D-A804-296581798DCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4881682$BA63D021-B5F9-446D-8C29-03EE724BAE09","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7ff840fe0b71a397848902cea177cfe8d6d63e9","datavalue":{"value":"887303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4881682$44DD802C-7555-4282-90B2-922A7541AC13","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbdb85c6cc89bebe11d7c6ce2cac65d460c21ac6","datavalue":{"value":"relational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4881682$514334F3-9729-4528-8C8B-BC2D06D5C7D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4881682$719F99CF-450E-456F-AE4A-27EADDFC5BDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"053cc79e6baaa9f4b1ddf79a636461ff61333527","datavalue":{"value":"translation of formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4881682$402535B3-12E9-4F10-BC1B-027AE7411764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab53a3eafcb701aeb5fc32dd7514119028b4388c","datavalue":{"value":"decidable classes of formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4881682$FA6D82C1-A4A4-4BD9-BDBD-F767DBF6B9E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4881682$E61EA49B-7B58-4838-80EA-E58DF14DC080","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":"Q4881682$0D70DE81-6CE4-42F3-8843-AB8B9F9FA700","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a07c9712f59fa6d965aeb3d830723db6ecacc63","datavalue":{"value":{"entity-type":"item","numeric-id":1873248,"id":"Q1873248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a925e2f3a864e551a6a168adbcbd60b92a98303","datavalue":{"value":{"amount":"+0.9135256","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":"Q4881682$A5B98F6F-8D5F-40DE-A15E-5F7A2686C076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dea66ea45d242de223c3b93cf45213c72707490","datavalue":{"value":{"entity-type":"item","numeric-id":4943492,"id":"Q4943492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd4f1a3025f99f959b1aeb005e422f30832f5880","datavalue":{"value":{"amount":"+0.89538306","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":"Q4881682$4B9837F1-3ED4-4B69-B41A-052980F66767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18253ff75c78f240c035a52db8643f50714181ab","datavalue":{"value":{"entity-type":"item","numeric-id":4873974,"id":"Q4873974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b8025629248bdc68eac04aee84166621bc45208","datavalue":{"value":{"amount":"+0.89128256","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":"Q4881682$D3CA6CDF-5367-4B0A-8E82-CC5FA310ABB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09a2fd3f79023f6659ae94a662c81407b52a991a","datavalue":{"value":{"entity-type":"item","numeric-id":4539635,"id":"Q4539635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0df4d4e7ea8a3ba081a472f76c10d729c402c85","datavalue":{"value":{"amount":"+0.8902428","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":"Q4881682$0B786849-1602-414C-B9C0-A8BB6A6516D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aea730fea43e185064292050b68dd1058675866","datavalue":{"value":{"entity-type":"item","numeric-id":5302024,"id":"Q5302024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"915bdc294ffd54cd68cfcf8027dd64db3b65d3eb","datavalue":{"value":{"amount":"+0.8900014","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":"Q4881682$326BFE66-DE2D-4507-AEED-2B40BEDB66E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b39ba2eba10860c67f7de3abce5d01041a8d804","datavalue":{"value":{"entity-type":"item","numeric-id":4338157,"id":"Q4338157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51b5ec3687b2991ee2ebfd612def4b9242c42b74","datavalue":{"value":{"amount":"+0.8869543","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":"Q4881682$D3555682-F8E9-4BAD-BB13-CF58BEFB2592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63a6aee63a7fb9b54e9b5a1aa02877107628fc66","datavalue":{"value":{"entity-type":"item","numeric-id":4305489,"id":"Q4305489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51b5ec3687b2991ee2ebfd612def4b9242c42b74","datavalue":{"value":{"amount":"+0.8869543","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":"Q4881682$AA59687A-D734-4C56-9738-F8312FEFC8D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c6592450d4ee64a63f880ebd9f77ab33bef3716","datavalue":{"value":{"entity-type":"item","numeric-id":3201035,"id":"Q3201035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d2913f40238268d76099a3b41960459ca9820dd","datavalue":{"value":{"amount":"+0.8860898","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":"Q4881682$48B041F1-0E8B-43D1-B06F-12D25D990FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80aa11245de39962b58383df03268f99af0c5d5d","datavalue":{"value":{"entity-type":"item","numeric-id":4873975,"id":"Q4873975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e912777380044e8103784f340b20f7eead70a248","datavalue":{"value":{"amount":"+0.88597256","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":"Q4881682$3D435560-8C35-4EA1-AC78-17A8D75A2B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a8ef8acf9c7a47ddd3f7fd8d521882c8e974112","datavalue":{"value":{"entity-type":"item","numeric-id":1128479,"id":"Q1128479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e54ffe05923e62948323f5558605776d81358867","datavalue":{"value":{"amount":"+0.88435835","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":"Q4881682$996ADB5E-C0A3-4BC5-846B-3ED06626B910","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4881682","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4881682"}}}}}