{"entities":{"Q4453637":{"pageid":6483236,"ns":120,"title":"Item:Q4453637","lastrevid":41243799,"modified":"2025-04-23T22:35:48Z","type":"item","id":"Q4453637","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2051381"}},"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":"Q4453637$A92F700C-3B76-4E18-9CF3-ADE546395A8A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"072675aa4ac0984a0b74b45d5ddfc96061c4f666","datavalue":{"value":"1038.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4453637$7353C656-18E6-4CE3-A4D7-2806CC320A62","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be0c547959f56e22bcdd079e76bda78b5f7c3224","datavalue":{"value":{"entity-type":"item","numeric-id":195660,"id":"Q195660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4453637$98FCF0E7-9DF1-41BC-AFD4-41CD1B5B9E5D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3b6b6d4a806cd2f0a9402edc4992ca7a6f787c5c","datavalue":{"value":{"time":"+2004-03-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4453637$B27CBFB2-4CFA-4FFF-8E08-A0D1D186B23B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4453637$8544920C-E3B5-446D-B593-137920F940A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4453637$F76FCBA2-A498-4CF2-845E-2D63FF59B5F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4453637$EAFE11B9-53B6-4654-BBE3-5D13E94C8051","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e66acf7e68fa3552f769f4fc7a629d55739390d5","datavalue":{"value":"2051381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4453637$3E1AAF32-68AE-4AA2-9D93-A252F224AD9D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72354557514c126c611fcfff3c0a3ad1e9882292","datavalue":{"value":"Herbrand validity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4453637$58AB3F1A-DEF7-4450-A637-D3EBAB13679F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72408e7175e8f95f895d5003de2d4e1a618fc15d","datavalue":{"value":"classical predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4453637$07557152-2314-4CED-BF8D-E7BB6E8F35B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"903ad19eca12f2c3c9155aa4a63d0b9faa8365fc","datavalue":{"value":"game semantical validity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4453637$9B661C65-37A4-4D36-B7A0-7C25DA1D5489","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":"Q4453637$FD492EF2-F490-470F-8152-8E67BE548F22","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f55781d3b77d3fb5ab370d2b781256934a9cf50","datavalue":{"value":{"entity-type":"item","numeric-id":5261530,"id":"Q5261530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99ec3447b86065723ef3d617a3e2b526462cae9f","datavalue":{"value":{"amount":"+0.84314585","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":"Q4453637$0B9B5F7F-7BFC-4B13-9277-6450F826F893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"880840bcaade86516a599a271f2eb60c30a40701","datavalue":{"value":{"entity-type":"item","numeric-id":5283032,"id":"Q5283032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6497bdc2fedaab9dd127179a8a8573b0ee607e2","datavalue":{"value":{"amount":"+0.8369027","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":"Q4453637$2C8800F9-2DEB-4053-8ABC-B7287A5F7973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dacda83ea85dd1e462a6a30c8cde0621c3d76e91","datavalue":{"value":{"entity-type":"item","numeric-id":1272829,"id":"Q1272829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"636246223ee8aa7bae88dc840166c549143c1a30","datavalue":{"value":{"amount":"+0.83310527","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":"Q4453637$0B4271B7-01D6-420D-9760-0D9B4DFBC53C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8df1167c1b6b2b7d10dbcbcc2575d5521e87d862","datavalue":{"value":{"entity-type":"item","numeric-id":5006840,"id":"Q5006840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4852d125a7ad8d31364e07442fae0d485e4625d1","datavalue":{"value":{"amount":"+0.8305699","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":"Q4453637$FC85F4C6-71EA-44E5-823D-5E3A9CC37636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bedd58f8946ff2b73f2b7544326b509f1db2552","datavalue":{"value":{"entity-type":"item","numeric-id":5365517,"id":"Q5365517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4d90876f6d9d74d74012c79c6efe070f445ee67","datavalue":{"value":{"amount":"+0.8298868","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":"Q4453637$13767A7D-CBA2-4634-AA4F-A6D24C1E809D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e4c4734d659f93d2745046fe9762c21e168e528","datavalue":{"value":{"entity-type":"item","numeric-id":3075442,"id":"Q3075442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"406591206e922917a49733fcb66fbf56ced5cad3","datavalue":{"value":{"amount":"+0.8251113","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":"Q4453637$FBB2E74B-5CF5-41B0-8D7D-FF9817AA8C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4c753462a3c95410ed965190613ec89754d8ffc","datavalue":{"value":{"entity-type":"item","numeric-id":5107541,"id":"Q5107541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5775e932f2c34460135fe5f6c4c0962c280ed99e","datavalue":{"value":{"amount":"+0.82443815","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":"Q4453637$0D0C6053-21D2-4347-8364-8246F0F1AE5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1839b197efb67dd228afc6c7f49b629ceab273e","datavalue":{"value":{"entity-type":"item","numeric-id":3804673,"id":"Q3804673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46a58333276ce7d5c5813a50902836ec5b2df5f1","datavalue":{"value":{"amount":"+0.82349634","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":"Q4453637$AC6F6DD7-A9A0-4EA1-BA0E-9AE7544A810D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0f306c0b5759d5b02e9f046614dc5ead7c4dbe6","datavalue":{"value":{"entity-type":"item","numeric-id":5224495,"id":"Q5224495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0661fd8ff88ef4b41c5044d6dcf007f6a6c773b7","datavalue":{"value":{"amount":"+0.82330024","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":"Q4453637$250D4D64-CF33-482E-8F79-F77270D36F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c27468a1fdb9e29e6517ca913aee6d99c482fae1","datavalue":{"value":{"entity-type":"item","numeric-id":1976877,"id":"Q1976877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df4ac6d555d701847aa52b3400b58a7f23e1ae8f","datavalue":{"value":{"amount":"+0.8230523","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":"Q4453637$90E17BDD-7DBA-4722-8BD5-0F5481E4C297","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4453637","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4453637"}}}}}