{"entities":{"Q3202993":{"pageid":3213701,"ns":120,"title":"Item:Q3202993","lastrevid":45680845,"modified":"2025-12-16T07:30:31Z","type":"item","id":"Q3202993","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4179336"}},"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":"Q3202993$43CB4446-FBD5-435A-8726-ECF1A78A1F04","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f457ae9f72ff46e2ca5ae1ce47b6f5e1bec6a4f6","datavalue":{"value":"0716.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3202993$265E41DA-BFE2-4217-9815-6A4DCE639033","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f176c57a4367ad5b382cbda8b83dad6c2cfec594","datavalue":{"value":{"entity-type":"item","numeric-id":213236,"id":"Q213236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3202993$B762773F-260D-4E5B-BA3D-9D3DE302E312","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q3202993$7DCD4209-FA3B-4820-808E-9743A2365C87","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3202993$D257187D-7A08-4750-8A2A-6F146F89EFB5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8a220a4d9324dd9effac0a6a8a49f51a5ca399b","datavalue":{"value":"4179336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3202993$C4B64CBD-5342-4C64-8F52-C4ABB8F879DF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3202993$BB79E063-7BEC-40DD-A560-C736EFE6DE50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1154851f0e28c7d9cb512b4ee18b47c18a3e77ab","datavalue":{"value":"semantic tableau","type":"string"},"datatype":"string"},"type":"statement","id":"Q3202993$BDF9CF98-E54A-48EE-AFC8-116BF2F710A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0679a7730b9df7a2cd86a8e024c1c66ce8de6a90","datavalue":{"value":"relational proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3202993$C204ABAD-3C6B-49D4-A523-7AAAD8F81A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be534d4950188959ddd440cd819bee45bdd13efe","datavalue":{"value":"relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3202993$42759EF6-3C6F-4567-94D1-7AE8F7E16434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"951d8325b4be0b5b1106e01b0238f71474a553b7","datavalue":{"value":"logic of ternary relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3202993$47DFCEEF-69D6-4DC2-A71C-3D284C5AC46D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb995e52544ec040f562a3a409c6263040c8d563","datavalue":{"value":"decomposition trees for non-degenerate formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q3202993$D0064555-AF29-4997-91E8-00CE93AAD6AA","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":"Q3202993$CA62388E-7381-4CC9-A73A-4407BA178860","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a42c4a9d6c15cdbbd91944aac4b9d8b23c319f43","datavalue":{"value":{"entity-type":"item","numeric-id":4032669,"id":"Q4032669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f471bf9f90d50ca4bb7be4404d90bfb611d4529","datavalue":{"value":{"amount":"+0.9201275","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":"Q3202993$4D815D51-2FA9-4425-A66D-ED63B525F90D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b45142a4f95592d00ad05aeb3a2756d3d2a93f9b","datavalue":{"value":{"entity-type":"item","numeric-id":3762288,"id":"Q3762288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"528b2bf9cca1d85f0e83e8cb05cd78164bfa310d","datavalue":{"value":{"amount":"+0.8358952","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":"Q3202993$D8101309-1181-4895-A593-3D4E11B1DCC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd55ae9dcb65cece843adac76d4c010995d636a3","datavalue":{"value":{"entity-type":"item","numeric-id":4459272,"id":"Q4459272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a88606fef548482c000ffc6f8a2b9abd12d314e8","datavalue":{"value":{"amount":"+0.8136253","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":"Q3202993$84300A8F-B199-40F1-A438-08369A8C1814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c79eb320aa5aed44186d4bfd50406967ada0a04c","datavalue":{"value":{"entity-type":"item","numeric-id":5100011,"id":"Q5100011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c062a15b11ae9ab28a84e9109f24d7f523205a2","datavalue":{"value":{"amount":"+0.8018856","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":"Q3202993$AFF1D373-CF52-40F3-BF9D-C10A4C9A9277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60f2eaec27b155a34ed4e3ef987172b50d0dc8ff","datavalue":{"value":{"entity-type":"item","numeric-id":2735687,"id":"Q2735687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae8c1b9af2c236e25c386760fcdaa0ba734c75a5","datavalue":{"value":{"amount":"+0.78756297","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":"Q3202993$B5D212C8-F9E8-4ECF-8357-27740B8682E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86cad320f75712fb1f3b420a08f923be63f31a0c","datavalue":{"value":{"entity-type":"item","numeric-id":5027231,"id":"Q5027231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b35223776c783605871bbfba0a554c35afc5bc6","datavalue":{"value":{"amount":"+0.7871487","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":"Q3202993$5E2E5AF0-9BF2-4F7A-869B-63A6EFB553A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b28d66123f0140fbe45de70cf71d5fe67b05468","datavalue":{"value":{"entity-type":"item","numeric-id":4011727,"id":"Q4011727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4398f3ed23ee818da8708bb5aeab617c32aefda","datavalue":{"value":{"amount":"+0.78644806","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":"Q3202993$8766AEC0-EC88-44EA-91FE-26B2A97DC31B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4e0b7151f8efab8581dcd1755857bf811653322","datavalue":{"value":{"entity-type":"item","numeric-id":3795651,"id":"Q3795651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1af1f842f75b372b299e581d3d67a6c877627f6b","datavalue":{"value":{"amount":"+0.78585124","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":"Q3202993$0111698E-3599-435F-BC47-0AA6364FC902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c72a3406ff9429779702ac4e848bd80346304a80","datavalue":{"value":{"entity-type":"item","numeric-id":3081235,"id":"Q3081235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66fbca526ae9903b4239aa5a004b3bbb326c92a4","datavalue":{"value":{"amount":"+0.7830263","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":"Q3202993$51FE866A-3923-4B87-909A-BF05D4DA9A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50851d1e52dee4b074e26d8738285bba5472ba21","datavalue":{"value":{"entity-type":"item","numeric-id":2735823,"id":"Q2735823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb07a3e37ba14265eb9602e2ef08b3bf9636e90c","datavalue":{"value":{"amount":"+0.78177875","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":"Q3202993$008EAA86-1B81-4494-BE71-8DC4A33D64FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3202993","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3202993"}}}}}