{"entities":{"Q4250044":{"pageid":6279645,"ns":120,"title":"Item:Q4250044","lastrevid":39822877,"modified":"2025-01-27T17:55:24Z","type":"item","id":"Q4250044","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1303435"}},"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":"Q4250044$EB9F9A0E-E886-40D6-9EF1-C7098994247C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d9b3efcba3ce6d49ef7e425d09659d6705b44cc","datavalue":{"value":"0922.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250044$DB718853-E21F-4A18-96AE-3E0FC6F153D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f2bdecfb638e9226478c4c6b1c8a292946f5e983","datavalue":{"value":{"time":"+1999-10-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4250044$E5D923F1-6C84-4263-B328-65A8811DA612","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250044$2D6BA649-61A7-49A8-940D-12520F9BF4BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250044$F1A3030F-C4C3-4019-9E12-C0C295F4F854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250044$91244D54-9215-4EF8-A18F-1A4752E8F45A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250044$AFE831D2-FC6C-469D-B9E1-04C1C69731A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04c808031943e1bcfad630fca5ce54b0809b5836","datavalue":{"value":"1303435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250044$577DA0C7-5741-4B40-A25A-6A7089D717A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f6cd8f3ede8cfd69bf50a0256fc182add3611d7","datavalue":{"value":"Post logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250044$7B4CB656-E65D-44C6-9812-8FDD0E59026E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b838261c78c4ae7442badafeb6cc147e9d09de5","datavalue":{"value":"many-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250044$71DA4AFD-3BD8-4C8D-BAEC-7348E4443DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250044$377EF0F4-8DDF-4443-9B0A-E6BF56F390C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"864bd2308ad6ae0190090d51f6b5e01742de2ffc","datavalue":{"value":"deductive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250044$7D8382E5-B541-4A1F-90D3-130831A0BA11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2957c9238b4331872f07a47d601d3a836f94e50","datavalue":{"value":"reduction calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250044$BC7D2761-FDB0-4255-9933-5894BB43C560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06c8954512017c7bc687623ab7d878c0b6581738","datavalue":{"value":"rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250044$9AD66CA5-C8FE-42D6-971A-9725092857F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da91d821e6afd5fc2acad321f0aa06b2e18cae96","datavalue":{"value":{"entity-type":"item","numeric-id":1147136,"id":"Q1147136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4250044$149B9B0B-7FC9-47C2-91C1-3E4C13AF3A99","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":"Q4250044$70D62390-3844-40FB-8292-3E69160049E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbef2ac8206322bfe9d5ecdede275a1d6024ebb5","datavalue":{"value":{"entity-type":"item","numeric-id":1899898,"id":"Q1899898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"368ccbbe832483163b15a384c916828bac64fe99","datavalue":{"value":{"amount":"+0.7279977","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4250044$AA909122-CB6B-4DBA-A111-36F8B3236513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e6fc6366c0c2b2e621d1db85f37747606df9abb","datavalue":{"value":{"entity-type":"item","numeric-id":3781102,"id":"Q3781102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b85db4eb07aaacbaa473240fb9890cbaa71f622","datavalue":{"value":{"amount":"+0.7275836","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4250044$72BC2130-0CC6-41DB-B489-76C2F449C1D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0db2ded8395d3d7500afec44d6576251d796640f","datavalue":{"value":{"entity-type":"item","numeric-id":4132487,"id":"Q4132487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48f35a3c22053ac3cdc076b1596fddf3008dd03d","datavalue":{"value":{"amount":"+0.7275775","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4250044$1CCC6B35-D328-4154-8C59-7117FF9E92FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e591e8f1661a0a691b909d13ac0d3c3b0cb3082","datavalue":{"value":{"entity-type":"item","numeric-id":817704,"id":"Q817704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3713656d856774eeb2126ff3966db9f6f291767","datavalue":{"value":{"amount":"+0.7216055","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4250044$F340BA85-9CA1-4562-8AF6-CCF6E247E7B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2914994863ad9236669ec84d025962973990ca22","datavalue":{"value":{"entity-type":"item","numeric-id":5722253,"id":"Q5722253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c00309d5b99cb937889cca6c723f75192048f2a","datavalue":{"value":{"amount":"+0.72156686","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4250044$A851ED42-D80C-42B1-AF50-B9197E51CBAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47c8151d298afaef6f2d5522d698b4f414067be3","datavalue":{"value":{"entity-type":"item","numeric-id":3343966,"id":"Q3343966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23451883160d740fd46cda3c4c6ad7dd4e3fd381","datavalue":{"value":{"amount":"+0.71954757","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4250044$50C08F47-D80D-46B5-859C-5D8F583F7181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d26466f7793d6875a17a98e9b29fbec5b0778d4f","datavalue":{"value":{"entity-type":"item","numeric-id":4796457,"id":"Q4796457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"380d58f5ff142837f71cb99bc1a06b8510b831e0","datavalue":{"value":{"amount":"+0.71807986","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4250044$132ADB61-5D44-4C92-A0C1-2AE7248E8441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e028d417ce6ec8443bcbb523bc4cbce9a9a057e","datavalue":{"value":{"entity-type":"item","numeric-id":1066880,"id":"Q1066880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"696403a4da052f3386f0fe7a4b4bc1e734238b1a","datavalue":{"value":{"amount":"+0.71479267","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4250044$7DFAE6DC-9B37-4C92-867D-18C73ABDA0EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67c6a83d7b77d89dcbc07064a73bab7605039031","datavalue":{"value":{"entity-type":"item","numeric-id":4260371,"id":"Q4260371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c12855942ddca844ac28d5497c256dea93d1cb40","datavalue":{"value":{"amount":"+0.7115663","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4250044$036979ED-B575-4EF0-A7ED-44A37DC62CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c94b38b18455940e4ee6d61c2ed2cb5083f37077","datavalue":{"value":{"entity-type":"item","numeric-id":3115173,"id":"Q3115173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc63e2fac6250ea406345ce55a17ece1a760c539","datavalue":{"value":{"amount":"+0.7110219","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4250044$71CDA250-11E3-44A3-98FA-3D7BAD1F836E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4250044","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4250044"}}}}}