{"entities":{"Q4938600":{"pageid":6968182,"ns":120,"title":"Item:Q4938600","lastrevid":47446564,"modified":"2026-01-01T18:53:04Z","type":"item","id":"Q4938600","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1405621"}},"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":"Q4938600$DB5FBB1F-2377-4E6D-A5AA-AC1227C47869","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c538219ad48a44753d5c1da20fdf8babb159d07","datavalue":{"value":"0939.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938600$BAD80BDF-3A3E-4BBD-8523-3F3839613E52","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"362b7e6218d0e22c164b1427bb669f2e03c30fd6","datavalue":{"value":{"entity-type":"item","numeric-id":462478,"id":"Q462478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4938600$B541F1AE-3FC9-4369-AFF1-69DCC8FCA2F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf87f0b5dcde4e0f4fb1c19604a501e616268e52","datavalue":{"value":{"entity-type":"item","numeric-id":198026,"id":"Q198026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4938600$8273E6B9-7FAA-4626-AA67-E9D1256D5C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9725319a4d69c8b0f9e016d856caaf201d29cbe5","datavalue":{"value":{"entity-type":"item","numeric-id":462480,"id":"Q462480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4938600$1E57EFB4-A6CA-4F05-A391-10696DCB27EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"81aa678e932cc5f1e6887060ed9e9a5022010295","datavalue":{"value":{"entity-type":"item","numeric-id":1286365,"id":"Q1286365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4938600$30F4C117-740D-4BBE-8C1A-0E21A2EC6BBC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4602bfe2ce2cb25d86312a0cba8d02883ac98d9b","datavalue":{"value":{"time":"+2000-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4938600$61B9FF28-4F6A-4FE0-9015-309DFBF810C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938600$C8EB32E4-D694-4B39-A4C2-6C5CE771009A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938600$4B49DBE4-04E2-45F5-9119-9CB4553585E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b2ab2f97efe70f3d2371590ba13e05e83cb6dabe","datavalue":{"value":"1405621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938600$2D036A3C-34B0-4748-9735-23A62F2F5527","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f339b7e2ba807bf40e5f46f544501981de2fa344","datavalue":{"value":"one-step rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938600$D884FD12-85C1-455B-97B8-038E272557AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc3b8d654f07fe8230980be9a2307f611639e4cc","datavalue":{"value":"quantifier-free formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938600$7C765E72-3121-4A1F-B6A6-822CCBAEA2F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"263805638d1e63a79a3c591e1ad14e8148fe9595","datavalue":{"value":"first-order theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938600$8CF1E5A8-E462-4119-9C47-4C96835EA477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06c8954512017c7bc687623ab7d878c0b6581738","datavalue":{"value":"rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938600$119C9345-B058-448C-A5CA-293225DE1EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938600$6827EC5E-F5EB-463D-BE0D-81CE71A5E09B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0d379847c53dda294c1c8c783c4fc1a68ed66d3","datavalue":{"value":"existential formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938600$58A1C07E-F57C-4D80-90B1-525526E5C1D4","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":"Q4938600$CAEAF056-9546-422D-9A07-29471D33D2FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6db7f0f9749b2280720341859b37b88f6529e6b3","datavalue":{"value":{"entity-type":"item","numeric-id":4938601,"id":"Q4938601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5330c5991c84c50395a823f4129bb70b2d991d0","datavalue":{"value":{"amount":"+0.8039764761924744","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":"Q4938600$BC765632-2B1C-4C13-8105-2A7E372648D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e16ea31fc7095481288ec58b7b46315e0644820","datavalue":{"value":{"entity-type":"item","numeric-id":5055866,"id":"Q5055866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7306c9b096b3974e318f47011267f35bea1a1ed","datavalue":{"value":{"amount":"+0.7784610986709595","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":"Q4938600$FD829AC8-35AC-479F-A03D-B4875E420657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49f026de1768067d5029c958be5d4e7a715aee57","datavalue":{"value":{"entity-type":"item","numeric-id":4035665,"id":"Q4035665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b32903b6da9c90cdc0d88a6c8adb2fd6a253a580","datavalue":{"value":{"amount":"+0.7740892767906189","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":"Q4938600$E9530568-D99C-4C79-A782-139FF62284A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57c1811bce0d61e1666e35f29a2a12d53fc691c5","datavalue":{"value":{"entity-type":"item","numeric-id":1764424,"id":"Q1764424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fcd6319622946e6199987adbe347a161cb14930","datavalue":{"value":{"amount":"+0.7727640867233276","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":"Q4938600$2C8475DC-584A-4A79-B950-193A4711F55B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"639d68bbd05b84866e88040b0db3cf5b0ff8d8d1","datavalue":{"value":{"entity-type":"item","numeric-id":3636820,"id":"Q3636820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8054df57ccadef9be13a4f89f737d34a26cb074e","datavalue":{"value":{"amount":"+0.7715620398521423","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":"Q4938600$391C62F5-23FA-4521-8621-F09265B9037B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4938600","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4938600"}}}}}